一句话总结
2026 年 9 月 8 日，OpenAI 宣布其内部 AI 系统（约 1 万个并发 Agent、88 小时、约 1300 亿输出 token）给出纳维-斯托克斯（Navier-Stokes）方程存在性与光滑性问题的解——三维不可压缩流体可在有限时间内形成奇点，并公开 165 页论证与 Lean 4 形式化验证；截至本文发布，该结果尚未经同行评审与克莱数学研究所认定，且数学界就其与千禧年问题原始表述的对应关系及成果优先权存在争议。
背景
纳维-斯托克斯方程存在性与光滑性问题（Navier–Stokes existence and smoothness）是克莱数学研究所（Clay Mathematics Institute）2000 年设立的七大「千禧年大奖难题」之一，每个难题悬赏 100 万美元，此前仅有庞加莱猜想（2003 年证明）被解决。该问题询问描述流体运动的纳维-斯托克斯方程的解是否总是光滑且全局存在，已困扰数学界约 90 年。
2026 年 9 月 8 日，OpenAI 在官网发布声明《On the Navier–Stokes Millennium Prize Problem》，称其内部模型系统（约 1 万个 AI Agent 协同）给出了该问题的解，证明三维不可压缩流体可在有限时间内发展出奇点（有限时间爆破），并同时公开证明文稿与 Lean 形式化验证。
一、OpenAI 声明中的关键数字
| 项目 | 数据 |
|---|---|
| 启动时间 | 2026 年 9 月 1 日（在听到两道千禧年难题已有人解出的传闻后启动） |
| 得到解答 | 2026 年 9 月 5 日，距首批 Agent 启动约 88 小时 |
| Lean 形式化 | 另用 GPT-6 Astra 耗时约 17 小时完成 |
| Agent 规模 | 约 10000 个并发协作 Agent |
| 消息与输出 | NS 专项约 270 万条消息、约 1300 亿输出 token；全部尝试难题合计约 490 万条消息、约 3000 亿输出 token |
| 公开材料 | 165 页分析证明 + Lean 4 形式化文件（可下载构建检查） |
| 所用模型 | 未公开的内部模型，OpenAI 称其能力显著强于 GPT-6 Astra，训练仍在进行 |
据新浪科技、France 24 等媒体报道引用 OpenAI 口径，本次计算成本达数百万美元。
二、结论的技术内容
论文结论为：对于任意正黏性，可以构造一团从静止开始运动的三维不可压缩流体，在光滑外力作用下，局部速度在有限时间内变得无界，同时保持总动能有界——即在光滑初值与光滑外力条件下，NS 方程的解在有限时间内形成奇点，从而否定「解总是光滑且全局存在」的猜想方向。证明以「涡旋」构造为核心（Quanta Magazine 配图展示了该涡旋，黄色代表更快转速、蓝色更慢）。
需注意的表述差异：Forkast News 报道指出，克莱数学研究所千禧年奖的官方表述基于无外力（unforced）版本的 NS 方程，而 OpenAI 的结果针对带外力（forced）版本，两者对应关系需数学界进一步确认。
三、数学界反应与优先权争议
Quanta Magazine 报道称，若该结果经受住进一步审查，将是迄今 AI 模型取得的最重要数学证明，可能标志数学家处理难题方式的根本转折。同时，纽约大学（NYU）教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 在 OpenAI 公告约 12 小时前宣布解决了若干密切相关问题；两个团队都重度依赖马德里数学科学研究所 Diego Córdoba 与 CUNEF 大学 Luis Martínez-Zoroa 的解析方法。普林斯顿大学教授 Charles Fefferman（千禧年问题官方描述撰写者）表示「英雄是 Córdoba 和 Martínez-Zoroa」；Buckmaster 称 Martínez-Zoroa 值得菲尔兹奖。
优先权争议：Buckmaster 声明称其团队（与 Alpöge）已就此工作约一年，并于 8 月 15 日取得突破。OpenAI 方面表示其努力始于 9 月 1 日听到传闻之后，否认通过任何途径看到对方工作、否认访问特定用户数据，同时承认「无法完全排除其产品使用产生的去标识化数据有助于改进模型」。OpenAI 提出与 Buckmaster 团队同时发布并承认其优先权，但 Alpöge 未获共同作者邀请（OpenAI 称因与其雇主的竞争关系）。据媒体转述，OpenAI 表示不会申领该奖项奖金。
四、意义与展望
如果结论成立并经克莱数学研究所认定，NS 问题将成为第二个被解决的千禧年难题，且为首个由 AI 系统主导完成的千禧年级证明。该事件同时凸显三条新议题：一是「形式化验证」（Lean 检查）提升了 AI 数学证明的可信度，但不能替代对「证明的是否正是原问题」的判定；二是「传闻驱动」的科研竞赛——仅得知某难题已被解决，就可能触发大规模算力投入抢先求解；三是 AI 训练数据与研究成果优先权之间的边界问题。
常见误区与细节
- 「OpenAI 攻破千禧年难题」是宣布而非定论。截至 2026 年 9 月 9 日，结果尚未经同行评审，克莱数学研究所亦未认定，媒体标题中的「已解决/攻破」应理解为 OpenAI 的单方声明。
- Lean 验证不等于问题解决。Lean 证明的是证明文本内部逻辑自洽，不自动保证结论与千禧年问题的原始表述（如无外力版本）精确对应。
- 该结果无直接工程后果。数学奇点在理想化连续介质假设下成立，现实流体由分子组成，此结果不直接改变工程流体力学实践。
总结
OpenAI 于 2026 年 9 月 8 日宣布，其内部模型与约 1 万个 AI Agent 在 88 小时内给出纳维-斯托克斯存在性与光滑性问题的解，并附 165 页论证与 Lean 4 形式化验证。该声明在数学界引发关于结论有效性、问题表述对应关系与成果优先权的广泛讨论；截至本文发布，结果尚未经同行评审与克莱数学研究所认定，其最终地位有待验证。
数据来源与参考
- OpenAI 官方研究页（NS 声明入口）：链接
- Simon Willison：On the Navier–Stokes Millennium Prize Problem：链接
- Quanta Magazine：AI Has Solved One of Math's $1 Million Millennium Prize Problems：链接
- 网易：一万个 Agent，88 小时，OpenAI 破解数学「千禧难题」：链接
- 新浪科技：OpenAI 宣布攻克 NS 千禧年难题，花费数百万美元完成：链接
- Forkast News：OpenAI's 10,000-Agent Navier-Stokes Claim：链接
- Superintelligence News：OpenAI's Navier-Stokes Claim Triggers a Debate：链接