The Decoder· Manuel Uth·· 3 小时前AI 评分69
数学家质疑 OpenAI 对 Navier–Stokes 潜在证明的理解
Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof
AI 导读
OpenAI 在 9 月公布了 166 页 Navier–Stokes 问题潜在解，但多位数学家认为其方法与所称参考工作只是表面相似。该方案用 Lean 编写，Clay Mathematics Institute 自发布后一直审查；OpenAI 否认使用 Tristan Buckmaster 数据的指控。
来源：The Decoder · the-decoder.com