The Decoder· Manuel Uth·· 2 天前AI 评分66
数学家质疑 OpenAI 的 Navier-Stokes 证明思路与多智能体贡献
Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof
AI 导读
OpenAI 在 9 月初发布了一份 166 页、用 Lean 形式化语言撰写的 Navier-Stokes 潜在证明，多位数学家质疑其方法与西班牙数学家 Córdoba 和 Martínez-Zoroa 的原始思路只是表面相似。
来源：The Decoder · the-decoder.com