数学家质疑 OpenAI 的 Navier-Stokes 证明方法论
Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof
OpenAI 交了 166 页的 Navier-Stokes 证明，结果数学家说他们自己都讲不清方法是怎么来的，挺离谱的。
OpenAI 提交了一份 166 页的 Navier-Stokes 问题解答，声称解决了这一千禧年数学难题。多组数学专家指出，证明的实际方法与 OpenAI 描述的方法论不一致，公司似乎并不完全理解自己的证明。由于语言模型是黑箱，这些核心思路的来源可能永远无法查明。
Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof
OpenAI submitted a 166-page solution to the Navier-Stokes problem but apparently doesn't fully understand its own proof. Several groups of experts dispute the claimed methodology, saying the actual approach differs from what OpenAI described. And because language models are black boxes, where the underlying ideas came from will likely never be clear. The article Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof appeared first on The Decoder .
