IT之家·· 2 天前精选AI 评分82
OpenAI 纳维-斯托克斯方程证明方法被指与官方叙事不符:学界验证尚需数年,智能体贡献同样成谜
AI 导读
OpenAI 在9月公布用约 1 万个 AI 智能体耗时 88 小时完成的纳维-斯托克斯方程证明,引发数学界对方法、归属及智能体贡献的质疑。数学家指出该证明未完全解决无外部力时的光滑性问题,且多智能体架构的实际贡献可能不足 10%。OpenAI 否认使用了纽约大学特里斯坦·巴克马斯特的数据,但双方对研究路径的关联仍存在争议。
推荐理由
文章梳理了数学界对OpenAI证明方法、智能体贡献及成果归属的质疑,揭示了形式化验证与科学问题解答之间的差距。
来源:IT之家 · ithome.com