# OpenAI 用上万个 AI 智能体解出了一道千禧年数学难题

> 原标题：OpenAI宣布已解出一道“千禧年大奖难题”

- 来源：纽约时报中文网
- 发布时间：2026-09-09T06:37:01.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/55553
- 原文：https://cn.nytimes.com/technology/20260909/openai-proof-millennium-problem/

## 摘要

OpenAI 说他们用一个还没发布的模型，在 88 小时内解出了纳维-斯托克斯存在性与光滑性问题——这是七个千禧年大奖难题之一，之前二十多年只被解决了一个。具体做法是同时跑上万个 AI 智能体，让它们像一群分工协作的数学家一样干活，人类研究员则在各组之间传递关键想法，像蜜蜂授粉。最终证明用 Lean 语言写成，已经公开供外部审查。OpenAI 研究员 ...

## 推荐理由

OpenAI 声称用未发布模型解出了纳维-斯托克斯问题，这绝对是能震动整个行业的消息。88 小时、上万智能体协作、Lean 语言证明公开，信息密度很高，而且给出了可审查的路径。我会先打个折，因为证明还没通过外部同行评审，现在只能算 OpenAI 单方面宣布，所以重要性停在 88 分，等验证过了再往上调。

## 锐评

OpenAI 说他们解出了七大千禧年难题之一的纳维-斯托克斯存在性与光滑性问题，这是二十多年来第二个被宣称解决的。做法是同时跑上万个 AI 智能体，像一群分工协作的数学家一样干活，人类研究员在中间当“蜜蜂”传递想法，最终用 Lean 语言写成证明。整个过程花了 88 小时，研究员自己说“非常贵”，可能烧了几百万美元。

现在能确认的是：证明已经公开，但外部审查还没完成。正文没披露具体用了哪个未发布模型，也没给出验证进度或独立复现的结果。陶哲轩的比喻很到位——这像有人指了一条去瀑布的路，大家会直接走那条，不再找别的路。也就是说，证明本身有价值，但人类从解题过程中能学到的东西可能被跳过了。

这条消息最大的信息缺口是验证状态。没经过同行评议的数学证明不能算尘埃落定，尤其这种靠大规模算力堆出来的结果，正确性不能靠发布会来保证。