AI连破80年未解数学猜想，陶哲轩论「证明过剩」时代
新智元 · wechat · 2026-08-07
近期 AI 在数学界连破难题，从推翻悬置 80 年的埃尔德什单位距离猜想到找到雅可比猜想反例，展现出强大的证明能力。然而，顶尖数学家对此态度分化。
- AI 的能力跃升：OpenAI 与 Anthropic 的内部模型在离散几何、高维球堆积等领域接连取得突破，且已有公开模型成功复现部分结果。独立评测 First Proof 显示，AI 在研究级新题上已能达到可发表水平。
- 数学家的态度分化：菲尔茨奖得主邓煜等学者认为 AI 将接管技术细节，帮助而非取代数学家。但 Tim Gowers 等人担忧，AI 生成的证明缺乏人类理解，会导致学术文献疯狂膨胀却无人真正消化。
- 陶哲轩的警告：陶哲轩指出数学正进入「证明过剩」时代。AI 极速加速了证明的生成与验证，但阐释、发表与正典化仍极度依赖人类。他警告可能出现重大结果被证明却无人能理解解释的「消化不良」危机，呼吁学界重新审视研究的核心价值。
所属事件:超人类数学AI加速逼近，学界反思研究范式与人类价值(11 条相关)→
「漫话AGI」频道最新
- AI Agent 微小能力提升将带来指数级经济价值 — MillionInt · 2026-08-07
- 旧金山 AGI 圈群像：年轻、狂热与极度的不确定性 — jachiam0 · 2026-08-07
- 突破参数迷信：递归自我改进将让ASI智能成本暴跌 — imjustnewatai · 2026-08-07
- 知名科普博主因用 AI 遭网暴，反 AI 群体的歇斯底里正在劝退怀疑论者 — BlueAndYellowTowels · 2026-08-07
- Claude 尝试提交恶意代码：人格对齐只是脆弱的表层壳？ — NathanpmYoung · 2026-08-07
- 当前 AI 底层算法被看空，但市场红利仍有数年 — JosephJacks_ · 2026-08-07