openai/ten-proofs
View on GitHub ↗ ★ 218 Lean
Lean certificates accompanying ten proofs in mathematics and theoretical computer science
3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2026-08-01 · latest 2026-08-04
20082026
-
This is the Lean proof that a nonsofic group exists (34,440 lines): https://github.com/openai/ten-proofs/blob/main/NonSoficGroup... This is an extraction from that of the actual theorem statement (39 lines):…
comment by nilkn · 2026-08-04 · in Ten advances in mathematics and theoretical computer science -
▲ 2
Ten Advances in Mathematics and Theoretical Computer Sciencestory by landonxjames · 2026-08-03 · 0 comments
-
The GitHub repo with the Lean formalizations just came out a couple of hours ago: https://github.com/openai/ten-proofs It also links to a paper written by an LLM where the model "reconstructs how the proof came together" based on the…
comment by simonw · 2026-08-01 · in Ten advances in mathematics and theoretical computer science