AI 证完了定理，数学家却看不懂了Is AI the End of Math As We Know It?

2026 年 9 月，OpenAI 宣布模型解出数学界最著名的难题之一，数学家发现：答案来得比理解快，而整个行业的评价体系是为「解题」建的。

2026 年 9 月 8 日，OpenAI 宣布它的模型解出了数学界最著名的难题之一，顺带掀起一场关于作者署名和标准的争吵。德州大学的 Scott Aaronson 在博客上写：人类数学家从此不再是地球上证明定理的主力。

两天后，加州伯克利的一间教室里坐了一百五十多人。数学家 Ken Ono 已经离开学术界，去了一家叫 Axiom Math 的 AI 创业公司，他来讲这场变化。他劝学生「做好心理准备」，台下的反应是愤怒。原定五十分钟的讲座，问答拖到两个多小时。有学生手在抖着追问：你到底在做什么？

被瞬移到山顶，却不认识这座山

数学界在意的不是答案，是理解。作者用爬山打比方：AI 的证明像把你瞬移到山顶。

证明是对的，有系统验证逻辑。但周围全是雾，你不知道自己站在哪，不知道这座山和别的山怎么连，也没有工具带别人上来。

自己爬上去就不一样了：身体会适应缺氧，你得发明工具，可能和同伴在隐蔽山谷里迷路，顺手发现一株能做药的植物。这些过程才是数学真正在产出的东西。

系统是为「解题」建的

几百年来，证明定理和理解证明一直绑在一起，所以整个数学文化几乎围绕解题生长：研究生从小问题练手，然后发论文、找工作、拿声誉，全按证明过的定理来算。

这套激励结构，没为「解题变容易、理解仍然很难」的世界准备。加州理工的博士生 Tasmin Chu 说得很直接：它把我们这套系统推到极限，然后摧毁它。

后果已经在发生。OpenAI 和 Anthropic 直接和数学家抢题，还挖走了不少人，同时有一百多项重要结果被保密，外人根本不知道证了什么。论文预印本网站 arXiv 被 AI 生成的证明淹没，只好限制每人每月投两篇。有人不敢在论文末尾写猜想，怕被爬虫抓走喂模型。

两种未来

多伦多大学的 Daniel Litt 说，坏的未来是：等这一代人退场，剩下的人只会按按钮，不会读输出。如果什么都不改，五十年后可能就没有数学了，连机器也不做。

乐观的版本是：数学家把挖冰层找宝石的苦活交给 AI，自己去做理解、解释、搭框架、提出新问题的活。MIT 的 Pavel Etingof 说，要理解的东西会多得多，数学家不会没活干，只是活不一样。

问题在于下一代还愿不愿意入行。很多人做纯数学，图的就是自己创造点什么，再交给懂的人欣赏。如果日常变成机器说话、人类旁听，这份吸引力就没了。

作者最后还是留了希望：被迫去说清「数学到底好在哪」这件事本身，可能让这个领域变得更强。但要不要走到那一步，得看数学家自己。