不er，咋陶哲轩也成AI减速派了？？
是的，就是那个曾经最爱AI、逢人就安利AI工具的男人，一夜之间，漂移到了AI数学的对立面。。。
简直是疯了，AI公司无休止地加速，却对那之后会发生什么一无所知。
你的菲尔兹奖得主Cédric Villani，在看到OpenAI拿下千禧难题后，直接瘫软了。。。
但我往前翻了下发现，仅仅在3个月前，这哥们对AI的态度还是嗤之以鼻啊。
LLM根本没有智能，连洗车问题都会答错，只不过是统计学复读机。
面对光速迭代的大模型，即便站在人类智能金字塔尖的天才数学家们，也终于感受到了核弹爆炸的威力。
要知道，就在几个月前，陶哲轩还是最受硅谷推崇的「AI课代表」——
查文献、写代码、画示意图到辅助计算……早早把AI嵌入了自己的科研工作流。
也特别愿意给大家分享自己的方法论，以及最近拥抱AI的感悟和心得。
2026年3月，他在IPAM会议上公开呼吁同行别太死板，称当前AI在数学和理论物理领域已经 “ready for primetime”，能省去大量的无用功。
今年春节前，我们也采访过陶哲轩。当时他有句话让我印象特别深刻：
未来，甚至连初中生都能借助AI+Lean的方式，对数学前沿研究做出贡献。
在陶哲轩那时的蓝图里，数学将迎来一次前所未有的创造力井喷，未来一片光明。
AI帮人类把几百年没解开的世纪难题做出来了，难道不是天大的好事吗？
大多数人出海不是为了灯塔所在的地方，但灯塔是照亮了整片海域与地貌，让人们能够安全航行。
相比医学、能源专业，数学可以说相当是纯粹的基础研究了，完全由人类的好奇心驱动。
无论是给孩子出的思考题，还是千禧难题，它们本身，从来不是终点。
真正珍贵的是，是在研究问题的过程中，沿途建立起来的工具、理论框架和洞见。
AI模型如今在第一步「生成解答」和第二步「Lean形式化验证」上疯狂加速，但后面三步——
人类突然生产出大量证明，却没有人理解，没有人发表，没有人解释。
这就像20世纪初的交通状况：原有的街道是为行人和马车设计的，汽车突然被发明并直接涌入同一条街道，结果造成了全面的拥堵与瘫痪。
陶哲轩称之为Proof Indigestion（证明消化不良）。
但陶哲轩补充道，这可能也不是模型公司的本意，他们想干也没办法。
AI做不了洞见，因为洞见不可验证，刷不了分，很难被当做目标函数训练。
AI公司做它的题，数学家继续埋头做研究，不管怎么说发展速度肯定会比之前快。
新的数学问题与前沿方向，往往诞生于撰写教材体系时的查漏补缺，或是人类在漫长思考与摸索过程中的偶然发现。
AI 呢？直接跳向最终答案，彻底抹杀了这种漫步式探索所带来的偶发灵感与新领悟。
现在的AI为什么数学这么厉害？因为它们吞噬了人类几个世纪以来写在教科书里的精华，那些被无数数学家反复打磨、消化透彻的高质量数据。
不过，如果未来整个学术界充斥着海量AI生成、人类无法理解的证明，下一代AI再去吃这些数据训练，会发生什么？
用体细胞克隆出一只小鼠，再用这只克隆小鼠的细胞继续克隆，一代一代往下克隆……
每次克隆，端粒缩短、表观遗传印记丢失、体细胞突变累积等问题都会叠加。
迭代代数越多，这些缺陷积累得越严重，最终后代会出现发育异常、存活率下降，甚至根本活不下来。
这也是为什么陶哲轩觉得，AI公司就这样一股脑把证明丢出来，非常不负责任。
我们必须慢下来。这个速度太疯狂了，完全没有理由这么快，一点理由都没有。
一直有在讨论AI数学相关风险，只不过被OpenAI「截胡」千禧难题这茬一搞，终于将问题摆到了台前——
亲自牵头成立「复仇者联盟」（bushi）、联合Peter Scholze、邓煜以及Pierre Deligne等25位菲尔兹奖得主联名写了一封公开信，炮轰OpenAI等模型公司。
菲尔兹奖得主联名写了一封公开信大致意思就是说，AI公司不能把数学打benchmark刷，这种做法与数学界追求的目标，是严重错位的。
光靠大力出奇迹量产True/False ，会毁掉思想生长的土壤。
这之后，陶哲轩又在个人网站上写了好几篇博客，详细探讨过这个问题。
面对25位菲尔兹奖得主的集体抗议，始作俑者OpenAI，终于给出了官方回应——
宣布成立一个设在普林斯顿高等研究院（IAS）的独立顾问小组——「数学与人工智能顾问小组」（Advisory Group on Mathematics and AI）。
名单阵容极其豪华，包括Edward Witten、Timothy Gowers、Martin Hairer、Melanie Matchett Wood、Camillo De Lellis等一众数学界与理论物理界的顶级大佬。
OpenAI表示，这个小组将为新兴研究成果的审查和传播提供建议，帮助评估成果的重要性，协调传播方式。
我仔细看了下OpenAI的官方声明，发现里面白纸黑字写着这样一句话：
管你啥数学研究，管你啥菲尔兹奖得主的，都是我IPO的一环，全部跟程序员坐一桌去吧！
[1]https://www.youtube.com/watch?v=PZRb6NIki2w
OpenAI「疯狂28天」首日，这都发了些啥啊…2026-10-06
“AlphaGo”杀进足球场！自我对弈140年，机器人成“梅西终结者”2026-09-25
OpenAI闯大祸！GPT竟黑进医保系统，黄仁勋：管不住就关掉2026-09-25
给机器人当老师，还能赚外快？“中国版Index”觅蜂派来了2026-09-25
LIama 3+Mamba强强联手！蒸馏到线性RNN，推理速度提升1.6倍
清华系公司联合，单4090让安全大模型进入千亿时代｜长亭x趋境
70B模型秒出1000token，代码重写超越GPT-4o，来自OpenAI投资的代码神器Cursor团队
OpenAI光速上新GPT-6.1 Sol！一晚上25项更新，都在这里了
DeepSeek官方开源昇腾基础组件，与昇腾共建高效易用的AI芯片软件生态
DeepSeek知乎独家发文，首次公开V4.1 Agent训练“大本营”DSec
量子位 QbitAI 版权所有©北京极客伙伴科技有限公司 京ICP备17005886号-1