OpenAI Navier-Stokes 证明遭新论文质疑

一篇新论文质疑 OpenAI 在 Navier-Stokes 方程问题上的进展，指出其宣称的数学结果与配套的 Lean 形式化代码并不一致。有批评认为，该 Lean 形式化实际验证的是另一个论证，可能并未覆盖 OpenAI 宣称的结果。这一争议对 OpenAI 用 AI 做数学研究的可信度构成挑战。