OpenAI 用约 1 万个 AI 智能体、88 小时给出「纳维-斯托克斯」千年数学难题解答

发生了什么

9月8日，OpenAI 宣布其内部 AI 系统给出了「纳维-斯托克斯方程存在性与光滑性」问题的解答，并公开了论文和 Lean 形式化证明。纳维-斯托克斯方程是描述水、空气等流体运动的基础方程，也是克雷数学研究所 2000 年公布的 7 个「千禧年大奖难题」之一（每题奖金 100 万美元）。OpenAI 的构造是：一种从静止、平滑状态出发、施加平滑外力后，在有限时间内出现「奇点」（局部流速变得无界、但总能量保持有限）的流体运动——这对应官方问题表述里的 C、D 两项。整个攻关由约 1 万个并发 AI 智能体完成，耗时约 88 小时，Lean 形式化与验证又用了 17 小时；过程中智能体收发约 490 万条消息、消耗约 3000 亿输出 token。OpenAI 强调这只是展示 AI 进展，不申领那 100 万美元奖金。

对我有什么用

这是「AI 做前沿数学/科研」迄今最硬核的一次公开演示：不是一个模型灵光一现，而是一大群智能体分工协作、跑代码、查资料、互相印证，最终产出一份机器可验证的证明。它说明 AI 的能力边界正在从「聊天写稿」跨到「攻人类几十年没啃下的基础科学难题」。不过也要冷静看：① 克莱数学研究所目前仍把该问题列为「未解决」，最终要等数学家逐行审查；② 学界已有争议——纽约大学数学家 Tristan Buckmaster 质疑 OpenAI 在获悉他与同行的技术路线后「抢跑」跑通形式化证明，OpenAI 否认，称双方最终证明明显不同；菲尔兹奖得主陶哲轩则提醒「AI 抢跑」正把开放问题变成稀缺资源。

我可以怎么做

这件事对普通人不是「马上能用的功能」，但有两个信号值得记：① 看趋势——AI 正在接管高难度的科研与工程推理，未来你用的写代码、做数据分析、出方案的工具，底层会越来越「聪明」，复杂活交出去更放心；② 看方法——这次证明用了 Lean「机器核验」，意味着 AI 产出的答案可以更可验证、更少胡说，这对以后医疗、法律、金融等容错率低的场景是好事。想凑热闹的，可以去 OpenAI 官方博客看他们放出的证明和 Lean 文件（Apache-2.0，懂行的人现在就能自己复验）。

温馨提醒

① 这是 OpenAI 内部未发布模型（官方称强于 GPT-6 Astra）的成果，不是你现在能调用的产品；② 数学界尚未背书，证明真伪要等专家审完，别当成「已被确认解决」；③ 争议点在「谁先想到方法、是否不当利用他人未公开研究」，提醒我们 AI 竞赛里「 authorship（署名/原创性）」问题会越来越敏感；④ 报道里提到的天价算力消耗（有媒体估算数千万美元级）说明这类突破目前极贵，离普及还很远。