OpenAI 万级 Agent 宣称破解 Navier-Stokes 难题，数学界争议发酵

OpenAI 宣布由约 1 万个自主 AI Agent 组成的群体在未公开的先进模型上运行 88 小时，在三维 Navier-Stokes 方程中找到「blowup」奇点，并用 Lean 完成形式化证明，宣称解决这一悬置约 90 年、悬赏百万美元的千禧年大奖难题。消息公布后在数学界与 AI 社区引发激烈争议，专业数学家态度明显分化，信用争端持续升级，成果的完整数学有效性仍待学界独立验证。无论最终结论如何，此事已成为 AI 辅助数学研究与 AI 能力宣传争议的标志性事件。

已确认

• OpenAI 官方宣布给出 Navier-Stokes 千禧年大奖难题的一个解，证明由 Agent 群体完成并在 Lean 中形式化（@dlweekly，据 Quanta Magazine 报道）；OpenAI 总裁 Greg Brockman 称模型找到了使方程「爆掉」的反例，即构造出解发生爆破的情形（@victorexplore）
• Reddit 讨论梳理了结果的真实含义：该难题未解部分正是「光滑 3D 流体是否会发展出奇点」，OpenAI 声称其 Agent 群体通过分工尝试、互相共享发现，最终证明奇点可在有限时间内形成（@erdematar）
• 规模数据：约 1 万个并发 Agent、运行 88 小时、交换 270 万条消息、消耗约 1300 亿 token（@HealthyOutcome7897）
• 据《卫报》报道，OpenAI 投入约 1 万个自主 Agent 攻坚，据估算花费约 1500 万美元（@nordicinst；其帖题中「1.5 亿美元」与正文「1500 万美元」不一致，存疑）
• 争端升级：@CiccioPixel 报道，NYU 数学家 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 宣布在同一问题（解的存在性与光滑性）上取得进展，据称 25 位菲尔兹奖得主联名抗议，认为 OpenAI 抢跑宣称攻克该难题，双方爆发信用争端
• 数学家 Scott Armstrong 回应针对该 blowup 构造的质疑，称这是巨大的贡献：PDE 分析学者需要数周到一个月才能真正理解，一旦有人消化并改写成可读形式，人类对这组重要方程的理解将首次滞后于机器证明（@tszzl、@geoffolfe 转发）

尚未确认

• 具体花费金额在不同帖文口径不一（1500 万美元 vs 1.5 亿美元）
• 所用模型未公开，成果的完整数学有效性尚待学界独立验证
• 25 位菲尔兹奖得主联名抗议与 Buckmaster、Alpöge 的进展细节目前仅见单一帖文转述，尚待更多一手信源佐证

为什么重要

• 围绕「证明出自谁手」的信任机制争论成为焦点：评论人 @skdh 与 @kareemcarr 的讨论指出，如果这份证明由一位无名数学家匿名发布，舆论大概率会当作重大突破去认真分析，而非纷纷写「数学已死」的故事——批评者针对的未必是证明本身，而是发布主体。@skdh 还转述物理学家 Sabine Hossenfelder 的质疑：50 万行组织混乱、毫无直觉可言的 AI 证明，没有人会去逐行验证
• 一位 NYU 教授对 OpenAI 成果的表述与实际含金量公开表达不满，Fireship 新视频拆解了双方论点与「AI 解数学题」宣传口径的争议；而 Armstrong 的正面评价与菲尔兹奖得主联名抗议显示专业数学界内部态度严重分裂
• @HealthyOutcome7897 认为宣传夸大了前沿模型的真实能力：这不是单个模型的灵光一现，而是工业级树搜索
• @pstAsiatech 指出此事无需数学背景也能理解：它证明 AI 进展正在加速，同时带来令人担忧的风险面，构成加速与风险并存的双面叙事
• @arvolog 转述的 Reddit 讨论显示，这一突破已引发从业者焦虑：有用户将其类比 2016 年 AlphaGo 战胜李世石，怀疑现在认真学 AI 是否已经太晚
• 若成果最终成立，将是 AI 辅助数学研究的标志性案例，且如 Armstrong 所言可能是百年级贡献；若宣传失实，则不仅加剧公众对 AI 能力宣传的不信任，还将损害 OpenAI 与数学界之间的信任

2026-09-12 ~ 2026-09-13 · 15 条相关

事件全程(共 19 集)→

