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

AI 总结 • OpenAI 于9月8日公布称内部AI系统约88小时内完成纳维-斯托克斯方程证明，但学界质疑其方法与已有研究不符，部分数学家指出OpenAI可能并未完全理解其模型的实际工作路径。 • 数学界争议焦点在于该证明虽利用了外部力项构造出流体速度无界增长情形，但并未解决不施加外力时三维纳维-斯托克斯方程解是否保持光滑这一核心问题，且与西班牙学者此前研究路线的关联度存疑。 • 针对纽约大学数学家巴克马斯特关于研究成果归属的质疑，OpenAI否认使用了其数据并调查确认提示词未影响研究，但双方对研究方法关系仍存在分歧。 • OpenAI研究员诺姆·布朗估计多智能体协作架构对此次成功的贡献可能不到10%，目前尚不清楚大规模智能体集群带来的实际收益，关键因素可能更多在于底层模型能力。 • 数学界评估相关成果仍需数年，9月初OpenAI在GitHub公开的约400项数学研究结果因缺乏充分解释和整理，被部分研究人员批评模糊了严谨验证与自动生成结果之间的区别。 【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 能够检查形式化证明中的逻辑 ...

该板块内容需要购买后才能完整浏览

立即购买