OpenAI内部模型88小时攻破纳维-斯托克斯千禧年难题：1万个AI智能体协作证明流体奇点

一句话读懂这次突破

美东时间9月8日，OpenAI宣布其内部模型组织约1万个AI智能体并行协作88小时，成功证明了三维不可压缩流体在光滑外力作用下可在有限时间内形成”奇点”（有限时间爆裂），并完成了165页证明与Lean形式化验证。这是七大千禧年难题中，继庞加莱猜想之后第二个被给出解答表述的问题。

什么是纳维-斯托克斯方程，为什么它这么难

纳维-斯托克斯方程是描述流体运动的核心方程，从飞机的机翼设计到天气预报、从血液流动到海洋环流，几乎所有涉及流体的问题都绕不开它。这个方程已经存在了近两百年，但数学家一直无法证明一个关键问题：在三维空间中，光滑的流体运动是否会在某个时刻突然失去光滑性，形成”奇点”——也就是速度、压强等物理量在有限时间内趋于无穷。

这一问题被克雷数学研究所列入七个千禧年难题，悬赏100万美元征求解答。近90年来，无数顶尖数学家试图攻克它，却始终未能给出完整证明。法国数学家让·勒雷曾在1934年提出弱解理论，但关于奇点是否真的会出现，学界争论不休。

AI是如何完成这次证明的

据OpenAI披露，这次突破由内部一个能力超过已发布GPT-6 Astra的模型主导。研究团队没有让AI单打独斗，而是组织约1万个AI智能体并行协作，像一支分工明确的科研军团，各自承担文献检索、思路生成、推导验证、代码实现等不同环节，最终在88小时内完成了整条证明链条。

整个证明最终形成165页文档，并通过Lean形式化验证——这意味着证明中的每一步推理都经过了机器可验证的逻辑检查，大幅降低了传统人工审稿中可能存在的漏洞风险。OpenAI同时强调，公司明确表示不申领这笔100万美元的奖金。

数学界的反应：认可与争议并存

这一成果公布后迅速引发学界震动。著名数学家陶哲轩称其为”非凡成就”，认为AI在数学研究中的角色正在从辅助工具向真正的合作者转变。

不过，争议也随之而来。纽约大学的巴克马斯特团队与Anthropic的阿尔珀格团队均对这一成果提出署名与数据争议，认为在证明过程中使用了他们的部分思路或数据但未充分致谢。这一插曲也折射出AI参与科研带来的新问题：当多个团队、多种工具共同参与一项突破时，贡献如何界定、署名如何分配，都成了全新课题。

对AI科研的未来意味着什么

从更宏观的视角看，这次突破标志着AI在数学研究领域迈出了标志性的一步。过去几年，AI已经陆续解决了蛋白质结构预测、定理自动证明等难题，但攻破千禧年难题级别的开放问题尚属首次。

陶哲轩等数学家此前曾多次预言，AI将彻底改变数学研究的范式：人类数学家提出猜想和框架，AI负责大规模探索和推导验证，二者形成”人机协作”的新科研生态。这次88小时的证明，正是这一范式从理论走向现实的注脚。

当然，也有学者保持审慎态度。他们认为，一次证明能否通过严格的同行评议、能否被学界广泛复现，仍需要时间检验。但无论如何，2026年9月8日这一天，AI与数学的关系已经被重新定义。