不er，咋陶哲轩也成AI减速派了？？

Jay 发自 凹非寺

量子位 | 公众号 QbitAI

不er，陶哲轩咋成AI减速派了？？

是的，就是那个曾经最爱AI、逢人就安利AI工具的男人， 一夜之间，漂移到了AI数学的对立面。。。

SAIR最新演讲，陶哲轩正式向模型公司开火：

简直是疯了，AI公司无休止地加速，却对那之后会发生什么一无所知。

必须慢下来。完全没理由这么快，一点理由都没有。

更关键的是，感受到危机的，远不止陶哲轩一人。

而且陶哲轩还算反应比较淡定的。

你的菲尔兹奖得主 Cédric Villani ，在看到OpenAI拿下千禧难题后，直接瘫软了。。。

简直跟世界末日一样，这是数学界有史以来从未见过的浩劫。

但我往前翻了下发现，仅仅在3个月前，这哥们对AI的态度还是嗤之以鼻啊。

LLM根本没有智能，连洗车问题都会答错，只不过是统计学复读机。

面对光速迭代的大模型，即便站在人类智能金字塔尖的天才数学家们，也终于感受到了核弹爆炸的威力。

要知道，就在几个月前，陶哲轩还是最受硅谷推崇的「AI课代表」——

查文献、写代码、画示意图到辅助计算……早早把AI嵌入了自己的科研工作流。

也特别愿意给大家分享自己的方法论，以及最近拥抱AI的感悟和心得。

2026年3月，他在IPAM会议上公开呼吁同行别太死板，称当前AI在数学和理论物理领域已经 “ready for primetime” ，能省去大量的无用功。

同月接受《MIT科技评论》专访时，陶哲轩更是兴奋地断言：

数学正经历一场哥白尼革命。

今年春节前，我们也采访过陶哲轩。当时他有句话让我印象特别深刻：

未来，甚至连初中生都能借助AI+Lean的方式，对数学前沿研究做出贡献。

在陶哲轩那时的蓝图里，数学将迎来一次前所未有的创造力井喷，未来一片光明。

结果半年过去，画风突变。

SAIR最新演讲中，陶哲轩直接公开喊话模型公司：

这又不是啥世界危机，慢一点！

所以，陶哲轩究竟在反对些什么？

AI帮人类把几百年没解开的世纪难题做出来了，难道不是天大的好事吗？

关于这点，陶哲轩打了一个比喻，非常精妙——

未解决的数学问题就像灯塔。

大多数人出海不是为了灯塔所在的地方，但灯塔是照亮了整片海域与地貌，让人们能够安全航行。

长期以来，公众普遍认为数学家的职责就是解决困难的数学猜想。

但解决了又有啥用呢？

基本没啥直接的实用价值，治不了癌症、攻克不了核聚变……

相比医学、能源专业，数学可以说相当是纯粹的基础研究了，完全由人类的好奇心驱动。

无论是给孩子出的思考题，还是千禧难题，它们本身，从来不是终点。

真正珍贵的是，是在研究问题的过程中，沿途建立起来的工具、理论框架和洞见。

陶哲轩表示，一个数学证明正常的完整生命周期，通常有五个环节：

AI模型如今在第一步「生成解答」和第二步「Lean形式化验证」上疯狂加速，但后面三步——

理解、消化、写教科书，进度几乎为零啊。。。

AI在不停地碾压重大猜想，但没有任何人做报告，没有人写论文。

甚至连按下回车键生成证明的人，都搞不明白刚刚发生了什么。

结果就是一场前所未有的知识拥堵。

人类突然生产出大量证明，却没有人理解，没有人发表，没有人解释。

这就像20世纪初的交通状况：原有的街道是为行人和马车设计的，汽车突然被发明并直接涌入同一条街道，结果造成了全面的拥堵与瘫痪。

陶哲轩称之为Proof Indigestion（证明消化不良）。

但陶哲轩补充道，这可能也不是模型公司的本意，他们想干也没办法。

AI做不了洞见，因为洞见不可验证，刷不了分，很难被当做目标函数训练。

但说实话，我寻思，人类理解不了好像也没啥关系吧？

AI公司做它的题，数学家继续埋头做研究，不管怎么说发展速度肯定会比之前快。