OpenAI 宣称证明 Navier-Stokes 并称第二个千禧难题获实质进展

OpenAI 宣称已解决七大千禧年大奖难题之一的 Navier-Stokes 方程问题，并表示在另一个千禧难题上取得实质性进展，相关成果「正在斟酌如何妥善分享」。证明由约 1 万个 agent 组成的集群产出 forced blowup（强制爆破）构造，并附带 Lean 4 机器可验证的形式化证明；据 John D. Cook 估算，该形式化验证仅耗时约 17 小时，远低于传统人工形式化的速度。NYT 报道披露 OpenAI 抢先于 NYU 数学家 Tristan Buckmaster 团队发布了结果。

已确认

• OpenAI 在周三晚间声明及对《纽约时报》的表态中称，已完成 Navier-Stokes 存在性与光滑性问题的证明，并在另一个未指明的千禧年大奖难题上取得实质性进展，正考虑如何公布
• 证明以约 1 万个 agent 集群产出 forced blowup 构造，涡旋不断加速旋转并向极小区域坍缩，总动能保持有界，同时发布 Lean 4 形式化证明（验证约 17 小时）
• 《纽约时报》报道，NYU 的 Tristan Buckmaster 与合作者整个 8 月在 Navier-Stokes 上取得重大进展，但 OpenAI 在不到一周内抢先公布；Buckmaster 与 Levent Alpöge 的独立工作同样重度依赖 Lean 验证
• Clay 研究所七大千禧难题每个悬赏 100 万美元，庞加莱猜想已被解决

尚未确认

• 第二个千禧难题具体是哪一道、成果内容如何，OpenAI 均未披露
• 网友 ChrisGPT 分析称 OpenAI 内部模型给出了解的构造性证明且经得起推敲，但这属于个人观点，仍待官方审核流程
• 用户 l4rz 转述匿名帖称该证明本质是「逆问题」解法：先选定平均流、反推所需应力、再构造振荡解；其真实性无法核实
• 围绕构造的争议：被引用的分析指出 OpenAI 用特制光滑外力驱动有限时间奇点，并论证这符合 Clay 陈述中 C、D 两种允许受力的破裂情形，但若验证不通过则不算真正解开原题

为什么重要

• 若证明成立，这将是 AI 系统攻克顶级数学难题的标志性案例，直接关联递归自我改进讨论：Andy Masley 等人认为 AI 若能持续解千禧难题，将同样加速 AI 研究本身；robleclerc 则反问，能解千禧难题的 AI 也应能缓解 AI 安全风险
• Lance Fortnow 与 Csaba Szepesvari 均注意到两组 Navier-Stokes 工作都重度依赖 Lean 形式化，讨论这是否会成为数学发表的新门槛
• 数学界反应分化：PDE 分析师 Scott Armstrong 以社区口吻「求饶」，调侃组合数学等其他领域将被逐一「针对」

2026-09-10 ~ 2026-09-11 · 21 条相关

事件全程(共 7 集)→

• 第 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 千级 Agent 攻克多个千禧年大奖难题(2026-09-10,27 条)
• 第 5 集:OpenAI 宣称证明 Navier-Stokes 并称第二个千禧难题获实质进展(2026-09-10,21 条)
• 第 6 集:AI 数学圈热议：千禧年大奖难题或终将失守(2026-09-11,2 条)
• 第 7 集:传 OpenAI 用内部模型冲击黎曼猜想与 P vs NP(2026-09-11,4 条)

• OpenAI 与 Alpöge-Buckmaster 攻克 Navier-Stokes 都重度依赖 Lean 形式化验证 — fortnow · 2026-09-10
• OpenAI 与 Navier-Stokes 证明都靠 Lean 验证，学界争论成新门槛？ — CsabaSzepesvari · 2026-09-10
• OpenAI 宣布攻克 Navier-Stokes,再称另一道千禧年难题接近解决 — basedjensen · 2026-09-10
• OpenAI 宣称已解决千禧年大奖难题之一，正酝酿公布成果 — ilkamoi · 2026-09-11
• 纳维-斯托克斯之后又一千禧年难题取得实质性进展 — soumitrashukla9 · 2026-09-11
• 曝 OpenAI 五日内又攻下千禧年难题:霍奇猜想进展获官方确认 — AI寒武纪 · 2026-09-11
• AI 都能攻千禧年难题了，还治不了 AI 自身的风险？ — robleclerc · 2026-09-11
• OpenAI 证实攻坚第二个千禧年大奖难题,递归自我改进争论升温 — AndyMasley · 2026-09-11
• NYT：OpenAI 自称在第二个千禧年大奖难题上取得实质进展 — rohanpaul_ai · 2026-09-11
• PDE 数学家喊话 OpenAI:别再解千禧年难题了,轮到代数几何吧 — jasondeanlee · 2026-09-11
• OpenAI 构造湍流解证明 Navier-Stokes 有限时间爆破，GPT-6 辅以 Lean 验证 — burny_tech · 2026-09-11
• OpenAI 纳维-斯托克斯证明：Lean 4 验证仅 17 小时 — jedisct1 · 2026-09-11
• ChatGPT 五月就猜中：下一个被解的千禧难题是 Navier-Stokes — Alert_Cookie_633 · 2026-09-11
• OpenAI Navier–Stokes 尝试引争议：外部受力构造是否算解开千禧难题 — basedjensen · 2026-09-11
• 曝 OpenAI 已证纳维-斯托克斯千禧难题？匿名帖称是「逆问题」解法 — l4rz · 2026-09-11
• 【源头】OpenAI 称万级 agent 集群产出 Navier-Stokes 强制爆破证明并完成 Lean 形式化 — thursdai_pod · 2026-09-11

另有 5 条近重复转述:socoolandawesome · Dr_Singularity · Dr_Singularity · rohanpaul_ai · QuintinPope5