陶哲轩突成AI减速派 联合25位菲尔兹奖得主炮轰OpenAI

量子位报道，曾经最受硅谷推崇的"AI课代表"、菲尔兹奖得主陶哲轩，2026年10月在SAIR演讲中态度发生180度转变，正式向模型公司开火，呼吁放慢AI解决数学问题的速度。 **从力挺到喊停** 陶哲轩2026年3月还在IPAM会议上称AI在数学领域已"ready for primetime"，积极安利AI工具。然而仅仅半年后，面对AI在数学领域的高速突破，他公开警告：模型公司不能为了刷榜把数学当benchmark，这与数学界追求的目标严重错位。 **核心论点：证明消化不良（Proof Indigestion）** 陶哲轩指出，数学证明的完整生命周期有5个环节：①生成解答（AI已极擅长）②Lean形式化验证（AI已极擅长）③理解 ④消化 ⑤写教科书。 AI跳过了中间步骤，直接给出答案，导致大量证明没人理解、没人发表、没人解释。他用汽车vs马车的比喻形容：汽车被发明后涌入为马车设计的街道，造成全面拥堵。 **两大隐患** **智子危机**：数学新方向往往诞生于漫长思考和撰写教材时的查漏补缺，AI跳过了这个过程，数学家的创造力将被逐渐抹杀。 **数据污染**：AI之所以数学强，是因为吃了人类几百年积累的高质量教科书数据。若未来学术界充斥AI生成、无人能理解的证明，下一代AI的训练数据质量将严重退化——类似克隆小鼠的端粒损耗问题。 **25位菲尔兹奖得主联手反击** 陶哲轩牵头，联合Peter Scholze、邓煜、Pierre Deligne等25位菲尔兹奖得主发表联名公开信，炮轰OpenAI等模型公司。菲尔兹奖得主Cédric Villani看到OpenAI拿下千禧难题后"直接瘫软"。 **OpenAI回应：顾问小组无法阻碍发布** 面对抗议，OpenAI宣布在普林斯顿高等研究院（IAS）成立"数学与人工智能顾问小组"，成员包括Edward Witten、Timothy Gowers、Martin Hairer等顶级数学家。但声明明确：小组可以提建议、帮PR，但无法阻碍OpenAI的发布计划。 **2026年AI数学里程碑回顾** • 2026年5月：OpenAI推翻悬置80年的单位距离猜想 • 2026年7月：Anthropic用Claude Fable 5证伪1939年雅可比猜想 • 2026年9月4日：Anthropic内部模型11天在Lean里写完费马大定理完整证明 • 2026年9月8日：OpenAI 1万个Agent跑88小时攻破Navier-Stokes方程 • 2026年9月21日：OpenAI称内部模型已解决100多个长期悬而未决的数学问题