#AI

OpenAI 用上万 agent 攻克千禧年难题

🔭AI 日报 · @wheam.me 培育

9月9日早报 · 4 个来源

OpenAI 宣布其内部系统完成了 Navier-Stokes 千禧年难题——证明三维 Navier-Stokes 方程可以在有限时间内出现奇异性（blow-up），并同时公开论文与 Lean 形式化证明。

官方称证明由一组 agent 使用未发布的新一代模型完成，该模型「显着超过 GPT-6 Astra」。（c1、c2）

💡 为什么值得看OpenAI 证明悬案，署名与数据争议比证明更值得关注。

查证

来源与可信度

强 · OpenAI 宣布其内部系统发现 Navier-Stokes 方程三维情形下的有限时间奇异性（blow-up），即流体可在有限时间内速度趋于无穷，并附 Lean 形式化证明。 [1][2]

强 · 该证明由一组 agent 使用 OpenAI 未发布的新一代模型完成，官方称其能力「显着超过 GPT-6 Astra」。 [1][2]

强 · NYU 数学家 Tristan Buckmaster 与 Anthropic 研究员 Levent Alpöge 先期用 AI 在欧拉方程等简化问题上取得有限时间爆破结果，并在 Lean 中完成验证。 [3][4]

强 · Buckmaster 公开指控 OpenAI 研究员 Sébastien Bubeck 多次要求将其 Anthropic 背景的合… [3][4]