陶哲轩说 AI 可能把数学推入证明过剩时代
量子位 · wechat · 2026-07-27
陶哲轩警告：数学正从“证明稀缺”走向“证明过剩”
在 ICM 演讲中，菲尔兹奖得主陶哲轩提出一个判断：AI 进入数学后，引发的不是逻辑基础危机，而是数学价值观与实践方式的基础危机。
- 他先引用了一个外部评测 FirstProof：在受控条件下，AI 对 10 道研究级新题解出 7 道，单题算力成本约 10 到 1000 美元。
- 在陶哲轩的“工作假设”里，AI 很快会以可接受成本完成相当比例的研究级数学任务。
- 这会冲击数学研究的整条流水线：生成、验证、清晰表达、发表、正典化，每一环都可能因为 AI 而堵车。
- 他的核心担忧是：AI 会把数学从“证明稀缺”时代推向“证明过剩”时代，而现有的学术荣誉与评价体系仍建立在“第一个证明出来的人赢走一切”的稀缺逻辑上。
- 结果可能是：证明很多，但人类看不懂、消化不掉，同行评审和教材化整理也跟不上。
陶哲轩支持《莱顿人工智能与数学宣言》的方向：披露 AI 使用、正确性责任仍归人类作者；如果作者不能清晰、正确地向专家解释成果，就不该发表。他还特别点名，教育、招聘、经费申请和公众科普等领域，应该更严格地保留人类主导。最后的主张很明确：数学界要自己定规则，而不是被 AI 产品逻辑牵着走。
「漫话AGI」频道最新
- 前沿实验室争 ASI：越不想抢第一的人越安全 — BlackHC · 2026-07-27
- 有回复称 OpenAI 成立是为了抢在 Hassabis 前做出 AGI — zetalyrae · 2026-07-27
- AI 会做解释性实验，却还判断不出突破与否 — dejavucoder · 2026-07-27
- AI 时代升值的不是提示词，而是人类判断力 — YvesMulkers · 2026-07-27
- 长上下文时间推理仍是短板，HMM 被提为突破方向 — beffjezos · 2026-07-27
- AI Agent 在重复任务上不如 UI，探索性工作更占优 — bendee983 · 2026-07-27