OpenAI 万级 Agent 攻克 Navier-Stokes 始末

第 1 集 · OpenAI 万级 Agent 88 小时攻克 Navier-Stokes 千禧年难题(2026-09-09,10 条)

OpenAI 宣称其一个仍在训练中的内部模型（据 @r0ck3t23 转述强于市售的 GPT-6 Astra）动用约 1 万个相互协作的 AI agent，在 88 小时内解决了 Navier-Stokes 方程解的存在性与光滑性问题的两个关键界，全程执行前沿评估级别的安全监控与隔离措施。Ben Goertzel 撰文估计 OpenAI 为此投入了约 2200 万美元算力。这是 AI 系统首次大规模攻克顶级数学难题，标志着 AI 在深度科研上的能力跃迁，但目前仍以 OpenAI 单方面宣称为准。Two Minute Papers 已发布视频解读，OpenAI 官网开放了解法论文页面。

已确认

• OpenAI 官方透露：内部模型在 88 小时内解出 Navier-Stokes 问题，动用约 1 万个协作 agent，并声称在众多基准上实现「阶跃式」提升；解法论文已在官网开放。
• 问题的历史脉络：1934 年 Leray 证明弱解存在，但解是否保持光滑悬置 90 年；2000 年被 Clay 数学研究所列为百万美元悬赏的七大千禧年难题之一。Navier-Stokes 是流体运动方程，涉及机翼气流、血液流动、天气与海洋等现象。
• @bengoertzel 评述 OpenAI 投入约 2200 万美元算力用于此次求解。

时间线（据 @haider1 整理）

• 据称 8 月 28 日重启 RL 训练；开始 88 小时求解运行时，内部模型仅训练了 4 天。
• 9 月 1 日模型被派去攻千禧年大奖难题；一两天后团队切换到更好的 checkpoint，最终产出 Navier-Stokes 解答——此时模型的初始训练甚至尚未跑完。

尚未确认

• 内部模型的具体能力细节、与市售模型的差距，以及最终是否通过完整同行评议获得 Clay 奖金，均以 OpenAI 单方面宣称为准，尚待独立验证。

为什么重要

• @kacoef 指出这则新闻与 ZrTe₅ 量子实验突破暗藏同一套理论交点，暗示 AI 可能在多个前沿科学领域复用同一数学能力。
• @robleclerc 让 Grok 复盘后认为「作为数学终点并不意外」：Córdoba–Martínez–Zoroa 早已建立逐尺度放大加光滑外力的研究纲领，Alpög 等前人工作已铺路，AI 的成功是站在巨人肩膀上的必然一步，而非凭空创造。

• Grok 复盘 AI 攻克 Navier-Stokes:站在巨人肩膀上的必然一步 — robleclerc · 2026-09-09
• OpenAI 纳维-斯托克斯突破:模型仅训练 4 天就开跑 88 小时求解 — haider1 · 2026-09-09
• 曝 OpenAI 新模型 RL 仅两周:从重启训练到产出 Navier–Stokes 解 — haider1 · 2026-09-10
• 悬置 90 年的 Navier-Stokes 平滑性问题被 OpenAI 并行 agent 攻克 — r0ck3t23 · 2026-09-10
• OpenAI 内部模型 88 小时解出 Navier–Stokes,动用约 1 万个协作 Agent — TheMoonMidas · 2026-09-10
• 传 OpenAI 用 1 万个 agent 88 小时攻克纳维-斯托克斯难题 — r0ck3t23 · 2026-09-10
• OpenAI 发布 Navier-Stokes 方程解法,人类与 AI 联手攻克数学难题 — Two Minute Papers · 2026-09-10
• OpenAI 万级 Agent 攻克 Navier-Stokes 界，与 ZrTe₅ 量子实验暗藏同一套方程 — kacoef · 2026-09-10
• Goertzel 长文：OpenAI 用 2200 万美元算力求解 Navier-Stokes — bengoertzel · 2026-09-10
• OpenAI 万级 Agent 跑 88 小时,交出纳维-斯托克斯方程证明 — AGI Hunt · 2026-09-10

