产业观察🔥7.0
OpenAI 纳维-斯托克斯方程证明方法被指与官方叙事不符：学界验证尚需数年，智能体贡献同样成谜
📋总体概括
OpenAI 今年 9 月宣称其内部 AI 系统用约 1 万个智能体、耗时约 88 小时完成千禧年难题纳维-斯托克斯方程相关证明，并公布 166 页成果与 Lean 形式化验证。但数学界审查后发现，其方法路线与西班牙数学家科尔多瓦、马丁内斯-佐罗亚的已有研究并不一致，可能与 OpenAI 官方叙事不符。数学家贡萨洛·曹-拉博拉直言 OpenAI 可能自己都没看懂就急于发论文，学界完整验证或需数年，AI 在其中的真实贡献仍是谜团。
⚡关键信息
- ▸OpenAI 9 月 8 日发布 166 页纳维-斯托克斯方程相关证明，称 AI 耗时约 88 小时完成求解
- ▸研究称使用约 1 万个 AI 智能体，另花约 17 小时完成 Lean 形式化验证
- ▸数学家指出证明路线与科尔多瓦、马丁内斯-佐罗亚的西班牙路线并不一致，相似或仅停留表面
- ▸参与审读的专家认为 OpenAI 发布成果时可能并未完全理解其模型究竟做了什么
- ▸Lean 通过验证不等于解决了原本关注的科学问题，学界完整审查尚需数年
🔥犀利点评
88 小时攻克千禧年难题的叙事本就诱人得可疑，如今被戳破：OpenAI 很可能是在自己都没搞懂模型产出什么的情况下抢先造势。Lean 验证通过的只是逻辑形式，不是科学问题的答案——这恰恰暴露了 AI for Science 营销的软肋：验证工具被当成了成果背书。与其说这是数学突破，不如说是一次公关先行的实验报告，等学界数年审完再看吧。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 IT之家 阅读全文 →