The Decoder· Manuel Uth·· 16 天前精选AI 评分76
数学家质疑 OpenAI 纳维-斯托克斯方程证明及其多智能体方法
Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof
AI 导读
多位数学家指出 OpenAI 提交的 166 页纳维-斯托克斯方程潜在证明在具体细节上并非其宣称的解题路径，且以 Lean 形式化语言编写使其极难被人类直观阅读。
推荐理由
多位数学家指出该证明并非基于既有路线，内部研究员也坦言多智能体集群贡献有限且核心在于底座模型能力。
来源：The Decoder · the-decoder.com