事件概况
2026 年 9 月 8 日 OpenAI 官宣：调用约 1 万个 AI 智能体并发协作，耗时88 小时，完成纳维 – 斯托克斯（Navier-Stokes）存在性与光滑性的证明，属于克雷数学研究所七大千禧年大奖难题之一，每题悬赏 100 万美元。
OpenAI 表示放弃申领 100 万奖金；同步放出 166 页论文 + Lean 计算机形式化验证代码，后续额外花 17 小时完成形式核验。
核心数据
- 模型：未对外发布内部原型，官方描述能力显著强于 GPT-6 Astra
- 总智能体消息：270 万条（NS 方程任务），消耗约1300 亿输出 token
- 算力成本：预估数百万美元
- 时间线：9 月 1 日启动智能体，9 月 5 日得到证明结果，合计 88 小时；再用 17 小时做 Lean 形式化验证
这道题到底在问什么 ？
纳维 – 斯托克斯方程是流体力学基础方程，描述水、空气等流体流动，支撑天气预报、飞行器设计。 千禧难题核心疑问：初始状态光滑的三维不可压缩流体，是否会在有限时间内产生奇点（流速趋向无穷大）？
OpenAI 证明结论：可以构造一组光滑外力，让原本光滑的流体，在有限时间内出现奇点；奇点发生时流速无限增长，但流体总动能仍然有限（向内收缩拉伸的螺旋涡结构）。
⚠️注意：没有证明无外力版本的 NS 方程奇点问题，只是完成千禧难题 C、D 分支方向的证明，不是完整解答全部命题。
攻关流程
- 前 50 小时：先用约千级智能体攻克简化版欧拉方程，证明有限时间奇点存在
- 后 38 小时：扩容到上万智能体，把欧拉方程结论推广到完整纳维 – 斯托克斯方程
- 验证阶段：GPT-6 Astra 做 Lean 形式化证明，机器逐条校验推导逻辑
行业争议重点
- 数学界尚未完全认可：克雷数学研究所目前仍然标记该问题为未解决，论文需要漫长同行评审，才能正式认定为千禧难题解。
- 学术优先权争议：纽约大学数学家 Buckmaster 质疑 OpenAI 知晓其团队研究路线后算力抢跑；OpenAI 否认看过对方未公开研究，称证明构造不一样。菲尔兹奖得主陶哲轩也发声，警惕 AI 抢跑造成前沿数学选题枯竭。
- 意义边界：这次不是大模型 “灵光一闪独立推导”，是大规模多智能体分工协作：分组探索、检索文献、写代码验证、互相辩论纠错，是 AI 团队作战的里程碑，不等于 AI 取代数学家。
一句话总结
上万 AI 智能体 88 小时，给出 NS 千禧难题其中一个分支方向的证明，公开可机器核验的完整推导；但成果仍等待数学界同行评议，学术界爆发科研优先权大讨论。
