OpenAI用万级AI智能体攻克纳维-斯托克斯千年难题

当地时间9月8日，OpenAI宣布解决纳维-斯托克斯存在性与光滑性问题（Navier-Stokes existence and smoothness），这是七大千禧年大奖难题之一。光滑的三维流体运动是否会「破裂」，这个困扰数学界约90年的问题，首次被AI智能体给出解析证明。

万级智能体协作，88小时完成证明

据OpenAI披露，这一成果由其下一代内部模型驱动，并调用约一万个协调运作的AI智能体，在88小时内完成。系统不仅输出了可阅读的解析证明，还同步生成了Lean形式化验证，使结论可被机器严格检验。OpenAI明确表示，该内部模型能力显著强于已发布的GPT-6 Astra。

• 参与智能体规模：约一万个
• 耗时：88小时
• 验证方式：解析证明 + Lean形式化
• 模型水平：强于GPT-6 Astra

证明揭示了什么

结论显示，描述流体运动的纳维-斯托克斯方程，其动力学演化可在有限时间内形成奇点（singularity）。OpenAI给出的解是一个涡旋——旋转的流体漩涡向内盘旋、逐渐拉长，如同被拉成意大利面一般。团队表示，不打算为这一结果申领千禧年大奖。

对AI科研的启示

这是AI从「生成内容」迈向「严格科学发现」的标志性一步。当智能体不仅能答题，还能提出并验证数学猜想，科研范式正在被重写。

FAQ

Q1：纳维-斯托克斯问题到底难在哪？

它探讨三维不可压缩流体的运动方程是否存在始终光滑的解。若会出现「破裂」，则意味着现实流体可能在某些条件下失去可预测性，是数学与物理交叉的核心难题。

Q2：AI智能体是如何参与证明的？

OpenAI使用一个能力超越GPT-6 Astra的下一代内部模型，调度约一万个AI智能体分工协作，完成推导、检验与形式化，全程耗时88小时。

Q3：普通人需要关心这件事吗？

虽然证明本身高度专业，但它预示着AI正进入严谨科学发现的新阶段，未来在材料、气象、流体工程等领域都可能加速突破。

Q4：OpenAI会因此拿奖吗？

OpenAI已明确表示，不打算为这一结果申领千禧年大奖，重点在于验证AI从事尖端科学发现的能力。