OpenAI 纳维-斯托克斯证明经核查无误
针对外界流传「OpenAI 模型在 Navier-Stokes 证明中作弊」的报道，数学家 Obhishek Saha 等多位同行逐条核查后确认，OpenAI 给出的证明是正确的，Lean 形式化版本已通过编译，可终结此前的质疑与不实信息。另有 Reddit 用户通读 OpenAI 数学仓库 242 份 Lean 说明，发现 372 个结果家族中至少 10 个头条结论尚未被形式化验证，提示仓库中并非所有结论都经过同样严格的验证。
2026-10-11 ~ 2026-10-12 · 3 条相关
- 第 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 数学仓库 242 份 Lean 说明：至少 10 个头条结论未被形式化验证 — MysteriousAvocado580 · 2026-10-11
- 数学家逐条核查：OpenAI 的 Navier-Stokes 证明在 Lean 中无误 — burny_tech · 2026-10-11
- OpenAI 纳维-斯托克斯证明获同行认可：Lean 形式化通过编译 — basedjensen · 2026-10-12