Researchers Improve OpenAI's Math Proof, Verified in Lean
Researchers claim significant improvements on OpenAI's recent mathematical proof results, verified in the Lean formal proof system, with code open-sourced on GitHub.
2026-10-08 ~ 2026-10-08 · 2 related posts
- Episode 1: Cambridge paper argues Lean verification does not certify proofs, targeting OpenAI's Navier-Stokes claim(2026-10-08, 14 posts)
- Episode 2: OpenAI Retracts Three Hodge-Conjecture Papers Over Sign Error, 42% of Results Now Formalized(2026-10-08, 5 posts)
- Episode 3: Researchers Improve OpenAI's Math Proof, Verified in Lean(2026-10-08, 2 posts)
- Researchers claim Lean-verified improvements on OpenAI's recent math results — Eliv_nurotic · 2026-10-08
1 near-duplicate retellings: Eliv_nurotic