OpenAI 宣布智能体解决 Navier-Stokes 千禧年大奖难题
OpenAI 官网发布证明文稿与 Lean 形式化验证，确认初始光滑流体可在有限时间内形成奇点。
事件全貌
OpenAI 于 2026 年 9 月 8 日宣布，其一组智能体使用能力显著强于 GPT-6 Astra 的下一代模型，给出了 Navier-Stokes 千禧年大奖难题的一个解。该问题关注 Navier-Stokes 方程描述的三维光滑流体运动是否会失去正则性，已悬置约 90 年。
证明由约 10,000 个并发智能体在 88 小时内完成，GPT-6 Astra 用 17 小时完成 Lean 形式化验证。OpenAI 称训练仍在进行，全程遵循前沿评测的监控与隔离等安全防护措施。
OpenAI 官方及多位高管（Greg Brockman、Mark Chen、Sam Altman）转发消息，称这是 AI 与数学的里程碑。Ethan Mollick 转述时指出，学术署名归属与证明竞赛中的时间先后争议仍需解决。
本综述由 AI 汇总全部报道生成，随事件进展持续更新；下方时间线中的单篇报道保留其发布时的原貌。
本事件热度走势
移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。
报道时间线
- OpenAI 用上万智能体求解 Navier-Stokes 千禧年大奖难题
OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个解，证明由一组智能体使用一个显著强于 GPT-6 Astra 的下一代模型生成，该问题关于光滑三维流体运动是否会崩溃，已悬置约 90 年。
- OpenAI 宣布以内部 AI 系统给出 Navier–Stokes 千禧年问题解答
OpenAI 宣布其内部 AI 系统给出 Navier–Stokes 存在与光滑性问题的解答，证明初始光滑的流体可在有限时间内形成奇点，并附证明文稿与 Lean 形式化验证。
- OpenAI 宣称其内部模型驱动约 1 万个智能体求解 Navier–Stokes 千禧年大奖问题
作者转发 OpenAI 官方声明：OpenAI 称其 AI 求解了悬置约 90 年的 Navier–Stokes 千禧年大奖问题。一个训练中的新内部模型（据称显著强于 GPT-6 Astra）驱动约 10,000 个并发智能体，88 小时得出解，GPT-6 Astra 再用 17 小时完成 Lean 形式化与验证。
- OpenAI 宣布求解 Navier-Stokes 千禧年大奖难题
OpenAI 宣布分享 Navier-Stokes 千禧年大奖难题的一个解，该问题涉及三维光滑流体运动的描述是否会崩溃，已悬而未决约 90 年。证明由一组智能体使用一个显著强于 GPT-6 Astra 的 OpenAI 下一代模型完成。Sam Altman 转发称这是过去一周他经历的最令人惊叹的 OpenAI 历史时刻之一。
- Jason Liu 调侃 OpenAI 新模型求解 Navier-Stokes 千禧年难题
Jason Liu 转发并调侃 OpenAI 的公告，称该模型玩 RuneScape 也很强。引用内容称 OpenAI 分享了对 Navier-Stokes 千禧年大奖难题的一个解法，证明由一组智能体使用比 GPT-6 Astra 能力强得多的 OpenAI 下一代模型产出；该问题关乎 Navier-Stokes 方程建模的光滑三维流体运动描述是否会崩溃，约 90 年未获解决。
- OpenAI 宣布智能体用新一代模型给出 Navier-Stokes 千禧年大奖难题的解
OpenAI 宣布给出数学前沿难题之一的 Navier-Stokes 千禧年大奖难题的解，该证明由一组智能体使用一个能力显著强于 GPT-6 Astra 的 OpenAI 新一代模型产出。该问题关注 Navier-Stokes 方程描述的光滑三维流体运动是否会崩溃，已悬置约 90 年。
- OpenAI 宣布用智能体求解 Navier-Stokes 千禧年大奖难题
OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个解，该问题关注 Navier-Stokes 方程描述的光滑三维流体运动是否会失稳，约 90 年未解。证明由一组智能体使用比 GPT-6 Astra 能力强得多的 OpenAI 新一代模型产出。OpenAI 首席研究官 Mark Chen 转发此消息，称许多同事因相信 AI 是解决其领域重大挑战的最快路径而转行。
- OpenAI 宣布智能体群求解 Navier-Stokes 千禧年大奖难题
OpenAI 宣布分享 Navier-Stokes 千禧年大奖难题的一个解答，该问题关乎 Navier-Stokes 方程描述的光滑三维流体运动是否会被破坏，约 90 年未解。证明由一组智能体使用一个能力显著强于 GPT-6 Astra 的 OpenAI 下一代模型完成。
- OpenAI 智能体团队宣布求解 Navier-Stokes 千禧年大奖难题并向独立证明者致贺
OpenAI 宣布由一组智能体使用一个能力显著超过 GPT-6 Astra 的下一代模型给出 Navier-Stokes 千禧年大奖难题的解，该问题关注三维光滑流体运动的描述是否会失效，已悬置约 90 年。
- OpenAI 解出 Navier–Stokes 千禧年难题的模型据称显著强于 GPT-6 Astra
OpenAI 表示一个比 GPT-6 Astra 强得多的内部模型给出了三维 Navier–Stokes 方程可在有限时间内产生奇点的证明，作者评论称OpenAI内部模型强于 GPT-6 Astra 已不新鲜，但这一说法仍是大胆宣称。
- OpenAI 称其 AI 智能体求解 Navier–Stokes 千禧年大奖难题
OpenAI 官方宣布分享 Navier-Stokes 千禧年大奖难题的一个解答，该问题约 90 年未解。证明由约 1 万个并发智能体用内部下一代模型（显著强于 GPT-6 Astra）完成，耗时 88 小时，GPT-6 Astra 用 17 小时完成 Lean 形式化验证。
- OpenAI 称用智能体组合和强于 GPT-6 Astra 的下一代模型给出 Navier-Stokes 千禧年难题解法
OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个解法，证明由一组智能体使用一个 OpenAI 下一代模型完成，官方称该模型能力显著强于 GPT-6 Astra。该问题关注 Navier-Stokes 方程描述的三维光滑流体运动是否会失解，约 90 年未决。Elvis Saravia 转发并评论称，若 GPT-6 Astra 已有此水平，下一代模型值得期待。
- OpenAI 宣布用智能体给出 Navier-Stokes 千禧年难题的解
OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个解，该问题关注 Navier-Stokes 方程描述的三维光滑流体运动是否会失效，约 90 年未解决。证明由一组智能体使用比 GPT-6 Astra 能力强得多的 OpenAI 下一代模型产出。Greg Brockman 称这是 AI 与数学的里程碑，希望相关知识帮助社区更好理解用于建模物理世界的非线性 PDE。
- Noam Brown 谈 OpenAI 新模型：数分钟解决研究者多年未解的开放问题
Noam Brown 称 OpenAI 内部的数学家和物理学家本周经历了自己的“Lee Sedol 时刻”，该模型在数分钟内解决了他们多年未解的开放问题。引用的 OpenAI 介绍称，内部模型团队用约 10,000 个协作 AI agents 在 88 小时内得出 Navier–Stokes 解，训练仍在进行，全程遵循前沿评测的监控与隔离等安全防护措施。
- TestingCatalog 转述 OpenAI 宣布智能体团队解决 Navier-Stokes 千禧年大奖难题
TestingCatalog 转述 OpenAI 官方宣布：一组由其下一代模型驱动的智能体给出了 Navier-Stokes 千禧年大奖难题的解。OpenAI 称该模型能力显著强于 GPT-6 Astra；该问题关乎 Navier-Stokes 方程描述的三维光滑流体运动是否会崩溃，约 90 年未获解决。作者附加评语 Level 4 - Innovators。
- Ethan Mollick 转述 OpenAI 宣称用智能体组合解决 Navier-Stokes 千禧年难题
OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个解，证明由一组智能体使用比 GPT-6 Astra 能力显著更强的 OpenAI 下一代模型完成，该问题关于 Navier-Stokes 方程描述的三维光滑流体运动是否会失去正则性，约 90 年未获解决。Ethan Mollick 转述称这是大事，但学术署名归属与证明竞赛中的时间先后争议仍需解决。