OpenAI用约1万个AI智能体88小时攻克千禧年难题纳维-斯托克斯：内部未公开模型能力远超GPT-6 Astra，全程Lean形式化验证

当地时间9月8日，OpenAI发布重磅声明：其一个尚未公开的下一代内部模型，组织约1万个AI智能体协同工作，用88小时给出了克雷数学研究所七大千禧年大奖难题之一——纳维-斯托克斯方程存在性与光滑性问题的完整证明，并同步公开165页论文和Lean（计算机定理证明器）验证代码。

这道悬而未决约90年、价值100万美元的数学难题，成为继2003年佩雷尔曼证明庞加莱猜想后，人类26年来被攻克的第二道千禧年难题。

难题本身：流体运动会不会失控

纳维-斯托克斯方程描述水、空气等流体的运动，从飞机机翼设计、气象预报到造船、管道工程都依赖它。克雷数学研究所2000年悬赏的问题是：如果流体一开始表现得良好（数学上称为光滑），此后的运动有没有可能在某个时刻突然失控，让某处的速度飙到无穷大？这种失控被称为爆破，出现的位置被称为奇点。真实世界的水不会出现无限速度，但方程在数学上是否允许这种可能性，200年来无人能证明。

解题有两条路：一是证明无论怎样流动都不会失控；二是找到一个具体例子，让流体确实在有限时间内爆破。克雷官方题面明确允许第二条路，且允许在方程中加入满足条件的外力。OpenAI走的就是第二条路——构造了一个具体的涡旋流实例，流体沿竖直轴螺旋向内、核心区域越旋越细，速度在有限时间内趋于无穷，而动能始终保持有界。

1万个Agent的团队作战

OpenAI披露，这项工作的技术支持来自一个能力远超GPT-6 Astra、尚未公开的内部模型。整个流程从9月1日启动，约1万个AI智能体分组作战：部分尝试证明解永远光滑，另一部分构造反例。

中途，约100个Agent花了50小时先解决了一个相关问题——无外力欧拉方程的有限时间爆破。这个意外收获让团队调整策略，将资源集中到纳维-斯托克斯上，并将欧拉解作为提示喂给后续Agent。最终突破发生在9月5日，此时距首批Agent启动仅约88小时。整个过程中，Agent间发送约270万条消息，消耗约1300亿输出Token。Lean形式化验证由GPT-6 Astra完成，耗时17小时。

OpenAI在博客中表示，参与这项工作的团队主要由数学家、物理学家和计算机科学家组成，但在流体动力学和纳维-斯托克斯问题上集体没有研究级别的专业知识，无法对数学内容做出实质性贡献。换言之，证明的核心内容几乎全部来自模型。

算力成本与署名争议

OpenAI数学家塞巴斯蒂安·布贝克估计，此次解题的内部算力成本达数百万美元，若按零售价计算则需约1500万美元。OpenAI明确表示不申领克雷所100万美元奖金，将该结果定位为AI进步的快照。

然而，成果发布的同时也引发了数学界的激烈争议。纽约大学数学家特里斯坦·布克马斯特公开声明，他与Anthropic研究员Levent Alpöge过去一年一直在研究同一族问题，二人使用包括Codex在内的AI工具完成研究，其成果已于9月7日发布。他质疑OpenAI在获悉他们工作后才启动该项目，并指控OpenAI数学负责人在通电话中提出将Anthropie员工从署名中移除的方案。OpenAI否认相关指控，称研究人员和AI智能体未接触其成果，但不能完全排除相关产品数据曾以某种方式参与训练。

菲尔兹奖得主、华裔数学家陶哲轩在9日发表评论指出，好问题将要比好答案更稀缺，并警告如果AI能在人类极少参与的情况下解决最困难的问题，可能会削弱人类对数学本身的理解。

意义与后续

这场突破被解读为通用AI（AGI）进入前沿科学发现的信号，同时也将数学证明变成了一条AI可自动运行的流水线。OpenAI宣称，参与智能体使用的内部模型能力显著强于刚发布的GPT-6 Astra——测试中后者仅能解出约10%的数学题，而新模型解出比例接近50%。这一结果的最终正确性，仍有待数学界的独立检验。

Sources:

• AI智能体八十八小时解出千禧年难题之一 引起抢发数学家成果争议 — 科技日报
• OpenAI智能体一周末攻克千禧难题，纽约大学教授质问 — 果壳/36氪
• OpenAI官宣：88小时攻破千禧年难题! — 新智元