第 2 集 · 「存在性证明」效应：传闻可行就促 OpenAI 攻克难题(2026-09-09,3 条)

围绕 OpenAI 求解 Navier-Stokes 方程的讨论中，多位评论者提出「存在性证明」的观点：一旦知道某事可行，就会被迅速做成，正如四分钟一英里纪录被打破后纷纷有人跟进。有说法称 OpenAI 正是在听闻「这个问题可解」的网上传闻后才着手尝试。评论者认为 AI 将加速这一趋势——只要知道思路可行，攻克难题的速度就会大幅提升。

• 「网上有谣言说行」就够 AI 攻克难题，类比首个四分钟一英里 — toptickcrypto · 2026-09-09
• Navier-Stokes 争议启示:证明「可能」就够,AI 将加速复制奇迹 — paraschopra · 2026-09-09
• OpenAI 听闻传闻才挑战 Navier-Stokes:「存在性证明」驱动机器与人 — Jeande_d · 2026-09-10

第 3 集 · OpenAI 宣称攻克 Navier-Stokes，另一千禧年难题也有进展(2026-09-10,7 条)

OpenAI 在接受《纽约时报》采访及周三晚间声明中表示，已完成 Navier-Stokes 方程存在性与光滑性问题的证明，并称自该问题完成以来，已在另一个千禧年大奖难题上取得实质性进展，「正在斟酌如何以妥当方式分享这些结果」。这使 OpenAI 短时间内两度逼近克雷数学研究所悬赏的千禧年大奖难题，引发数学界与 AI 界高度关注。

已确认

• OpenAI 在《纽约时报》采访及声明中表示，已完成 Navier-Stokes 问题的证明，且在另一个千禧年难题上取得实质性进展，但尚未公布具体是哪一道题，只称正考虑如何「审慎地分享这些成果」。
• 据《纽约时报》报道，该项 Navier-Stokes 工作与 NYU 数学家 Tristan Buckmaster 及其合作者有关。
• 七大千禧年难题每道悬赏 100 万美元。

尚未确认

• 另一个取得进展的千禧年难题具体是哪一道，OpenAI 未披露。
• Navier-Stokes 证明本身尚未经过公开的完整同行评审，其数学正确性仍待确认。
• 据 @basedjensen 转述的报道，8 月 Buckmaster 与合作者取得重大进展后，OpenAI 在不到一周内抢先公布答案；@socoolandawesome 也指出外界对 Levent/Buckmaster 相关工作的归属与学术流程存在质疑，具体争议细节尚待核实。

为什么重要

• 千禧年大奖难题是数学界最高难度的问题之一，AI 实验室介入并宣称攻克，可能重塑数学研究与 AI 能力评估的格局。@DrSingularity 据此预测至少 3 个千禧年难题可能被陆续解决。
• 抢先公布合作者成果的做法若属实，将引发关于学术信用分配与 AI 实验室行为规范的讨论。
• @robleclerc 从另一角度发问：如果 AI 能解决长期悬而未决的数学难题，就没有理由认为 AI 无法缓解 AI 自身安全的最坏风险——这一论证也为「AI 安全难以研究」的说法提供了反驳。

• OpenAI 宣布攻克 Navier-Stokes,再称另一道千禧年难题接近解决 — basedjensen · 2026-09-10
• OpenAI 宣称已解决千禧年大奖难题之一，正酝酿公布成果 — ilkamoi · 2026-09-11
• OpenAI 逼近攻克千禧年大奖:Navier-Stokes 数学突破引发争议 — socoolandawesome · 2026-09-11
• OpenAI 称已解决 Navier-Stokes，另一千禧年难题也有大进展 — Dr_Singularity · 2026-09-11
• OpenAI 称已解决纳维-斯托克斯问题,另一难题有重大进展 — Dr_Singularity · 2026-09-11
• 纳维-斯托克斯之后又一千禧年难题取得实质性进展 — soumitrashukla9 · 2026-09-11
• AI 都能攻千禧年难题了，还治不了 AI 自身的风险？ — robleclerc · 2026-09-11