OpenAI Navier-Stokes证明遭论文质疑
OpenAI 此前宣称在 Navier-Stokes 方程问题上取得进展，但一篇新论文对其提出质疑，指出其宣称的数学结果与配套的 Lean 形式化代码并不一致。有批评认为，该 Lean 形式化实际验证的是另一个论证，可能并未覆盖 OpenAI 宣称的结果。这一争议对 OpenAI 用 AI 做数学研究的可信度构成了挑战。
2026-10-12 ~ 2026-10-14 · 1 条相关
- 第 1 集:OpenAI 纳维-斯托克斯证明经核查无误(2026-10-11,3 条)
- 第 2 集:数学界激辩 AI 形式化证明的价值与风险(2026-10-11,4 条)
- 第 3 集:研究者梳理 AI 生成 Lean 证明的多种翻车隐患(2026-10-12,3 条)
- 第 4 集:科学美国人称OpenAI纳维-斯托克斯证明名不副实(2026-10-14,2 条)
- OpenAI Navier-Stokes 声明遭质疑:Lean 形式化或验证了另一论证 — thione · 2026-10-12