90年没人解开的数学难题，AI解了：下次轮到哪道？

一个悬了90年的数学难题，被一群AI智能体解开了。

不是人类数学家解的。是一组AI智能体，用上了OpenAI下一代模型——比GPT-6 Astra还强的那种。

这道题，叫Navier-Stokes方程。

你可能没听过这个名字，但你每天都在用它。飞机怎么飞、天气怎么预测、河水怎么流，全靠这组方程撑着。它是流体力学的地基。

问题出在三维。数学界一直证明不了：流体在三维空间里运动，解会不会某一天突然”爆炸”？会不会在有限时间内出现奇点？

听起来像钻牛角尖，但钻了90年，没人钻出来。

它是克雷数学研究所七个千禧年大奖难题之一，悬赏100万美元。和费马大定理、黎曼猜想一个级别。

费马大定理，AI花了11天验完。黎曼猜想的临界线结论，AI推进了一大截。现在，轮到Navier-Stokes了。

OpenAI这次”分享”的是一个解答，还不是盖过章的官方验证。按规矩，千禧年难题要过数学界严格审查，确认无误才算数。OpenAI也没说证明全文交没交给克雷研究所。

但有人认真算过了：就算只是个候选答案，也够吓人的。

因为它说明，AI已经不是”算得快”，而是开始”会证明了”。从GPT-6 Astra到这代没名字的模型，AI正一步步把数学研究从”人扛”变成”人机一起扛”。

当年人类靠锲而不舍，一代代数学家接棒攻题。现在AI来了，攻题速度按天算。

你会发现，AI解开数学难题的速度，越来越像在”收割”千禧年大奖了。费马大定理、黎曼猜想、Navier-Stokes——七个里已经被AI挨个儿摸了一圈。

那么问题来了：下一个100万美元，会落在哪道题上？

以及，等AI把数学难题都”验”完了，人类数学家还剩什么可做？

我的判断是：答案其实不悲观。AI负责把”能不能证”跑出来，人类负责问”为什么是这样”。一个给结果，一个给意义。

你看，查证一道题，AI用天。提问一道题，人类用了几百年。

这道90年没人解开的题，AI说它解了。铁证还没完全落地，但风向已经变了：以后数学圈的新闻，主角恐怕不只有数学家了。