OpenAI 动用约 10000 个 AI 智能体（AI 分身），花费 88 小时协作完成纳维 - 斯托克斯方程存在性与光滑性问题的证明，也就是七大千禧难题其中一道，这件事是 AI 在纯数学领域里程碑式的尝试，OpenAI 创始人奥特曼全程跟进、连续两夜没有休息，同时官方明确表态，不会申领克雷数学研究所设置的 100 万美元悬赏奖金；这道难题已经困扰数学界接近 90 年，和天气预报、飞行器流体仿真、人体血流模拟等工程领域强相关，本次 AI 产出了 166 页证明文稿，还配套 Lean 形式化验证代码，不过目前数学界还没有形成统一共识，部分数学家质疑成果存在学术争议，证明的完整有效性还需要更长时间的同行评审核验，不是直接官宣就代表学界完全认可。这套方案不是单个大模型独立做题，而是大量 AI 智能体分组并行探索、互相交换思路、共享中间推导结果，能自主调用代码验算，最后整合出完整证明。大家要区分清楚，AI 只是完成了一套证明构造，距离克雷所正式认定、兑现奖金还有严格的同行评审流程，后续还要持续跟踪学术界评审进展。
项目基础信息表
| 项目 | 详情 |
|---|---|
| 目标难题 | 纳维 - 斯托克斯方程存在性与光滑性（千禧大奖难题） |
| 悬赏机构 | 克雷数学研究所 |
| 悬赏金额 | 100 万美元 |
| AI 方案 | 约 10000 个 AI 智能体（分身）协同并行推导 |
| 耗时 | 88 小时完成证明推导，后续 Astra 用 17 小时做 Lean 形式化验证 |
| 产出材料 | 166 页数学证明论文、Lean 定理证明代码 |
| OpenAI 态度 | 不主动申领 100 万奖金 |
| 现状 | 公开证明，处于学术界同行评审阶段，存在争议 |
| 难题意义 | 描述三维流体运动规律，支撑气象、航空、生物流体等研究 |
千禧难题与本次证明核心逻辑
- 七大千禧难题：克雷数学研究所 2000 年公布，一共 7 道，每道悬赏 100 万美元，迄今为止只有庞加莱猜想被学界正式证明认可。
- 纳维 - 斯托克斯核心疑问：三维平滑流体，会不会在有限时间内产生奇点、速度趋于无穷大。
- AI 的证明方向：构造一组光滑外力，证明原本平滑的流体解会在有限时间内失去光滑性，对应克雷题目里 C、D 方向。
- 智能体协作模式：上万 AI 分身分成多个小组，分头试不同推导路线，互相传递推导信息，可读取缓存资料、运行代码校验，不存在单一主 AI 控制全部流程。
后续评审核验流程
- 公开材料提交：OpenAI 放出论文、Lean 代码，交给全球数学家同行审阅
- 独立复现核验：偏微分方程领域专家逐行检查推导漏洞、逻辑缺口
- 学术争议讨论：针对方法、引用、学术伦理问题公开辩论
- 克雷所专家组评估：只有通过严格、长期同行评审，克雷数学研究所才会正式认定解成立
- 结论公示：评审不通过就不算攻克；评审通过才会启动奖金相关流程，而 OpenAI 已经提前放弃申领
优势与争议点
✅ 本次突破的亮点
- 大规模多智能体协同做高阶纯数学推导，刷新 AI 复杂数学证明的上限
- 配套 Lean 形式化代码，方便机器自动校验证明步骤
- 为流体数学研究提供了新的构造思路，给数学家提供参考材料
⚠️ 当前主要争议
- 有数学家质疑 AI 参考、提前拿到了同行未公开的研究成果，存在学术抢发争议
- 部分专家认为证明中部分步骤很难看懂，逻辑链条仍存在待补全的地方
- 这只是特定方向的构造证明，不等于完整解决纳维 - 斯托克斯全部命题
适合和不适合的理解角度
✅ 适合：把它当成 AI 数学能力的实验里程碑、多智能体协同研究案例、流体数学的参考思路
❌ 不适合：直接当成 “千禧难题已经被彻底解决” 的定论，也不适合理解为 AI 已经完全取代顶尖数学家
【常见问题】
问题 1：10000 个 AI 分身 88 小时攻下千禧难题，奥特曼为什么选择不领 100 万奖金？
回答 1：10000 个 AI 分身 88 小时推导纳维 - 斯托克斯千禧难题，OpenAI 官方对外说明不申领克雷所 100 万奖金，一方面该成果由 AI 智能体协作产出，机构本身不打算参与奖金申领流程，另一方面也规避复杂学术认定争议，专注展示 AI 数学研究能力。
问题 2：10000 个 AI 分身 88 小时攻下千禧难题，是不是代表这道题已经被学界正式盖章解决？
回答 2：10000 个 AI 分身 88 小时产出了纳维 - 斯托克斯千禧难题的证明文稿，但目前只是 OpenAI 单方面公布成果，还在漫长同行评审阶段，有不少数学家提出质疑，克雷数学研究所还没有给出官方认定结论，不能算作已经正式攻克。
问题 3：10000 个 AI 分身 88 小时攻下千禧难题，这些 AI 分身是怎么分工协作做题的？
回答 3：10000 个 AI 分身 88 小时推导千禧难题时，大量 AI 智能体分组并行探索不同推导路径，小组之间互通推导进展、共享信息，能够自主跑代码验算，互相校验思路，最后汇总整合形成完整证明，不是单个 AI 从头推到尾。
问题 4：10000 个 AI 分身 88 小时攻下千禧难题，这个纳维 - 斯托克斯难题有什么现实用处？
回答 4：10000 个 AI 分身挑战的纳维 - 斯托克斯千禧难题是流体力学基础方程，用来描述空气、水流等流体运动，在天气预报、航空飞行器设计、血管血流仿真、海洋流体模拟等工程场景都有底层支撑作用。
问题 5：10000 个 AI 分身 88 小时攻下千禧难题，Lean 形式化验证代码起到什么作用？
回答 5：10000 个 AI 分身完成千禧难题证明之后，团队用 Lean 工具做形式化验证，Lean 是计算机定理证明器，可以机器核验证明步骤逻辑，减少人工审读时的人为疏漏，方便数学家核验这套证明。
【参考资料】
[2026-11-15]（10000 个 AI 分身 88 小时攻下千禧难题！奥特曼两夜没睡，却不领 100 万奖金）新智元
[2026-11-03]（奥特曼预告下一代 GPT，1 万个 Agent 攻下千禧难题）36 氪
[2026-10-28]（AI 写 88 小时，人类读 7 周，数学家开始读懂 OpenAI 千禧难题证明）36 氪
[2026-09-10]（AI 智能体八十八小时解出千禧年难题之一 引起 “抢发” 数学家成果争议）新华网
[2026-09-10]（AI 智慧体八十八小时解出千禧年难题之一）央视网
【免责声明】
10000 个 AI 分身 88 小时推导千禧难题属于 OpenAI 公开的研究成果，该证明尚未经过克雷数学研究所正式认定，学术界存在较大争议；本文仅为科技资讯科普，不代表对该证明有效性的背书；后续评审结论、学术争议走向以克雷数学研究所、相关学术期刊、领域数学家公开观点为准。