OpenAI宣称其未发布模型在9月5日得出纳维-斯托克斯存在性与光滑性问题的解，并经GPT-6 Astra完成Lean形式化验证
事件全貌
AI 综述OpenAI 宣布其内部AI系统解决了纳维-斯托克斯存在性与光滑性问题，这是七大千禧年大奖难题之一，已困扰数学界约90年。OpenAI称，该证明由一个显著强于GPT-6 Astra的未发布下一代模型驱动的约10,000个并发AI智能体群组，在约88小时内生成，随后由GPT-6 Astra花费17小时完成Lean形式化验证。证明的核心结论是：在光滑外力作用下，初始光滑的静止三维流体可以在有限时间内发展出奇点（速度无限增长），同时总能量保持有限，这对应了官方问题陈述中的“C”和“D”情形。OpenAI已公开证明文本和Lean形式化版本，并表示不打算申领100万美元的千禧年大奖。
然而，该声明引发了争议。据数学家Buckmaster陈述，OpenAI（包括其研究员Sébastien Bubeck）在通话中声称其内部模型已生成一份约100页的带forcing的Navier-Stokes证明。Buckmaster认为，提及“带forcing”表明OpenAI在走与他和合作者Alpöge相同的非常规路径，而他们已将项目草稿存入OpenAI Codex会话。当被问及OpenAI的模型是否训练或访问了这些会话数据时，Buckmaster称被告知模型“未查看用户数据”，但关于训练数据的具体问题未获回答。OpenAI在官方博文中确认了与Buckmaster和Alpöge的持续沟通，并称其最新研究始于9月1日，灵感来源于“两项千禧年大奖难题已被解决”的传闻。
OpenAI官方描述了其技术细节：系统使用协调的智能体群组，智能体可访问缓存的互联网版本和运行代码等工具。智能体被分为可组内通信的不同规模小组，通过提示不同问题变体来探索多样性方法，并使用Codex整合各组最有用的见解。整个一周的研究过程，智能体共发送490万条消息，使用约3000亿输出token；仅在解决Navier-Stokes问题的过程中，就发送了270万条消息，使用约1300亿输出token。OpenAI表示，发布此结果旨在报告其AI模型的重大进展。
AI 汇总报道生成 · 17分钟前更新。单篇报道保留其发布时的原貌。
最新情况详见事件全貌。
报道时间线
沿着报道，了解事件的不同侧面。
- OpenAI 称 88 小时解决 Navier-Stokes 问题，却引发数学界抢发与数据争议
OpenAI 周二发布博客称，其一个未发布模型用约 88 小时、调度约 10000 个 AI 智能体解出 Navier-Stokes 流体力学问题，该问题此前已困扰人类研究者近 90 年，悬赏 100 万美元，OpenAI 表示不申领奖金。
- 纽约大学教授质疑OpenAI借助其研究抢先发布纳维-斯托克斯问题证明
纽约大学教授Tristan Buckmaster与Anthropic数学家Levent Alpöge使用Codex和Claude在纳维-斯托克斯存在性与光滑性问题上取得初步进展，随后OpenAI公布了该千禧年大奖难题的完整证明，称其由一个尚未发布的新一代模型发现，研究始于9月1日，总计消耗3000亿个输出Token，按Astra价格计算约2250万美元。
- Simon Willison 评纳维-斯托克斯千禧年问题求解背后的 OpenAI 与 Anthropic 争议
Simon Willison 评论 OpenAI 用未发布模型在约 88 小时内求解纳维-斯托克斯存在性与光滑性问题，并经 GPT-6 Astra 完成 17 小时 Lean 形式化验证。
- OpenAI 宣布用智能体集群求解 Navier-Stokes 千禧年难题
OpenAI 宣布给出 Navier-Stokes 千禧年难题的解，证明由一组智能体使用比 GPT-6 Astra 能力更强的下一代模型生成，该问题已悬置约 90 年。作者引述称约 10,000 个智能体在 88 小时内协同工作，产出 1300 亿输出 Token，GPT-6 Astra 花了 17 小时跑 Lean 形式化代码核验，等效算力成本约 1500 万美元。
- OpenAI 宣布用约 10000 个 AI 智能体 88 小时解决纳维-斯托克斯问题，陶哲轩点赞并表担忧
OpenAI 于 9 月 8 日宣布，其未公开的内部模型（性能远超 GPT-6 Astra）解决了千禧年大奖难题之一的纳维-斯托克斯存在性与光滑性问题，通过约 10000 个 AI 智能体协作在约 88 小时内生成了证明，证明初始平滑流体可在有限时间内出现奇点。
- Simon Willison 评 OpenAI 用未发布模型求解 Navier–Stokes 千禧年大奖难题之争
OpenAI 用未发布模型在约88小时内给出 Navier–Stokes 存在与光滑性问题（七大千禧年难题之一）的解答，并通过 GPT‑6 Astra 完成17小时 Lean 形式化验证，全程发送490万条消息、消耗约3000亿输出 token。
- NYU 数学家指控 OpenAI 抢发 Navier–Stokes 证明并施压，OpenAI 公布完整证明回应
NYU 数学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 合作，借助 Codex 和 Claude 模型对 Navier–Stokes 光滑性问题取得阶段性证明。
- OpenAI 宣布解决 Navier-Stokes 问题，引发数据使用争议
OpenAI 发布博客称，用 8 月 28 日开始训练的内部 AI 模型配合 10,000 个并发智能体，求得了约 90 年未解的 Navier-Stokes 问题的解，该问题属于每个奖金 100 万美元的 Millennium Prize Problems，OpenAI 表示不领取奖金。
- OpenAI 多 Agent 攻克纳维–斯托克斯千禧年难题，作者对比此前 Agent 侵入事件
OpenAI 宣布用一组 Agent 基于比 GPT-6 Astra 能力更强的下一代模型给出纳维–斯托克斯千禧年大奖难题的证明，该问题关于三维光滑流体运动是否会失稳，已悬置约 90 年。
- OpenAI 用上万智能体求解 Navier-Stokes 千禧年大奖难题
OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个解，证明由一组智能体使用一个显著强于 GPT-6 Astra 的下一代模型生成，该问题关于光滑三维流体运动是否会崩溃，已悬置约 90 年。
- OpenAI 宣布以内部 AI 系统给出 Navier–Stokes 千禧年问题解答
OpenAI 宣布其内部 AI 系统给出 Navier–Stokes 存在与光滑性问题的解答，证明初始光滑的流体可在有限时间内形成奇点，并附证明文稿与 Lean 形式化验证。
- 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 称其 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。
- TestingCatalog 转述 OpenAI 宣布智能体团队解决 Navier-Stokes 千禧年大奖难题
TestingCatalog 转述 OpenAI 官方宣布：一组由其下一代模型驱动的智能体给出了 Navier-Stokes 千禧年大奖难题的解。OpenAI 称该模型能力显著强于 GPT-6 Astra；该问题关乎 Navier-Stokes 方程描述的三维光滑流体运动是否会崩溃，约 90 年未获解决。作者附加评语 Level 4 - Innovators。
- 数学家 Buckmaster 称 OpenAI 施压并要求将 Anthropic 职位合作者移出 Navier-Stokes 论文
数学家 Tristan Buckmaster 公开发声，称 OpenAI 在其与 Levent Alpöge 借助 Claude 和 Codex 运行 GPT-5.6 Sol 在 Navier-Stokes 方程上取得进展后对其施压。
- OpenAI 被指抢发 Navier-Stokes 证明并施压数学家移除 Anthropic 合作者
OpenAI 据称宣称其 AI 证明了千禧年难题 Navier-Stokes。数学家 Buckmaster 指控其进展泄露后 OpenAI 竞速抢先，还要求他移除在 Anthropic 工作的合作者。目前实际已验证的是与 Navier-Stokes 相邻问题的结果，OpenAI 的 100 页证明未公开，OpenAI 尚未回应指控。