陶哲轩在SAIR演讲中呼吁AI公司放缓数学研究速度
2026年10月，数学家陶哲轩在SAIR（国际人工智能与数学研讨会）上发表演讲，公开呼吁AI公司放缓在数学研究上的推进速度。他表示，AI公司在无休止地加速生成数学证明，但对这一进程可能带来的后果缺乏评估，"必须慢下来"。
陶哲轩提出，一个数学证明的完整生命周期通常包含五个环节：提出解答、机械验证（如通过Lean等形式化证明语言检查）、阐释工作、同行评审以及写入教科书。他认为，当前AI模型在生成解答和Lean形式化验证这两个环节上实现了高度加速，但在后续的理解、消化和教科书编写环节，人类参与的进度几乎为零，由此造成了一种他称之为"Proof Indigestion（证明消化不良）"的知识拥堵现象。
他进一步警告，这种失衡可能带来两大隐患。其一，数学家创造力的丧失——AI直接给出最终答案，可能抹杀人类在漫长探索过程中产生的偶发灵感与洞见。其二，数据污染风险——如果未来学术界充斥大量AI生成却无法被人类理解的证明，下一代AI基于这些数据训练，其后果尚不可知。
值得注意的是，陶哲轩此前长期对AI持积极态度，曾在多个场合推广AI工具在数学研究中的应用。此次演讲标志着他个人立场的一次明显调整，也折射出数学界对AI加速研究的普遍担忧。
- 2026-10-06 20:22 | 新浪财经：不er，咋菲尔兹奖得主陶哲轩也成AI减速派了？？阅读原文
（来源：图灵人工智能）转自量子位，仅用于学术分享，如有侵权留言删除报道Jay 发自 凹非寺 量子位 | 公众号 QbitAI不er，陶哲轩咋成AI减速派了？？是的，就是那个曾经最爱AI、逢人就安利AI工具的男人，一夜之间，漂移到了AI数学的对立面。。。SAIR最新演讲，陶哲轩正式向模型公司开火：简直是疯了，AI公司无休止地加速，却对那之后会发生什么一无所知。必须慢下来。完全没理由这么快，一点理由都没有。更关键的是，感受到危机的，远不止陶哲轩一人。而且陶哲轩还算反应比较淡定的。你的菲尔兹奖得主Cédric Villani，在看到OpenAI拿下千禧难题后，直接瘫软了。。。我大受震撼……简直跟世界...
- 2026-10-06 15:00 | 新浪财经：不er，咋陶哲轩也成AI减速派了？？阅读原文
Jay 发自 凹非寺 量子位 | 公众号 QbitAI不er，陶哲轩咋成AI减速派了？？是的，就是那个曾经最爱AI、逢人就安利AI工具的男人，一夜之间，漂移到了AI数学的对立面。。。SAIR最新演讲，陶哲轩正式向模型公司开火：简直是疯了，AI公司无休止地加速，却对那之后会发生什么一无所知。必须慢下来。完全没理由这么快，一点理由都没有。更关键的是，感受到危机的，远不止陶哲轩一人。而且陶哲轩还算反应比较淡定的。你的菲尔兹奖得主Cédric Villani，在看到OpenAI拿下千禧难题后，直接瘫软了。。。我大受震撼……简直跟世界末日一样，这是数学界有史以来从未见过的浩劫。但我往前翻了下发现，仅仅在...