陶哲轩2026年国际数学家大会警示：AI正将数学推向“证明过剩”时代

在2026年国际数学家大会上，数学家陶哲轩发表演讲，警示AI正将数学从“证明稀缺”推向“证明过剩”时代，而比算错更危险的是，下一代数学家可能因过度依赖AI而丧失数学直觉。

陶哲轩表示，几千年来数学界依靠“证明稀缺”运行，如今AI批量生成证明的速度已远超人类消化能力，数学正经历其他学科早已遭遇的“数据洪流”革命。他在Erdős问题网站上观察到约20篇AI辅助解题方案积压待审，提交者坦言没有时间手动验证。陶哲轩也宣布，自己不再试图实时跟进所有新证明。

他将大语言模型定性为“随机生成文本的猜谜机”，依赖概率预测下一词，错误具有内在必然性，误差率可以优化但无法消除。在针对开放数学问题的系统性测试中，AI真实成功率仅为1%到2%，绝大多数需要创造性突破的难题无法靠“猜”解决。陶哲轩把科学比作远足，认为AI像直升机直接把人带到瀑布前，目标高效达成，但人对地形一无所知，也发现不了更壮观的瀑布。

关于数学研究底线，陶哲轩提出一项有争议的准则：如果作者不能以专家水平清晰阐释其成果，即使证明已通过Lean等工具形式化验证，也不应发表。他强调，数学论文的价值在于提供“认知地图”，标注哪里有悬崖、哪里需要绕行，而AI生成的“光滑文本”可能掩盖真正值得学习的思考痕迹。他同时提醒，AI最擅长“训练题”级别的项目，而这正是研究生积累经验的第一步，“我们可能优化掉当前技术能做的一切，但再也发展不出真正原创的新想法了”。