OpenAI 内部大模型 88 小时攻克千禧年难题，1 万个 AI 智能体协同求解

当地时间 9 月 8 日，OpenAI 公布了一项重磅成果：一款尚未对外发布、数学能力优于 GPT 6 Astra 的内部大模型，借助约 1 万个 AI 智能体协同运算，仅用 88 小时就解决了七大千禧年难题之一的纳维 斯托克斯方程存在性与光滑性问题。

纳维 斯托克斯问题是克雷数学研究所在 2000 年提出的七大千禧年大奖难题之一，单项悬赏奖金 100 万美元，这道题已经困扰数学界近 90 年。该方程是刻画流体运动的基础方程，在气象预测、飞行器研发、流体仿真等领域有广泛现实应用。问题的核心命题是：当流体初始状态足够平滑、总动能有限时，流体速度是否会在有限时间内趋于无穷，也就是出现爆破奇点。OpenAI 此次得出的结论是，这类爆破奇点可以存在。

整套研究分为两个阶段：1 万个智能体先并行开展探索，耗时 88 小时梳理出核心证明思路；随后再投入 17 小时，借助 Lean 形式化证明系统完成严谨校验，并同步对外发布 165 页研究论文与配套形式化代码。

求解环节本身就烧掉了约 1300 亿 token，而整个项目的 token 消耗接近 3000 亿，投入成本达到数百万美元。这样的规模，也从侧面印证了“让大量智能体协同攻坚”这条路线的高昂代价。

不过，目前不少顶尖数学家对这份证明提出了质疑，围绕证明逻辑、成果归属出现了不同观点，同时还存在相关前期研究的版权争议，该成果也尚未获得克雷数学研究所的公开认可。AI 能否真正在基础数学领域取得被学界普遍接受的突破，仍有待时间检验。

值得关注的是，这次尝试验证了“多智能体并行探索加形式化校验”的可行性路径，也把算力成本推向了一个新的量级。当单个数学难题的求解开销达到数百万美元，AI 在基础科学领域的投入产出比与可复现性，将成为下一阶段讨论的核心议题。

文章与图片内容转载网络，如有侵权请联系平台删除