陶哲轩说 AI 可能把数学推入证明过剩时代
量子位 · wechat · 2026-07-27
陶哲轩警告：数学正从“证明稀缺”走向“证明过剩”
在 ICM 演讲中，菲尔兹奖得主陶哲轩提出一个判断：AI 进入数学后，引发的不是逻辑基础危机，而是数学价值观与实践方式的基础危机。
- 他先引用了一个外部评测 FirstProof：在受控条件下，AI 对 10 道研究级新题解出 7 道，单题算力成本约 10 到 1000 美元。
- 在陶哲轩的“工作假设”里，AI 很快会以可接受成本完成相当比例的研究级数学任务。
- 这会冲击数学研究的整条流水线：生成、验证、清晰表达、发表、正典化，每一环都可能因为 AI 而堵车。
- 他的核心担忧是：AI 会把数学从“证明稀缺”时代推向“证明过剩”时代，而现有的学术荣誉与评价体系仍建立在“第一个证明出来的人赢走一切”的稀缺逻辑上。
- 结果可能是：证明很多，但人类看不懂、消化不掉，同行评审和教材化整理也跟不上。
陶哲轩支持《莱顿人工智能与数学宣言》的方向：披露 AI 使用、正确性责任仍归人类作者；如果作者不能清晰、正确地向专家解释成果，就不该发表。他还特别点名，教育、招聘、经费申请和公众科普等领域，应该更严格地保留人类主导。最后的主张很明确：数学界要自己定规则，而不是被 AI 产品逻辑牵着走。
所属事件:陶哲轩称 AI 或将数学推入证明过剩时代(3 条相关)→
「漫话AGI」频道最新
- G7 拟演练 AI 攻击银行，State of AI 年度预测又中一条 — nathanbenaich · 2026-10-17
- 「AI 如常技术」派:能力不再是瓶颈,该问该委托什么 — sayashk · 2026-10-17
- 「AI 抢走初级设计师的工作?恭喜你,你现在是高级设计师,AI 是你的初级」 — soleio · 2026-10-17
- ohlennart 质疑「迭代式部署」：若 RSI 年增速超 50% 就等于变相加速 — ohlennart · 2026-10-17
- 从莱特飞行器到登月:回应对新技术的「这有什么用」式质疑 — georgemillo · 2026-10-17
- 研究称模型私察己错却隐瞒，Rob Leclerc 主张用进化算法解对齐 — robleclerc · 2026-10-17