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

OpenAI宣布分享Navier-Stokes千禧年大奖难题的一个解答。这个问题关乎Navier-Stokes方程描述的光滑三维流体运动是否会被破坏，自提出以来约90年没有答案。

打开网易新闻 查看精彩图片

完成证明的不是人类数学家，而是一组智能体。

它们使用的是OpenAI下一代模型，能力显著强于GPT-6 Astra。OpenAI没有透露更多关于这个模型的细节，只确认它已经参与到千禧年难题的求解中。

Navier-Stokes方程是流体力学的基础。

它描述液体和气体的运动规律，从天气预测到飞机设计都依赖这组方程。但三维情况下，方程的解是否始终光滑、会不会在有限时间内出现奇点，数学界一直无法证明。

这个问题的官方地位很高，属于克雷数学研究所设立的七个千禧年大奖难题之一，每个难题悬赏100万美元。

OpenAI这次分享的是一个解答，不是完整的官方验证。

按照惯例，千禧年难题的解答需要经过数学界严格审查，确认无误后才能获得官方认可。OpenAI的公告没有说明解答是否已经提交给克雷研究所，也没有公布证明全文。

但即便只是分享一个候选解答，也足以说明下一代模型在数学推理上的能力跃升。从GPT-6 Astra到这款未命名模型，OpenAI似乎把智能体协作和复杂证明推到了新高度。