OpenAI 宣布多智能体给出 Navier-Stokes 千禧年难题证明

lateinteraction · x · 2026-09-09

OpenAI 官宣：其系统给出纳维-斯托克斯方程（Navier-Stokes）千禧年大奖难题的一个解答。该问题关乎三维光滑流体运动的数学描述是否会出现爆破（breakdown），已悬置约 90 年，是数学最前沿的深层难题之一。

OpenAI 称该证明由一组 agent 产出，底层是一个「能力显著超过 GPT-6 Astra」的下一代模型。若经数学界验证成立，将是 AI for Mathematics 的里程碑事件；目前证明仍待同行检验，x 上的数学圈已在激烈争论（如 jacobli99 转发引来的讨论）。