精华速览

OpenAI于9月8日发布166页纳维-斯托克斯方程证明，称约1万个AI智能体在88小时内完成求解，并花费17小时完成Lean形式化验证。然而数学界审查后发现，该证明可能并未遵循其声称借鉴的西班牙数学家路线，OpenAI或未完全理解模型实际做了什么。争议还涉及成果归属：纽约大学数学家质疑其受益于他人研究，OpenAI予以否认。此外，多智能体协作的实际贡献尚不明确，研究员诺姆·布朗估计其贡献可能不足10%。10月初OpenAI又公开约400项数学结果，学界表示消化需数年，并担忧大规模自动生成成果模糊了严谨验证的边界。

要点透视

  • OpenAI于9月8日公布166页纳维-斯托克斯方程证明，称约1万个AI智能体并行运行约88小时，累计发送约270万条消息、使用约1300亿输出Token，随后用约17小时完成Lean形式化及验证。
  • 数学家贡萨洛·曹-拉博拉指出，OpenAI证明细节与西班牙数学家迭戈·科尔多瓦和路易斯·马丁内斯-佐罗亚此前方法呈现不同路线，相似性可能仅停留在表面；多组审读专家向《科学美国人》表示，越来越多迹象表明OpenAI并未遵循“西班牙路线”。
  • OpenAI的证明利用纳维-斯托克斯方程中的外部力项，构造出流体速度在有限时间内无界增长的情形；该结果符合克雷数学研究所原始问题表述允许的一种情形，但未解决不施加外部力时三维方程解是否始终保持光滑这一更受关注的问题。
  • 纽约大学数学家特里斯坦·巴克马斯特质疑OpenAI研究可能受益于他与Anthropic员工莱文特·阿尔珀格使用公开模型开展的相关研究；OpenAI于9月10日更新说明，称调查后确认巴克马斯特此前两个月在Codex中输入的提示词不可能通过任何方式影响此次研究。
  • OpenAI研究员诺姆·布朗表示，目前不清楚大规模智能体集群带来多少额外收益，由于系统性对照实验成本高，尚未充分比较单个智能体与1万个智能体的效率差异；他估计多智能体协作对此次成功的贡献可能不到10%。
  • 10月初OpenAI在GitHub上以相对松散形式公开约400项数学研究结果，数学界普遍表示仅消化这些内容就需要数年，部分研究人员担忧缺乏充分解释和学术交流的集中发布可能降低可读性，并模糊严谨验证与大规模自动生成结果之间的区别。

文章拆解

这起争议的核心在于，OpenAI对外叙事与数学界独立审查之间出现了明显落差。OpenAI在9月8日宣称其AI系统在约88小时内完成纳维-斯托克斯方程相关证明，并同步公开Lean形式化代码，这一表述容易被理解为AI独立攻克了千禧年难题。但审读专家指出，证明实际利用外部力项构造速度无界增长，只覆盖克雷问题允许的一种情形，并未触及无外力条件下解是否光滑这一核心关切。换言之，形式化验证通过不等于解决了公众理解中的目标问题，这是理解整个事件的关键前提。

方法归属是另一条争议主线。曹-拉博拉等人认为OpenAI证明与西班牙数学家科尔多瓦和马丁内斯-佐罗亚的路线存在实质差异，若这一判断成立，则OpenAI在发布时可能并未完全理解模型生成内容与既有研究的关系。巴克马斯特的质疑则指向数据与提示词污染的可能性，OpenAI虽在9月10日否认相关提示词影响研究，但双方对方法与成果关系的分歧仍未消解。这些争议尚待数学界进一步确认，目前不宜下定论。

多智能体贡献的衡量同样缺乏实证。OpenAI披露的1万个智能体、270万条消息、1300亿输出Token等数字反映的是运行规模，而非架构收益。布朗本人估计多智能体贡献可能不到10%，真正关键的是底层模型能力及其长时间持续处理、并行探索的特性。这一判断若成立，将影响业界对多智能体系统价值的评估方式，也提示高调宣传容易让新颖架构获得超出实际的认可。

对用户和行业而言，短期影响集中在两点：一是AI生成数学成果的可读性与验证成本正在上升，10月初约400项结果集中发布后学界称消化需数年，说明自动生成速度已远超人工审查能力；二是成果归属和学术规范面临新挑战，松散发布形式可能模糊严谨验证与批量生成之间的界限。值得关注的变量包括：数学界对166页证明的最终审查结论、OpenAI是否会补充方法说明、多智能体贡献能否通过对照实验量化，以及后续大规模成果发布是否建立更严格的整理与交流机制。潜在风险在于，若类似争议反复出现，公众对AI科研宣称的信任度可能被透支，而真正有价值的技术进展反而被叙事噪音掩盖。

查看原文