OpenAI 纳维-斯托克斯方程证明方法被指与官方叙事不符：学界验证尚需数年，智能体贡献同样成谜

IT之家 10 月 17 日消息，OpenAI 今年 9 月公布了一份长达 166 页的纳维-斯托克斯方程（Navier–Stokes equations）相关证明，称其内部 AI 系统在约 88 小时内完成了对这一千禧年难题的求解。 不过，随着数学界进一步审查相关工作，研究人员开始对证明采用的方法、与已有研究的关系，以及大规模 AI 智能体究竟发挥了多大作用提出质疑。 数学家贡萨洛 · 曹-拉博拉（Gonzalo Cao-Labora）指出， OpenAI 可能自己都没看懂就急着发论文了 。 他表示，OpenAI 的证明细节与西班牙数学家迭戈 · 科尔多瓦（Diego Córdoba）和路易斯 · 马丁内斯-佐罗亚（Luis Martínez-Zoroa）此前提出的方法呈现出不同的路线，二者的相似之处可能更多停留在表面上。 参与审读的多组专家均向《科学美国人》表示，越来越多迹象表明，OpenAI 的证明并没有遵循“西班牙路线”。这意味着 OpenAI 在发布该项成果时似乎并未完全理解其模型究竟干了什么。 IT之家注：纳维-斯托克斯方程用于描述流体运动，是克雷数学研究所设立的千禧年大奖难题之一。OpenAI 于 9 月 8 日发布相关研究，称其内部模型完成了数学证明，并同时公开了使用 Lean 形式化验证语言编写的证明。OpenAI 表示，其研究团队使用约 1 万个 AI 智能体，经过约 88 小时得到结果，随后又花费约 17 小时完成形式化及验证工作。 Lean 能够检查形式化证明中的逻辑推导是否符合设定规则，但通过形式化验证并不意味着证明所解决的问题一定符合研究人员原本关注的科学问题，也不意味着证明的思路容易被人类理解。OpenAI 公布的证明长达 166 页，数学界目前仍在审查其具体方法及结论。 此次争议之一在于，OpenAI 的研究与科尔多瓦、马丁内斯-佐罗亚此前探索的研究路径究竟有多大关联。 《科学美国人》指出，OpenAI 的证明利用了纳维-斯托克斯方程中的外部力项，构造出流体速度在有限时间内无界增长的情形。 数学家对这一结果的意义存在不同看法：它符合克雷数学研究所原始问题表述允许的一种情形，但并未解决不施加外部力时，三维纳维-斯托克斯方程的解是否始终保持光滑这一更受关注的问题。 在研究成果的归属方面，纽约大学数学家特里斯坦 · 巴克马斯特（Tristan Buckmaster）质疑 OpenAI 的研究可能受益于他与 Anthropic 员工莱文特 · 阿尔珀格（Levent Alpöge）使用公开模型开展的相关研究。 对此，OpenAI 否认使用了巴克马斯特的相关数据，并在 9 月 10 日更新的官方说明中表示，经过调查，巴克马斯特此前两个月在 Codex 中输入的提示词不可能通过任何方式影响此次研究，包括通过模型训练产生影响。但截至目前，双