antirez 发长文逐条反驳 Terence Tao 对 AI 数学证明「净负贡献」的判断
antirez · x · 2026-09-09
Redis 作者 antirez 发推文线程，逐点反驳 Terence Tao 关于 AI 数学可能对数学界造成净负面影响的观点：
- 「净负面」事实上不成立：证明或证伪之后，人类掌握的知识严格增加，任何不透明过程都不会减少知识集合。
- 证明是可研究的对象：AI 给出的证明不是只能给出真假结论的神谕，它可以被阅读、分解、简化；数学界历来会把冗长不优雅的证明转化为可理解的形式。
- 新技术会照常出现：当年为解决费马大定理、庞加莱猜想发展了新工具，没有理由认为有了 AI 之后研究、简化的新技术就不会被发展出来。
- 只要数学界愿意，证明不会被搁置：如果 Tao 的立场并非极端少数派，AI 生成的证明必然会被深入研究并产生新数学结果；闭源公司提供证明只会做加法，数学界仍保有全部旧工具，并能使用先进 AI。
- 结论：AI 在某些领域已能产出超人类水平的数学，主张数学必须保持原样的人需要更强的论证；而且权威人物的表态并不保证正确——别忘了「随机鹦鹉」论文的前车之鉴。
「漫话AGI」频道最新
- 开发者力挺 AI 破坏学术规范：r/math 禁 AI 帖正暴露学界的意识形态化 — ctjlewis · 2026-09-09
- 安全研究者呼吁： scrutinize「10% 灭绝概率」背后的理论根基 — sebkrier · 2026-09-09
- 质疑「10% 全员灭绝」论:核心假设亟待科学审视 — lucasmeijer · 2026-09-09
- OpenAI 宣称用智能体攻克悬置 90 年的 Navier-Stokes 千禧年难题 — eherrerosj · 2026-09-09
- 数学不是符号游戏：本质是操控数学直觉，符号只是语义载体 — mjdramstead · 2026-09-09
- 当 Agent 重写代码经济学：理解代码还是必要负担吗？ — Genaforvena · 2026-09-09