The Decoder· Manuel Uth·· 14 天前
数学家称 OpenAI 对其 Navier‑Stokes 证明理解不足
Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof
原始来源：The Decoder阅读原始报道
AI 导读
OpenAI 在 9 月公布了一份 166 页、使用 Lean 形式化语言的 Navier‑Stokes 证明草案，声称遵循西班牙数学家 Diego Córdoba 与 Luis Martínez‑Zoroa 的方法。
来源：The Decoder · the-decoder.com