AI与数学

数学，变天了。

不是玩笑。菲尔兹奖得主陶哲轩，在2026国际数学家大会上，罕见地拉响了警报。

原话很重：数学正从”证明稀缺”走进”证明过剩”，人类面临百年未遇的价值观危机。

翻译成人话就是——AI证明数学难题的速度，已经快到人类消化不过来了。

过去一年，这类新闻多到麻木：
OpenAI的Astra，一次端出10项数学成果，横跨几何、群论、密码学；
Anthropic的Claude，翻出了悬了87年的雅可比猜想反例；
一个23岁的业余爱好者，在ChatGPT帮助下，破解了60年没人解的埃尔德什第1196号问题，陶哲轩亲自验证后还参与了论文。

注意，破题的很多不是职业数学家，是拿AI提问的爱好者。

陶哲轩把解题拆成三步：生成、验证、消化。
前两步，AI已经半自动了。
第三步，完全空白。

AI出的证明又长又臃肿，经常比人类写的长几百行。
形式化验证说它”正确”，不等于数学家”看懂”了。
他打了个比方：AI把生肉扔过来，肉可能是好的，但没人清洗、没人烹饪，你也不知道好不好吃。

埃尔德什问题网站上，AI提交的证明方案已经堆了几十份，以前常年只有一两份。
提交者自己都说：真看不过来。

这才是最扎心的：
AI能批量产出”正确”的证明，但人类根本没时间验证、理解、吸收。
几千年来，数学活在”证明稀缺”里——怀尔斯关了自己7年，才证完费马大定理。
现在，稀缺变成了过剩。

陶哲轩说，数学正在从”手工业”走进”工业时代”。
留给数学界想清楚的时间，只剩几个月。

这跟我们普通人有什么关系？
有。
第一，AI的”解决能力”，替代不了”解释能力”。AI能算出答案，但讲不清为什么。你在用AI解题、看逻辑结论的时候，得多留个心眼。
第二，当AI能批量生产”没人看得懂的正确结论”，人类必须重新定义”理解”这件事。
第三，别慌着怕AI取代数学家——短期不会。数学家会从”自己证明”，转向”指挥AI证明、再验证”。像程序员从写汇编，进化到用高级语言。

数学界真正的难题，不是AI太强。
是人类的消化能力，跟不上AI的生产速度。

这大概是AI时代所有行业，迟早要面对的一道题。