AI 把千禧年难题“解”了出来,数学家却哭了

九月四号下午，我一个学数学的朋友发来消息，说他们系里好多人已经在准备转行了。

他语气很平静，像早就料到。但我看得出来，那行字下面压着东西。

“仿佛AI已经把数学圈干翻了。我们学院的老师都挺悲观的，觉得现在研究数学已经没什么意义了。”

一切的起源

四天后，OpenAI“解决”了纳维-斯托克斯方程（数学界千禧年一道难题），公布了一份 166 页的论文。

同一时间，数学家 Tristan Buckmaster 发出一封四页的公开信，指控 OpenAI。接着是 25 位菲尔兹奖得主联名发声，陶哲轩表示 AI 已“Severe Misalignment”，美国数学学会发表官方声明。

短短四天，关于数学界的核爆层出不穷。但——一个世界，两个境界。

AI 解千禧年题目，是助力还是诅咒

一家 AI 公司宣布解出了千禧年的难题，颇有一种“这是 AI 一小步，也是人类一大步”的豪情壮志。但奇怪的是，数学界的反应很耐人寻味。

之前中国数学家王虹完全解决困扰数学界百余年的“三维挂谷猜想”，荣获 2026 年菲尔兹奖，整个过程大家有目共睹。当时数学家不说是普天同庆，也是在各个媒体争相报道，那几天的数学界仿佛过年一般热闹，每一个数学人都或多或少感受到这份喜悦。

而这一次呢？

如果 AI 真解出来了，这应该象征着数学界的又一次进步，全世界数学家都应该高兴，感慨科技进步的迅速，感慨生在了好时代——短时间内又解决出一个困扰数学界的百年难题，有生之年能看到数学界的巨大进步。

可他们没有。

他们在抗议。

我们不得不停下来想这件事：AI 到底是为数学赢了一次，还是在拿数学当自己功绩的垫脚石。

他没有完全解出来，却让群众相信他又赢了一次

先看事实。NS 方程有两条路：带外力的版本，和没有外力的自然流体版本。后者，才是一百万美元对应的那个问题。

OpenAI 完成的是前者——数学上叫“边缘命题”。核心命题，绕开了。

那 88 小时，它到底做了什么？

它在纯数学模型里，构造了一个现实里不存在的物理场景。现实中的流体会摩擦、有边界，不可能出现 AI 推演出来的那种“无限速度奇点”。

也就是说，它用算力完成了一项数学界里的无限猴子定理，写出来了数学题目里的《雷雨》。但无论是主创团队还是 AI 本身，都不知道做出来这个的意义。他们只是把它当成挑战 AI 性能的又一项战绩。

数学界在怒什么

虽然是用这种看起来无理取闹的办法算出了结果，但不也还是解决问题了吗？

菲尔兹奖得主陶哲轩说过一句话：数学研究的核心价值，不在于一个最终的答案，而在于探索与推导的完整过程。

举个简单的例子。

现在要算 1 到 200 相加，把题目分别给人类和 AI。从小我们都学过，高斯提供的等差数列方法，会展现属于数学的智慧和技巧，用一种极为优雅的方式解决它，还能举一反三，让这个思路活用在别的数学思维里。

而 AI 的解法，更像是用自己引以为豪的计算能力，活生生把 1 到 200 重复相加。

两者看起来都解决了问题，但代表的意义完全不同。

数学不是一门“给出答案”的行业，
是一门“让人理解”的行业。

一个答案，如果只是靠毫无意义的数数穷举，对人类来说几乎不可复现，过程不可见，那它对数学界发展的贡献几乎为零。你可以把结论贴在墙上，但没有一个数学家能从它身上学到任何东西——它不是知识的增量，只是一个孤立的符号。

但对于生活在唯结果论里的人，这只是 AI 的又一次胜利。

如果这是诅咒，诅咒的是谁

美国数学学会的声明里，最让人印象深刻的是这句话：

The purpose of mathematics is human understanding.

数学的目的，是为了人类的理解。

如果哪天所有数学题目都能纯靠算力推出来，还没人识别其真伪，那对外界来说，这个答案即为真实。因为外界要的从来不是过程，只是一个结果。

而如今 AI 的暴力拆解，已经动摇了数学的根基。如果某一天人们只注重结果，只注重一道题是否被解出来，那人类的研究将再没有价值——在现用的领域里，我们永远玩不过 AI。

就像那小小的一方 19×19 围棋天地，现在被来自“天道”的 AI 压得喘不过气。原本无限的道路有了局限。可以预见的是，那象征千年传承、道尽人生哲理的围棋，会渐渐走向衰亡。

而这种事，我们都不希望发生在象征人类文明基石的数学上。

但在 AI 面前，数学真的一点出路也没有了吗？

世界不需要太多的观光客

现在的数学界天天 AI 核爆，很多群众已经开始唱衰数学。因为他们的职业已经被 AI 取代了大半，所以也希望借此把数学拉下神坛。

我们不得不承认，AI 在已经存在的东西上无所不能。面对它，仿佛面对的是人类上千年的历史留下来的智慧。

但——只是在已经存在的东西上。

钻木取火，仓颉造字，人类智慧最闪耀的地方，就是在已知事物的基础上创造未知的思想，研发未知的事物。现阶段的 AI，是因为有庞大的数据支撑才显得全知全能——它背后站着无数前人的智慧。如果把 AI 放在远古时期，它永远也不会想到把石头磨尖去猎杀动物。对它来说，这些只是数据。没有为什么，也就不会有创新。

AI 在没有定性的东西上就很弱。如同凸包——凸包之内，它无敌；凸包之外，它失语。它所做的，是在人类已经画好的框内，用算力把所有格子走一遍。

浪潮褪去，才发现谁在裸泳。

用 AI 解答题目的，不是数学工作者，只是一群误闯数学世界的观光客。

AI 的冲击之下，数学工作者们已经分崩离析。有人面对现状感到绝望，有人义无反顾地投入 AI，寻求一条出路。我的朋友也感到迷茫——毕竟没有那么多数学研究者有那么多新想法，很多人单是在前人的路上打盹，就能混一辈子了。

但这对于数学界，也未尝不是一件好事。

AI 撕开了这层遮羞布。原本占着数学资源、没有创新的研究者，顺着时代的浪潮及时脱身；剩下的人，仍然秉承着对数学的热爱，同时用 AI 省去部分繁杂的计算。AI 对他们来说不是诅咒，是助力。

我们不得不承认，这样的人十分稀少。但正是这样的人，才能在人类社会各个领域有所创新，推动着社会的进步。

我不知道我那个朋友最后会不会转行。

但我想，如果他真的还爱数学，AI 反而是帮他卸下了一部分最累的活。

剩下的那部分——真正要想明白的事，AI 给不了他答案。