标题：一万个 AI 分身耗时 88 小时冲击纳维 - 斯托克斯千禧难题，奥特曼连续熬夜，OpenAI 放弃申领百万奖金
OpenAI 对外披露，动用大约一万个 AI 智能体并行协作，连续跑满 88 小时，产出纳维‑斯托克斯存在性与光滑性问题的候选证明，这是克雷数学研究所七大千禧难题之一，悬赏奖金 100 万美元；奥特曼在项目攻坚阶段连续两晚没有休息跟进进展，但 OpenAI 已经明确表态不会去申领这笔百万奖金，成果同步放出 166 页论文以及 Lean 形式化验证代码，不过整套证明还需要全球数学家独立复核确认，同时这件事也在数学圈掀起不小争议，有学者质疑这套证明参考、接触到了还没公开发表的同类研究。纳维‑斯托克斯方程用来描述流体运动，这个悬置近九十年的核心疑问，就是三维光滑流体在特定条件下会不会在有限时间产生奇点、流速趋于无穷；OpenAI 这次没有选择证明无外力场景，而是走题目里 C、D 分支，构造一组光滑外力，让原本平滑的流体演化在有限时间失效。支撑这套推演的不是对外发布的 GPT‑6 Astra，而是一款能力更强的内部未公开模型，一万个智能体各自分配不同推理方向、互相传递中间结论、检索资料、跑验证代码，88 小时拿到证明初稿之后，又额外花 17 小时完成 Lean 的形式化校验，整个项目算力成本估算达到数百万美元，远超悬赏奖金本身。
一、项目基础信息清单
- 目标难题：纳维‑斯托克斯存在性与光滑性（千禧大奖难题）
- 智能体规模：约 10000 个 AI Agent（AI 分身）协同
- 主推演时长：88 小时
- 后续形式化验证：额外 17 小时，使用 Lean
- 配套产出：166 页完整论文 + Lean 可复现验证代码
- 底层模型：内部下一代模型，能力显著高于 GPT‑6 Astra
- 奖金规则：克雷研究所设置奖金 100 万美元，OpenAI 放弃申领
- 攻坚细节：Sam Altman 在攻关阶段连续两夜跟进项目，没有入睡
- 官宣时间：当地时间 2026‑09‑08，OpenAI 官方博客发布
二、AI 分身协作的运行逻辑
- 任务拆分分发：主模型把大证明拆成大量子目标，分给上万个独立 Agent，不同分身选择不同证明路径，避免全部挤在同一个思路。
- 信息互通迭代：智能体之间可以互相传递引理、中间推导、反例猜想，全程产生数百万条交互消息，大量 token 用于推理和校验。
- 检索与试错：Agent 可以检索已有的数学文献、运行代码验证小命题，遇到矛盾就放弃当前分支，切换别的路线。
- 汇总收敛：大量并行方向持续淘汰无效路径，最后收敛出一套完整链式证明。
- 机器形式化：得到自然语言版本之后，再转入 Lean，把全部推导转换成机器可核验的严谨形式证明，降低人为疏漏。
三、核心结论与边界说明
OpenAI 这套成果的结论：在存在处处光滑外力的前提下，初始静止、光滑的三维不可压缩流体，可以在有限时间内产生奇点，流体速度无界增长，但整体动能保持有限。
这里有一个很关键的边界：它并没有解决大家最常讨论的 “无外力” 版本，只是完成题目允许的分支构造，不能直接等同于完整拿下大众想象里的全部命题；最终能不能拿到克雷研究所官方认可，取决于独立数学家长时间复核，目前只属于 OpenAI 自证发布的候选证明。
四、各方立场对照简表
| 主体 | 核心立场 | 关注点 |
|---|---|---|
| OpenAI | 发布候选证明，公开论文与 Lean 代码，放弃百万奖金 | 展示大规模多智能体科学推理能力，铺垫下一代模型能力 |
| 奥特曼 | 深度跟进攻坚，连续熬夜盯进度 | 看重 AI 自主推进前沿数学猜想的里程碑意义 |
| 部分数学家 | 质疑 AI 可能接触未公开的同类研究，存在成果争议 | 学术归属、是否属于独立原创证明 |
| 克雷数学研究所 | 暂未给出官方认定结果 | 需要满足严格独立核验流程才会颁奖 |
五、当前存在的争议点
第一是原创性争议，纽约大学数学家 Tristan Buckmaster 团队同期也在研究相近方向，怀疑 OpenAI 的系统访问到他们还没有对外公开的研究内容；第二是证明边界，很多人容易误解为彻底解决纳维‑斯托克斯全部版本，实际上只覆盖带光滑外力这个分支；第三是机器证明的可读性，虽然 Lean 可以核验步骤，但是人类专家读懂整套论证依然需要很长周期；第四是算力代价，数百万美元算力投入，本身已经远远高于 100 万奖金，这也是 OpenAI 不愿意申领奖金的原因之一。
六、这件事带来的行业信号
它代表大规模异构智能体集群已经可以尝试进攻长期悬而未决的纯数学猜想，不再局限于做题、辅助推导；但同时也暴露新问题：多智能体推理的溯源困难、学术成果归属、机器证明的同行评审机制。如果这份证明后续通过独立复核，会成为 AI 独立攻克顶级开放数学难题的标志性事件，改变理论数学、科学计算的研发范式。
【常见问题】
问题 1：一万个 AI 分身 88 小时攻下千禧难题，这次挑战的是哪一道数学题，奖金多少？
回答 1：一万个 AI 分身 88 小时攻下千禧难题，目标是纳维‑斯托克斯存在性与光滑性难题，克雷数学研究所为这道千禧难题设置的悬赏奖金为 100 万美元，OpenAI 已经明确不会申领这笔奖金。
问题 2：一万个 AI 分身 88 小时攻下千禧难题，奥特曼两夜没睡，他在项目里面承担什么角色？
回答 2：一万个 AI 分身 88 小时攻下千禧难题，奥特曼在项目攻坚阶段连续两晚没有休息跟进整套证明的推进进度，是项目高层的跟进者，证明主体由一万个协同 AI 智能体完成。
问题 3：一万个 AI 分身 88 小时攻下千禧难题，这套证明是不是已经被数学界正式认可？
回答 3：一万个 AI 分身 88 小时攻下千禧难题，目前只是 OpenAI 自行发布候选证明，附带论文与 Lean 形式代码，还需要全球独立数学家完成复核，克雷研究所也还没有给出官方认定。
问题 4：一万个 AI 分身 88 小时攻下千禧难题，这些 AI 分身是怎么协作完成证明的？
回答 4：一万个 AI 分身 88 小时攻下千禧难题，主模型把复杂证明拆成大量子任务分发，各个 AI 分身并行尝试不同推理路线、互相交换进展、检索文献、试错淘汰无效思路，收敛之后再用 Lean 做机器形式化校验。
【参考资料】
[2026-09-10]（AI 智能体八十八小时解出千禧年难题之一 引起 “抢发” 数学家成果争议）新华网
[2026-09-10]（AI 智慧體八十八小時解出千禧年難題之一）央视网
[2026-09-09]（OpenAI 宣布：用约 1 万个智能体 88 小时解决人类 90 年数学难题，计算成本达数百万美元）澎湃新闻
[2026-09-08]（On the Navier–Stokes Millennium Prize Problem）OpenAI 官方博客
[2026-09-10]（AI May Have Solved a Longstanding Math Problem With a Million-Dollar Prize）Smithsonian Magazine
【免责声明】
本文基于 OpenAI 官方发布、海内外科技媒体、学术媒体报道整理，不代表该数学证明已经通过克雷数学研究所正式认定；一万个 AI 分身 88 小时攻下千禧难题相关成果还处在同行评审阶段，学术争议、证明有效性有待持续验证；文中算力成本、攻坚细节来自公开转述，不构成 AI 科研能力、数学结论的背书。