The Decoder· Manuel Uth·· 3 小时前AI 评分75
数学家质疑 OpenAI 对 Navier–Stokes 潜在证明及其来源的理解
Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof
AI 导读
多位数学家认为，OpenAI 的 166 页 Navier–Stokes 潜在证明与公司所称的西班牙数学家 Diego Córdoba 和 Luis Martínez-Zoroa 的方法只有表面相似；证明以 Lean 编写，Clay Mathematics Institute 正在审查。
来源：The Decoder · the-decoder.com