ENTITY
Lean Theorem Prover
Lean Theorem Prover
PulseAugur coverage of Lean Theorem Prover — every cluster mentioning Lean Theorem Prover across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
2
2 over 90d
TIER MIX · 90D
RECENT · PAGE 1/1 · 2 TOTAL
-
AI model Gauss helps formalize Viazovska's 8D sphere packing solution
The sphere packing problem in dimension 8, famously solved by Viazovska in 2016, has reached a significant formalization milestone. A project launched in March 2024 by Hariharan and Viazovska successfully verified the s…
-
AI systems achieve 100% correctness in IMO-level mathematics using Lean-verified proofs
Six AI systems achieved perfect scores on IMO-level mathematics problems in 2025, utilizing Lean-verified proofs. This breakthrough was enabled by a highly stringent verification process, which ensures absolute correctn…