AI花88小时，解开了数学家90年没解开的题

90年没人解开的数学难题，被AI用88小时干掉了。

不是人类数学家，是一万个AI智能体，在一个还没公开发布的模型上。

先说这道题有多难

Navier-Stokes方程，听着陌生，其实就在你身边——水怎么流、风怎么吹、飞机怎么飞、血怎么在血管里跑，全靠它。

但它有个”世纪悬案”：这套方程会不会在某一点突然”爆掉”？就是数值瞬间冲到无穷大那种。

从1930年代问到今天，快一个世纪，没人答得上来。它是克雷数学研究所七个”百万美元问题”之一，千禧年大奖难题，全世界最聪明的脑袋排队啃过，全部铩羽而归。

AI是怎么干的

OpenAI放出一万个AI智能体，分工协作，各管一摊，一起啃这道题。

88小时后，它们给出了答案：会爆。

它们找到了一种特殊的涡旋——越转越快、越收越紧，流体的能量却始终有界，直到数学意义上彻底”爆掉”。就像水在漩涡里被拉成面条，越拉越长，直到数学本身炸开。

关键是，这不是AI拍脑袋猜的。结果在Lean证明助手里做了形式化验证，等于机器把每一步推理都检查了一遍。数学家看了，点头：靠谱。

真正的新闻不是答案，是方式

以前我们说AI会聊天、会写代码、会画图。这次不一样——它开始在硬科学里做真发现了。

更值得玩味的是三个细节：

第一，这是个多智能体系统。一万个agent不是各玩各的，它们互相配合、传递信息，像一支研究团队。多智能体协作，第一次在顶级科学问题上证明了自己。

第二，这个内部模型，据称比刚发布的GPT-6 Astra强得多。也就是说，OpenAI手里还藏着更猛的东西。

第三，AI做数学有个天然优势：它不怕蠢，不怕错，敢在没人敢去的方向上瞎撞。数学家要脸，AI不要。

几句大实话

别急着吹”AI要取代数学家”。它这次能成，是因为问题边界清晰、答案可以验证。真正难的是那些连问题都问不清楚的领域——那里还是人类的战场。

但趋势已经明摆着：以后人类数学家的活法会变。AI负责乱撞，人类负责看懂。这道题如果还靠人肉啃，可能真得再等九十年。

当AI开始解世纪难题，每个人都要重新想想：在智力劳动这件事上，自己到底站在哪一环。

（完）