OpenAI 今年9月公开了一份长达166页的纳维-斯托克斯方程相关证明，宣称其内部AI系统在约88小时内完成了对这一千禧年难题的求解，并同步释出以Lean形式化验证语言编写的证明代码。该消息一度被视为AI辅助数学研究的标志性事件。

然而随着数学界介入审查，质疑声逐渐浮现。数学家贡萨洛·曹-拉博拉指出，OpenAI可能尚未真正理解模型产出的内容便急于发布论文。他表示，该证明的具体细节与西班牙数学家迭戈·科尔多瓦和路易斯·马丁内斯-佐罗亚此前提出的方法走向不同路线，两者的相似之处或许仅停留在表面。

多组参与审读的专家向《科学美国人》表示，越来越多迹象显示OpenAI的证明并未遵循所谓“西班牙路线”。这一判断意味着，OpenAI在公布成果时似乎并未完全掌握其模型究竟完成了什么，官方叙事与证明实际采用的方法之间存在偏差。

纳维-斯托克斯方程用于描述流体运动，是克雷数学研究所设立的千禧年大奖难题之一。OpenAI称研究团队动用约1万个AI智能体、历经约88小时完成证明，但大规模智能体在其中究竟发挥了多大作用，目前同样成谜。学界普遍认为，对该证明的完整验证尚需数年时间。

对AI行业而言，此事提出的问题超出了单一证明的对错：当模型输出复杂数学成果时，发布方能否准确解释其方法路径，以及如何界定智能体协作的真实贡献，仍是待解的验证难题。