OpenAI纳维-斯托克斯证明遭学界质疑：细节与官方叙事不符，验证或需数年

OpenAI于2026年9月8日公布了一份长达166页的纳维-斯托克斯方程相关证明，称其内部AI系统调用约1万个AI智能体、经过约88小时得到结果，随后又花费约17小时完成Lean形式化及验证工作。

这份证明发布后迅速在数学界引发争议，多位审读专家指出，证明的具体推导细节与西班牙数学家迭戈·科尔多瓦和路易斯·马丁内斯-佐罗亚此前提出的“西班牙路线”存在明显差异，OpenAI在发布成果时似乎并未完全理解其模型自身的推导过程。

核心问题未被解决

数学家贡萨洛·曹-拉博拉及多组审读专家对证明进行了细致核查。他们发现，OpenAI的证明利用了纳维-斯托克斯方程中的外部力项，构造出流体速度在有限时间内无界增长的情形。

这一构造符合原始问题表述所允许的一种情形，但并未触及不施加外部力时三维纳维-斯托克斯方程的解是否始终保持光滑这一核心问题。

换言之，该证明回避了克雷数学研究所悬赏100万美元的千禧年难题中最关键的部分，其学术价值因此受到质疑。

纽约大学数学家特里斯坦·巴克马斯特进一步提出，OpenAI的研究可能受益于他与Anthropic员工莱文特·阿尔珀格使用公开模型开展的相关工作。

巴克马斯特的质疑指向了研究数据来源的潜在重叠。OpenAI对此予以否认，并于2026年9月10日更新官方说明作出回应，但这一回应并未平息外界的讨论。

大规模手稿与验证困境

2026年10月6日，OpenAI在GitHub平台一次性发表了722篇数学手稿，声称解决了数百个数学难题。法国数学家塞德里克·维拉尼在评估后指出，平均每个数学问题消耗的算力相当于ChatGPT Pro运行3个小时。

这批手稿随后暴露出明显错误，OpenAI撤回了其中3篇。MIT工程教育副院长Justin Solomon等顶尖数学家表示，OpenAI生成的数学证明篇幅巨大且逻辑复杂，人类难以完全理解和验证，学术审查系统正面临失效风险，科研活动呈现出越来越强的算力依赖化趋势。

从时间线来看，OpenAI在2026年10月12日至17日期间仍持续受到学界关注，围绕其证明方法、数据来源以及大规模生成手稿的可靠性，讨论仍在继续。