1 万个 agent、1000 万美元、一道还没被承认的证明：Altman 的“下一代 GPT”到底说了什么

核心判断先说清楚：Altman 在 11 月 2 日阿布扎比 ADIPEC 开幕式上放出的消息，真正的新信息只有一个——下一代 GPT 快来了，而且就是跑出纳维-斯托克斯证明的那套内部模型。名字、日期、价格、公开跑分，一样都没给。把它当成发布预告读可以，当成“GPT-6.2 已经来了”读就错了。

事情是这样串起来的。OpenAI 在 9 月 8 日公布过一个说法：内部模型用大约 1 万个 agent 协同工作 88 小时，针对纳维-斯托克斯方程给出了一个解，证明三维流体方程可以出现“爆破”——也就是数学上某个量在有限时间内趋向无穷。Altman 这次补充了两个数字：这次运行花了大约 1000 万美元量级，他预期一年内能以百分之一的成本重做一遍。后一句是他的预期，不是承诺，也不是降价时间表。

为什么值得认真看，又不能全信？可机检是这件事最硬的部分：OpenAI 称证明随后用 Lean 做了形式化校验，机器逐条核对逻辑步骤。这比“模型说它证出来了”强得多。但硬的部分到此为止：克雷数学研究所至今没有承认这道题已被解决；伦敦国王学院与剑桥数学家的预印本指出，OpenAI 公布的人类可读证明与 Lean 校验版本之间存在出入——这份预印本没有断定原结论就是错的，但“出入未解释”本身就够让结论降级。9 月还有一笔署名争议：纽约大学数学家 Tristan Buckmaster 指称相关未发表工作被提前知晓，OpenAI 方面否认了这一说法。争议双方各执一词，普通读者没法在聊天记录里判出对错，只能把“谁先做出”这一项挂起来。

对做 agent 的人，这件事真正可借鉴的不是“也拉 1 万个 agent”。1 万个 agent、1000 万美元、88 小时连续运行，这条路普通团队根本复制不起。可借鉴的是另一层：长程协作必须配上可校验的证据链。把大任务拆成小步，每一步留下机器能复核的痕迹，错了能定位到哪一步；没有这层，agent 越多，越容易变成集体幻觉互相背书。Altman 说“AI 现在大多数时候比顶尖科学家更聪明”，这句话是发布会场合的判断，不是可验证的指标，别拿它当选型依据。

这个结论在什么情况下不成立：如果后续核查证实 Lean 版本与人类版本之间的出入是实质性错误，或者克雷数学研究所明确驳回，那“解出千禧年难题”的说法就要降级为“提出了一个待审的候选证明”。在那之前，更准确的表述是：OpenAI 宣称解出了一道千禧年难题，机检版本已公布，独立验证还没过关。

读者可以怎么用：等下一代 GPT 真正公布名字和跑分再做选型决定；现在做长任务 agent 的人，先把“每步可复核”做进自己的流程，这比追新模型名字实在。