OpenAI 宣称解出 Navier–Stokes 爆破问题

OpenAI 宣布其 AI 智能体回答了悬置约 200 年的 Navier–Stokes 方程 blow-up 问题：描述流体运动的这组方程确实会在某些情况下爆破解，即流体局部无限加速，并附有机器可检验的 Lean 形式化证明。而 NYU 数学家 Tristan Buckmaster 用自费购买的 ChatGPT Codex 订阅、与 Anthropic 员工 Levent Alpöge 业余合作，早于 OpenAI 公告约 88 小时（8 月 15 日）取得结果。机器证明先行、人类理解滞后的新局面与数学界分化的反应，使该事件成为 AI 参与前沿数学的标志性节点。

已确认

• OpenAI 宣布其智能体构造出 Navier–Stokes 爆破解，并附有 Lean 形式化代码，论文宣称机器可检查（据 @thione 等转述）。
• 据 @rubenhassid 帖：Buckmaster 自费订阅 Codex，与 Levent Alpöge 合作于 8 月 15 日解出该问题，OpenAI 在约 88 小时后宣布解出；此事也引发对隐私与数据边界的质疑。
• PDE 学者 Scott Armstrong 认为，该证明确实混乱难读，但应能提炼出一个可理解、叙事有吸引力的证明；其 Lean 代码仓库行数超过他上一篇论文自己写的量（据 @RexDouglass 转发讨论）。
• 同周，25 位菲尔兹奖得主（含陶哲轩）联名发布《AI 在数学中的严重失配》声明；9 月 3 日 GPT-6 Astra 在 FrontierMath 基准上的表现引发关注（《华尔街日报》Ben Cohen 撰文，经 @新智元 转述）。

尚未确认

• 一位回应者（经 Adam Marblestone 转发、回应 Claude Fable《After Math》一文）亲自阅读 OpenAI 论文与 Lean 代码后，对「机器可检查的逻辑证明」与「人类可理解的数学」之间的落差提出质疑，相关评价仍在讨论中。
• Armstrong 估计人类数学家可能需要数周到一个月才能充分理解该证明，届时 Leray 瓶颈是否真正突破尚待验证（据 @soumitrashukla9 转述）。

为什么重要

• 若爆破构造成立并被人类消化，被困近百年的 Leray 瓶颈有望突破，这是 PDE 领域的重大贡献。
• 事件呈现「人类理解滞后于证明」的新局面：证明先由机器生成并形式化验证，人类数学家事后解读，可能改变数学研究的组织方式。
• 数学界反应分化——从乐观提炼可读证明，到 25 位菲尔兹奖得主联名表达对 AI 与数学失配的担忧——预示 AI 参与前沿数学将伴随持续的规范与信任之争。

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

事件全程(共 20 集)→

• 第 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,18 条)
• 第 17 集:陶哲轩被指不满AI解题遭误读，数学价值之争引爆X(2026-09-12,18 条)
• 第 18 集:菲尔兹奖得主AI公开信引跨学科激辩(2026-09-12,6 条)
• 第 19 集:OpenAI 宣称解出 Navier–Stokes 爆破问题(2026-09-13,8 条)
• 第 20 集:OpenAI 称万级 Agent 88 小时解 Navier-Stokes 难题(2026-09-14,11 条)

• 研究者评 OpenAI PDE 证明:乱但或可提炼出可读证明 — RexDouglass · 2026-09-13
• 【源头】GPT-6 拿下 FrontierMath、88小时攻纳维-斯托克斯，数学界集体反弹 — 新智元 · 2026-09-13
• 【源头】数学家用 Codex 攻克 Navier–Stokes，OpenAI 88 小时后也解出，隐私引质疑 — rubenhassid · 2026-09-13
• PDE 学者谈 OpenAI 构造 Navier-Stokes 爆破证明:人类理解从此滞后于证明 — soumitrashukla9 · 2026-09-14
• OpenAI 宣布 AI 智能体解开千禧年难题：Navier-Stokes 方程确会爆破解 — Chris_Armstrong · 2026-09-14
• OpenAI 纳维-斯托克斯证明遭质疑:机器可验但人类难懂 — scottleibrand · 2026-09-14
• 【源头】OpenAI 称内部系统解出 Navier–Stokes 千禧年难题并给出 Lean 证明 — thione · 2026-09-15

另有 1 条近重复转述:Chris_Armstrong