The Decoder· Manuel Uth·· 2 天前精选AI 评分77
数学家指出 OpenAI 的 Navier-Stokes 证明被误读且万级 Agent 贡献存疑
Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof
AI 导读
多位数学家质疑 OpenAI 在 9 月提出的 Navier-Stokes 问题证明，认为其实际方法与所引用的西班牙数学家路径不同，且 Lean 代码人类难以阅读。
推荐理由
专家质疑OpenAI的证明逻辑，并指出缺乏对照实验导致无法确认万级Agent的实际贡献。
来源：The Decoder · the-decoder.com