❯ OpenAI 称万名智能体用 88 小时求得纳维－斯托克斯难题解法，所用模型尚未公开

万级协作OpenAI 于9月8日公布一项数学突破声明：内部模型驱动约 1万个并发智能体，用 88 小时求得纳维－斯托克斯存在性与光滑性问题的解法。公司同时提供论文与 Lean 形式化证明，称所用模型的能力显著超过刚发布的 GPT-6 Astra。

证明对象按公司当前说明，结果涉及受到光滑外力作用的三维流体：初始状态光滑，运动中总能量保持有限，却能在有限时间形成奇点。OpenAI 称其满足千禧年难题正式表述中的相关反例条件。有外力的情形必须写清，不能将结果泛化为所有流体问题均已解决。

计算过程智能体被分组探索不同路径，再由 Codex 汇总有用发现、交换进展。公司披露，这项工作消耗约 1300 亿输出令牌，完成解法后，GPT-6 Astra 又用 17 小时进行形式化与验证。研究系统在搜索期间还更新过模型，不能把结果简单归结为增加智能体数量。

审查与归属这仍是一项需要数学界检查的公司研究声明，形式化验证也不能替代对定理表述与原问题是否吻合的审查。相关工作的署名和数据使用存在争议，OpenAI 否认访问特定用户数据来求解。科研团队采用模型时，成果审查与数据约定都须跟上计算能力。

▪ SIGNAL万级协作的科研价值要同时接受证明审查、计算成本和成果归属的检验，单凭智能体数量还不能推出通用突破。