OpenAI 模型提出纳维–斯托克斯问题解法，AI 破解千禧年难题

2026-09-08 · 来源：OpenAI 官方

OpenAI 于 2026 年 9 月 8 日公开了一项由 AI 生成的纳维–斯托克斯（Navier-Stokes）千禧年大奖难题解法，并附带相关论文与 Lean 形式化证明。

纳维–斯托克斯方程是描述流体运动的基本方程，其解的存在性与光滑性问题被列为七大千禧年难题之一。OpenAI 表示，这一结果展示了 AI 在数学与物理前沿研究中的潜力。

需要注意的是，该解法仍需经过严格的学术同行评审验证。但无论最终结论如何，这都意味着 AI 正在从「辅助工具」走向「参与提出与证明科学结论」的深度研究者角色。

—— 内容整理自公开报道，版权归原作者与来源机构所有。