• 第 1 集:传言称 GPT-6 攻克纳维-斯托克斯难题，可信度存疑(2026-09-05,2 条)
• 第 2 集:OpenAI 万个 Agent 88 小时宣称破解 Navier-Stokes 难题(2026-09-09,13 条)
• 第 3 集:「存在性证明」效应：传闻可行就促 OpenAI 攻克难题(2026-09-09,3 条)
• 第 4 集:OpenAI 被指窃取数学家在研证明成果引风波(2026-09-09,6 条)
• 第 5 集:Anthropic 数学证明与合作抢跑争议持续发酵(2026-09-09,2 条)
• 第 6 集:传闻：OpenAI 逼近 Hodge 与 BSD 猜想，千禧难题或被连破(2026-09-10,27 条)
• 第 7 集:OpenAI 宣称攻克 Navier-Stokes，另一千禧难题亦有进展(2026-09-10,21 条)
• 第 8 集:数学家 Thom 指控 OpenAI 用其未发表研究训练 Astra，OpenAI 否认(2026-09-10,9 条)
• 第 9 集:纳维-斯托克斯成果署名争议发酵，AI 实验室抢发文化遭批评(2026-09-10,6 条)
• 第 10 集:OpenAI 否认 Codex 提示词影响训练，「窃取私聊数据」指控被指无据(2026-09-11,8 条)
• 第 11 集:OpenAI 千禧年大奖证明陷署名与抢发争议(2026-09-11,10 条)
• 第 12 集:AI 数学圈热议：千禧年大奖难题或终将失守(2026-09-11,2 条)
• 第 13 集:OpenAI 攻破千禧年难题后数学圈激辩 AI 价值(2026-09-11,8 条)
• 第 14 集:传 OpenAI 用内部模型冲击黎曼猜想与 P vs NP(2026-09-11,7 条)
• 第 15 集:OpenAI 纳维-斯托克斯证明复现通过但遭社区质疑(2026-09-11,2 条)
• 第 16 集:OpenAI 万级 Agent 宣称破解 Navier-Stokes 难题，数学界争议发酵(2026-09-12,15 条)
• 第 17 集:陶哲轩「不满AI解题」说法被指误读，数学价值之争引爆X(2026-09-12,18 条)
• 第 18 集:菲尔兹奖得主联名反对AI入数学，遭多方反驳(2026-09-12,4 条)
• 第 19 集:AI 攻克千禧年难题引数学界反弹(2026-09-13,2 条)

• OpenAI 宣称破解 90 年老难题,NYU 教授公开泼冷水 — Fireship · 2026-09-12
• AI 攻克千禧年数学难题：加速进展背后的双面叙事 — pstAsiatech · 2026-09-12
• Navier-Stokes 证明背后：1万 agent 跑88小时、1300亿 token — Healthy_Outcome7897 · 2026-09-12
• OpenAI 用1万个Agent烧1.5亿美元攻克千禧年数学难题 — nordicinst · 2026-09-12
• 【源头】OpenAI 万级 Agent 协作 88 小时,Lean 形式化证明 Navier-Stokes 奇点 — dl_weekly · 2026-09-13
• OpenAI 宣称用智能体群攻克悬置 90 年的纳维-斯托克斯难题 — CurieuxExplorer · 2026-09-13
• 「现在入行 AI 是否太晚」:OpenAI 攻克千禧年难题引发讨论 — arvolog · 2026-09-13
• 评论人：OpenAI 数学证明若出自无名数学家，舆论会是另一番景象 — skdh · 2026-09-13
• 数学家：OpenAI 的 Navier-Stokes 证明是百年级贡献，人类理解将首次滞后于机器证明 — tszzl · 2026-09-13
• OpenAI 疑抢跑千禧年大奖纳维-斯托克斯证明,25 位菲尔兹奖得主联名抗议 — CiccioPixel · 2026-09-13
• 【源头】OpenAI 宣称模型为千禧年难题 Navier-Stokes 构造反例 — victor_explore · 2026-09-13
• OpenAI Navier-Stokes 证明引争论:同样的证明匿名发布还会被认可吗 — kareem_carr · 2026-09-13
• 【源头】OpenAI 声称 AI 群体协作证明 Navier-Stokes 奇点可形成 — erdematar · 2026-09-13
• 物理学家吐槽：AI 五十万行证明零直觉，没人会去验证 — skdh · 2026-09-13

另有 1 条近重复转述:geoffwolfe