OpenAI 流体方程证明引争议：方法仍待审查，万智能体贡献尚不明确

据 IT之家 10 月 17 日援引《科学美国人》等报道，OpenAI 于 9 月公布的纳维-斯托克斯方程相关证明，正受到数学界进一步审查。争议不仅涉及证明与已有研究的关系，也包括它究竟回答了什么问题，以及约 1 万个 AI 智能体发挥了多大作用。形式化验证通过，并不等于研究意义与成果归属已经获得学界确认。

证明了什么，比“88 小时求解”更关键

纳维-斯托克斯方程用于描述流体运动，相关问题是克雷数学研究所设立的千禧年大奖难题之一。OpenAI 在 9 月 8 日发布研究时称，内部 AI 系统用约 88 小时得到结果，随后又用约 17 小时完成形式化及验证，并公开了以 Lean 编写的证明。相关证明长达 166 页。

据报道，这项工作利用方程中的外部力项，构造流体速度在有限时间内无界增长的情形。它符合克雷数学研究所原始问题表述允许的一种情形，但没有解决更受关注的另一问题：不施加外部力时，三维纳维-斯托克斯方程的解是否始终保持光滑。因此，将其笼统理解为流体方程所有核心难题均已解决，并不准确。

Lean 可以检查形式化推导是否符合设定规则，但逻辑检查、问题设定与数学价值是不同层面的判断。理解证明为何成立、与既有成果有何联系，仍需要专家审读。

方法路线与研究关联仍有分歧

数学家贡萨洛·曹-拉博拉指出，OpenAI 证明的细节，与迭戈·科尔多瓦及路易斯·马丁内斯-佐罗亚此前的方法呈现不同路线。参与审读的多组专家也向《科学美国人》表示，越来越多迹象显示，该证明并未沿用所谓“西班牙路线”。这使外界质疑，OpenAI 发布成果时是否已充分理解模型采用的方法。

研究关联方面，纽约大学数学家特里斯坦·巴克马斯特质疑，该工作可能受益于他与 Anthropic 员工莱文特·阿尔珀格使用公开模型开展的研究。OpenAI 否认使用相关数据，并在 9 月 10 日更新说明称，调查排除了巴克马斯特此前在 Codex 输入的提示词影响此次研究的可能性。双方分歧尚未消除。

对 AI 科研的启示：规模不等于贡献

OpenAI 披露，这次研究涉及约 1 万个并行智能体、约 270 万条消息及约 1300 亿个输出 Token。不过，这些指标描述的是运行规模，不能直接证明多智能体架构的实际收益。评估时至少需要区分：

• 底层模型本身能否提出关键数学思路。
• 长时间运行与并行探索带来了多少帮助。
• 增加智能体数量，相比更小规模配置是否确有优势。

OpenAI 研究员诺姆·布朗承认，目前缺乏充分对照实验，大规模测试的成本也很高。他估计，多智能体协作架构对这次成功的贡献可能不到 10%；这只是估计，并非已验证结论。

10 月初，OpenAI 又公开约 400 项数学研究结果。来源称，学界消化这些内容可能需要数年，部分研究者也担忧集中发布却缺少解释与整理，会加重验证负担。对 AI 科研而言，可读、可追溯、可比较的证据，比智能体数量更能说明突破的成色。这项工作的最终评价，仍有待数学界持续审查。