The Decoder· Manuel Uth·· 19 天前AI 评分66
数学家质疑 OpenAI 不理解自己的 Navier-Stokes 证明
Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof
AI 导读
多位数学家表示，OpenAI 9 月发布的 166 页 Navier-Stokes 候选证明与所声称的 Córdoba 和 Martínez-Zoroa 方法只是表面相似，实际是不同路线；该证明用 Lean 形式化语言写成，Clay 数学研究所正在审查。
来源：The Decoder · the-decoder.com