OpenAI 用 10000 个 AI 智能体 88 小时攻克千禧年 Navier-Stokes，陶哲轩既点赞又担忧

陶哲轩最近在 X 上转发了 OpenAI 攻克纳维-斯托克斯（Navier-Stokes）存在性与光滑性问题的声明，配文是”灯塔仍在亮，但灯塔下的灯塔看守正在失业”。9 月 8 日，OpenAI 正式宣布这一结果：约 10000 个 AI 智能体协作 88 小时，给出了一个形式化可验证的反例证明——初始平滑的静止流体在有限时间内可以发展出奇点。

一、88 小时跑完 90 年的数学难题

纳维-斯托克斯方程描述了流体运动，被克莱数学研究所列为 2000 年提出的七个”千禧年大奖难题”之一，奖金 100 万美元，但更重要的是其横跨气象、航空、管道工程的基础地位。OpenAI 团队给出的方法并不神秘：他们构造了一个向内旋转并拉伸的”涡流”结构，在外力光滑的前提下让流速在有限时间内趋于无穷。

与 Claude 此前攻克黎曼猜想（把临界线零点下界从 41.6% 提升到 67.2%）不同，这次 OpenAI 把工作做到了 Lean 形式化验证层面。约 17 小时内由 GPT-6 Astra 校对完毕，相当于把一篇数学论文的同行评议交给 AI 一次性跑完。

二、估算 1.5 亿到 2.25 亿美元，OpenAI 不申领奖金

据行业测算，10000 个智能体 × 88 小时 × 高端 GPU 集群的算力账单单次就在 1500 万到 2250 万美元之间，合人民币 1.01 亿到 1.51 亿元。OpenAI 公开表示不会去领克莱研究所那 100 万美元奖金。研究员 Sébastien Bubeck 称这是”过去十二个月所看到轨迹的一个惊人顶点”。

但陶哲轩的担忧随即被放大：当 AI 能独立解决最难的数学问题时，数学家会不会从”灯塔看守”变成”灯塔旁拍照的游客”？更深层的问题是——人类对数学的理解，会不会随着 AI 跳过中间步骤而出现断层。

三、争议：NYU 数学家质疑 OpenAI”借鉴”未公开数据

风波在结果公布前 24 小时就已埋下。纽约大学教授 Tristan Buckmaster 和 Anthropic 研究员 Levent Alpöge 9 月 7 日刚放出相关流体方程的成果。Buckmaster 在 X 上公开质疑：OpenAI 是不是听到风声后把资源转向他们一直在探索的”外力驱动”方法？他担心自己和合作者存储在 OpenAI Codex 模型中的研究笔记被用于训练或参考。

OpenAI 研究员 Bubeck 否认了”读取用户数据”的指控，强调 AI 智能体未访问具体用户数据；但 OpenAI 也在声明中承认，”不排除”来自用户使用 Codex 产品的匿名化数据帮助改进了模型。这条附注被很多研究者抓住——它意味着 AI 公司在”用户输入”与”训练数据”之间的防火墙并不严密。

四、对中文开发者意味着什么

短期看，OpenAI 的这次成功更像品牌营销而非技术普惠：10000 个智能体的协调成本远非个人开发者可承担。但中期有两件事值得跟踪——Lean 形式化验证链路的成熟，意味着开源社区可以借助 Lean 把”AI 给出的证明”翻译成可机读的形式化证明；以及 AI 智能体对”未公开数据使用边界”的争议，倒逼各家 AI 公司必须提供”输入是否进入训练”的开关。

— END —
LC 智趣厅 · 科技与生活的交点
ihygg.cn