陶哲轩转向AI减速派：呼吁模型公司放慢数学研究

AI 摘要

菲尔兹奖得主陶哲轩在SAIR最新演讲中公开呼吁AI公司放缓数学研究步伐，称AI在生成解答和Lean形式化验证上疯狂加速，但理解、消化、写教科书等后续环节几乎为零，造成「证明消化不良」和知识拥堵。他联合Peter Scholze、邓煜等25位菲尔兹奖得主联名公开信批评OpenAI等公司将数学当作benchmark刷分。OpenAI回应宣布在普林斯顿高等研究院成立「数学与人工智能顾问小组」，但声明该小组不负责就数学内部进展提供建议。

正文节选

不er，咋陶哲轩也成AI减速派了？？ Jay 发自 凹非寺 量子位 | 公众号 QbitAI 不er，陶哲轩咋成AI减速派了？？ 是的，就是那个曾经最爱AI、逢人就安利AI工具的男人，一夜之间，漂移到了AI数学的对立面。。。 SAIR最新演讲，陶哲轩正式向模型公司开火： 简直是疯了，AI公司无休止地加速，却对那之后会发生什么一无所知。 必须慢下来。完全没理由这么快，一点理由都没有。 更关键的是，感受到危机的，远不止陶哲轩一人。 而且陶哲轩还算反应比较淡定的。 你的菲尔兹奖得主Cédric Villani，在看到OpenAI拿下千禧难题后，直接瘫软了。。。 我大受震撼…… 简直跟世界末日一样，这是数学界有史以来从未见过的浩劫。 但我往前翻了下发现，仅仅在3个月前，这哥们对AI的态度还是嗤之以鼻啊。 LLM根本没有智能，连洗车问题都会答错，只不过是统计学复读机。 洪水是一视同仁的。 面对光速迭代的大模型，即便站在人类智能金字塔尖的天才数学家们，也终于感受到了核弹爆炸的威力。 （bushi） 从拥抱到谨慎 太魔幻了家人们。 要知道，就在几个月前，陶哲轩还是最受硅谷推崇的「AI课代表」—— 查

发布时间：2026-10-06 15:59

抓取时间：2026-10-06 17:24

来源机构：量子位