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 能够检查形式化证明中的逻辑推导是否符合设定规则，但通过形式化验证并不意味着证明所解决的问题一定符合研究人员原本关注