The Decoder· Manuel Uth·· 3 小时前精选AI 评分76
数学家质疑OpenAI不理解自身Navier-Stokes证明方案
Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof
AI 导读
多位数学家表示OpenAI提出的Navier-Stokes问题解决方案与其声称的方法存在偏差。Lean语言编写的证明方案难以被人类阅读，且OpenAI部署的约1万实例和88小时计算过程的实际贡献尚不明确，Noam Brown指出多智能体并非核心优势。
推荐理由
原文梳理了数学家对OpenAI Navier-Stokes证明方案的质疑以及多智能体贡献争议，为理解AI处理复杂数学任务的边界提供了具体参照。
来源：The Decoder · the-decoder.com