The Decoder· Manuel Uth·· 1 小时前精选AI 评分74
数学家质疑 OpenAI 并不理解其纳维-斯托克斯方程证明
Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof
AI 导读
多位数学家向《科学美国人》指出，OpenAI 发布的 166 页纳维-斯托克斯方程潜在证明在细节上与声称参考的方法完全不同，且使用 Lean 语言编写导致人类难以直接阅读。
推荐理由
原文梳理了数学界对该形式化证明的质疑与争议，读者可据此了解大规模智能体集群在复杂数学任务中的真实贡献与局限。
来源：The Decoder · the-decoder.com