研究者用 Lean 验证并改进 OpenAI 数学证明
有研究者声称在 OpenAI 近期数学证明成果的基础上做出了显著改进，并通过 Lean 形式化证明系统对改进进行了验证。相关代码已在 GitHub（CrocSwap/integer-mult-bounds）上开源，供社区查阅和核查。
2026-10-08 ~ 2026-10-08 · 2 条相关
- 第 1 集:剑桥论文质疑 Lean 验证可信度，直指 OpenAI Navier-Stokes 证明(2026-10-08,14 条)
- 第 2 集:OpenAI 数学仓库因符号错误撤回 3 篇霍奇猜想论文(2026-10-08,5 条)
- 第 3 集:研究者用 Lean 验证并改进 OpenAI 数学证明(2026-10-08,2 条)
- 研究者在 Lean 中验证改进 OpenAI 数学证明结果 — Eliv_nurotic · 2026-10-08
另有 1 条近重复转述:Eliv_nurotic