IT之家（RSS）·2026-10-17 18:31· 2 小时前AI 评分75

OpenAI 纳维-斯托克斯方程证明遭数学界质疑，多智能体实际贡献仍不明

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

AI 导读

OpenAI 今年 9 月公布 166 页纳维-斯托克斯方程相关证明，称约 1 万个 AI 智能体在 88 小时内得出结果，并用 17 小时完成 Lean 形式化及验证。

来源：IT之家（RSS） · ithome.com