2026年9月8日，OpenAI宣布其利用一款比GPT-6 Astra更强、尚未公开的的下一代AI模型，协调约1万个AI智能体，仅用88小时完成了纳维—斯托克斯方程存在性与光滑性问题的证明。该问题是克雷数学研究所七大千禧年难题之一，悬赏100万美元求解，OpenAI表示此次公开成果并不会申领该奖金。OpenAI还同步公开了166页论文及Lean形式化验证代码。

纳维—斯托克斯方程是描述流体运动的基础方程，其核心未解问题是：三维流体在有限时间内是否会出现速度趋于无穷大的奇点。OpenAI的证明选择构造有限且处处光滑的外力，使光滑解无法维持到所有时间。在方法上，约1万个AI智能体被分为多个小组并行探索，可读取缓存互联网、运行代码并组内通信。近100个智能体先用约50小时完成了无外力欧拉方程的有限时间奇点证明，随后资源集中转向纳维—斯托克斯问题，最终在启动约88小时后得到解法，再由GPT-6 Astra用17小时完成Lean形式化验证。

该成果公布后，纽约大学教授特里斯坦·布克马斯特公开质疑，称他与Anthropic研究员莱文特·阿尔珀格此前已在相近方向取得带光滑外力的欧拉方程有限时间奇点结果并完成Lean验证，怀疑OpenAI模型是否接触过其研究会话数据。OpenAI回应称，研究人员和智能体均未见其成果，也未为解题访问特定用户数据，但不能完全排除相关产品数据曾以某种方式参与训练，并强调双方欧拉问题的外力设定不同。

信息来源：

https://openai.com/index/navier-stokes-solution/

https://www.xinhuanet.com/tech/20260910/490068b55c8d445980d779a37d55cf8e/c.html