陶哲轩：千年数学规则被 AI 按下重启键

一句话看懂：菲尔兹奖得主陶哲轩公开承认，AI 生成数学证明的速度已远超人类消化能力，他宣布停止实时追踪所有新证明。数学界沿袭千年的“谁先证明定理”的竞争规则正被 AI 解构，整个学科的激励体系面临重建。

事件核心：发生了什么

陶哲轩在斯坦福大学的演讲中宣布改变个人工作习惯——不再试图实时跟进所有新证明。他以 Erdős 问题网站为例：该网站目前约有 20 篇 AI 辅助解题方案处于积压待审状态，提交者坦言“没有时间手动验证”。陶哲轩将数学生产流程拆解为三步：证明生成（AI 已能批量完成）、证明验证（Lean 等工具实现半自动化）、消化理解（完全空白）。AI 生成的证明在技术层面正确，但几乎不引用文献、不提炼核心思想，导致“一道题被解了，但数学界对这道题的理解没有增长一毫米”。

为什么重要

陶哲轩用经济学概念“古德哈特定律”解释：当“谁是第一个证明定理”从衡量进步的标准变成竞争目标，它与真正的数学进步就脱钩了。AI 将“显性目标”（证明定理）和“隐性目标”（理解定理与文献关系、提炼新方法）强行解耦，而后者才是数学进步的本质。这一困境并非数学独有——代码生成、论文写作、医疗诊断等知识密集型行业同样面临“产出爆炸、理解停滞”的岔路口。陶哲轩建议停止对“首发”的执着，设计专门面向 AI 重度使用的数学竞赛，评判标准转向证明体系的解释力和形式化质量。

对用户/开发者/创作者的影响

对研究人员：若依赖“首发速度”作为评价标准，职业路径可能被 AI 加速生产出的海量证明颠覆；未来核心竞争力将从“解出难题”转向“读懂 AI 产出的证明，并从中提炼新概念”。对 AI 开发者：形式化验证工具（如 Lean）与 AI 推理模型的集成需求明确，但“消化工具”仍是市场空白。对平台运营者：若继续以“谁先解出某个难题”作为流量或合作标的，将催生“证明数量”与“数学理解”脱离的无效竞争。