跳到正文
IT之家·· 2 天前精选AI 评分82

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

AI 导读

OpenAI 在9月公布用约 1 万个 AI 智能体耗时 88 小时完成的纳维-斯托克斯方程证明,引发数学界对方法、归属及智能体贡献的质疑。数学家指出该证明未完全解决无外部力时的光滑性问题,且多智能体架构的实际贡献可能不足 10%。OpenAI 否认使用了纽约大学特里斯坦·巴克马斯特的数据,但双方对研究路径的关联仍存在争议。

推荐理由

文章梳理了数学界对OpenAI证明方法、智能体贡献及成果归属的质疑,揭示了形式化验证与科学问题解答之间的差距。

来源:IT之家 · ithome.com