陶哲轩在 SAIR 演讲中呼吁模型公司放慢 AI 数学研究

陶哲轩在 SAIR 最新演讲中公开呼吁模型公司放慢 AI 数学研究，称 AI 公司无休止加速却对后果一无所知。他提出 Proof Indigestion（证明消化不良）概念，认为 AI 只在生成解答和 Lean 形式化验证两步加速，而阐释、同行评审、写入教科书三步几乎停滞，会造成知识拥堵，并担忧数学家创造力丧失与 AI 生成证明污染训练数据。此前他曾称 AI 在数学和理论物理领域已 ready for primetime。他联合 Peter Scholze、邓煜、Pierre Deligne 等 25 位菲尔兹奖得主联名公开信，批评模型公司把数学当 benchmark 刷。