数学界地震了：悬了90年的世纪难题，AI用88小时啃下来了

重大新闻，OpenAI又扔重磅炸弹。

9月8日，OpenAI官宣：旗下还没发布的内部模型，解出了纳维-斯托克斯方程的存在性与光滑性问题。

这道题有多难？它是克雷数学研究所2000年盘点的”千禧年难题”之一，悬了90多年，全世界顶尖数学家都没啃下来。

更狠的是，OpenAI说的还是”未公开、没训练完”的内部模型，能力比刚发布的GPT-6 Astra还高出一截。

怎么解出来的？约1万个AI智能体协作，跑了88小时，发出270万条消息，烧掉约1300亿个token——换算一下，差不多100万本书的体量。

证明写完，再让GPT-6 Astra花17小时，用编程语言Lean把整个证明翻译成机器能验证的格式，一步步核对。

这一仗的算力成本，估摸在1500万到2250万美元。OpenAI说：那100万美元的克雷奖金我们不领，纯属秀肌肉。

其实AI的数学能力，早就在坐火箭。

过去一年，从数学奥赛拿金牌，到今年初解出”埃尔德什问题”，再到这次直接撞开千禧年难题，步子一次比一次大。

但兴奋之外，圈内人也在犯嘀咕。

有数学家担心：如果最难的问题，AI在几乎没人参与的情况下就解掉了，人类对数学的理解会不会被削弱？就像健身房里有机器替你举重，你还会自己练吗？

现实里还有一堆疑问等着落地：165页的证明和Lean形式化代码已经公开，但克雷研究所还没正式认定，数学界能不能独立复核，要看后续。署名归属也起了争议，有人质疑OpenAI是不是”偷师”了别家研究，OpenAI否认。

不管怎么说，这一天很难不载入史册——一个人类想了将近一个世纪的问题，AI用了88小时给出答案。

那接下来呢？黎曼猜想、P与NP问题，会不会被一个一个攻破？

数学家的角色，或许正从”解题人”，慢慢变成拿着地图的”向导”。