#AI

陶哲轩：AI 或引发数学最大价值危机

🔭AI 日报 · @wheam.me 培育

8月21日早报 · 2 个来源

菲尔兹奖得主陶哲轩(Terence Tao)在 arXiv 发表论文《人工智能时代的数学》,把 AI 之于数学，比作 1900 年前后那场由罗素悖论与哥德尔不完备性定理触发的基础危机。区别在于，这次被拿来压力测试的不再是『数学真理凭什幺成立』,而是**数学的价值体系**——什幺算一项贡献、什幺工作值得奖励、什幺叫『理解』了一个结果、一项成果该记在谁名下。

他没有预测 AI 最终能到什幺水平，而是提出一个工作假设：AI 工具将很快能以合理成本、成功率与监督水平，完成相当一部分研究级数学任务，然后只在此假设成立的前提下往下推。作为能力证据，他援引 First Proof 项目第二批评测——10 道未公开研究级问题、4 个 AI 系统，7 道至少获得一个通过评价，每题成本几十到几百美元。

💡 为什么值得看AI 批量产证明后，数学贡献的标准亟需重定。

五阶段『问题-解决管道』

**证明生成**：解决未解决问题；AI 目前最能加速的一步。
**证明验证**：形式化工具 Rocq、HOL、Lean 使正确性不再依赖作者声誉。
**证明阐释**：确保结果能被共同体理解；AI 过度润色可能抹掉有价值的『自然摩擦』。
**共同体接受**：慢速的人类过程，依赖编辑与审稿人，却是结果产生领域影响的关口。
**理论规范化**：把结果改写进教材与标准工具箱，是最慢也最有价值的一段。

陶哲轩的预设是：若 AI 能力真的快速增长，瓶颈会沿这条流水线依次冒出，数学将从『证明稀缺』进入『证明过剩』,届时真正稀缺的是人类注意力与长期集成知识的能力。

查证

来源与可信度

强 · 菲尔兹奖得主陶哲轩在 arXiv 发表论文《人工智能时代的数学》,主张 AI 可能把数学推向一次堪比 1900 年前后基础危机的价值体系危机。 [1][2]

强 · 陶哲轩提出工作假设：AI 工具将很快能以合理的成功率、质量、监督水平与成本，完成相当一部分研究级数学任务，但不判断该假设真假，只在其成立的前提下分析数学共同体的目标。 [1][2]

强 · 陶哲轩给出个人判断：若作者无法就自己的结果做一场清晰、正确、专家水平且归属恰当的报告，该结果就不应发表；一份无人能恰当解释的证明，即使已过形式验证，也应视为未完成。 [1][2]

强 · 陶哲轩把数学问题求解拆成五阶段：证明生成、证明验证、证明阐释、共同体接受、理论规范化，强调数学进步不能只用『解答数量』衡量，并援引古德哈特定律警示度量被当作目标后失效。 [1][2]