当地时间9月8日，OpenAI宣布，其内部AI系统完成了对纳维尔斯托克斯（Navier-Stokes equations）存在性与光滑性问题的一个解答，并同时公开了相关论文以及Lean形式化证明。

纳维尔斯托克斯方程不仅是千禧年大奖难题之一，也是现代流体力学最核心的理论基础，据传也是中国数学家韦东奕长期研究的方向。

OpenAI表示，这份证明由一个内部多智能体系统完成，背后的模型能力显著超过GPT-6 Astra。如果这一成果最终得到数学界认可，它意味着AI已经开始参与解决过去几十年甚至上百年由顶尖数学家持续研究的问题。

在纳维尔斯托克斯问题中，参与工作的Agent数量达到约1万个。

OpenAI表示，系统此前还解决了一个相关的欧拉方程正则性问题。约100个 Agent 工作50小时后，完成了该问题的反例证明，这成为团队继续研究纳维尔斯托克斯问题的重要线索。

整个过程中，Agent共发送约490万条消息，消耗约3000亿输出Token。其中，纳维尔斯托克斯问题相关任务产生约270万条消息，消耗约1300亿输出Token。