OpenAI宣称内部AI模型攻克千年奖难题：完成纳维-斯托克斯问题机器验证证明

七个克莱数学研究所千年奖难题，每一题悬赏百万美元，纳维-斯托克斯存在性与光滑性问题正是其中之一，困扰数学界二十余年。OpenAI对外公布，一款尚未对外发布、能力显著强于GPT-6 Astra的内部模型，生成了该问题的机器可验证证明。

• 官方介绍：https://openai.com/index/navier-stokes-solution

问题背景：纳维-斯托克斯方程

纳维-斯托克斯方程用于描述空气、水等流体运动，广泛用于航空设计、气象预报、血液流动仿真等工程场景。

这个千年奖问题核心疑问：三维空间内，满足条件的平滑流体流动，会不会在有限时间内产生奇点——流体速度趋向无穷大，但总动能依旧有限。数十年来，数学家一直无法证实或证伪这件事。

千年数学难题引发争议！数学家怀疑OpenAI获取他存于Codex内的研究草稿

OpenAI本次给出的165页证明，构造了一套三维不可压缩流体场景：流体初始静止，施加平滑外力，让涡旋向内螺旋、持续拉伸，流体速度最终走向无界，而整体动能保持有限。这套结果满足千年奖问题定义里的C、D条件，以此证明平滑纳维-斯托克斯解会失效。

AI代理集群如何完成这项工作

本次攻关并非单模型独立运算，而是大规模AI代理集群协同作业：

1. 部署约10000个并发AI代理同步攻坚纳维-斯托克斯问题，耗时约88小时得到证明思路；
2. 再由GPT-6 Astra花费17小时，把论证转为Lean形式化语言，交由定理证明器做机器核验；
3. 整个项目过程中，代理之间交换约490万条消息，合计生成3000亿输出token；仅纳维-斯托克斯课题就消耗270万条消息、1300亿输出token。

该内部模型训练从8月28日启动，训练工作还在持续进行，基准测试展现出远超GPT-6 Astra的性能。此前OpenAI已经用Astra内部版本，在10个长期悬而未决的数学与理论计算机问题上取得进展，仅消耗约2000美元API积分就能完成Lean形式化证明。

关键提醒：≠已经拿到百万美元奖金

OpenAI只是公布了AI生成的证明，但克莱数学研究所目前仍将该问题列为未解决。

按照研究所规则，一份候选证明需要在正规学术渠道发表，经过至少两年公开检验，获得全球数学界广泛认可，才会进入奖金评审流程。

OpenAI同时表示，不会申领这100万美金奖金，发布这项成果的目的，是展示前沿AI系统在高端数学推理领域的突破。