Lean × AI-for-Math Content Archive

9 posts · Page 1 of 1

1. AI disproves 80-year Erdős conjecture — and Lean still can't check it2026-06-08
2. DeepMind Resolves 9 Open Erdős Problems — All Lean-Kernel Verified2026-06-10
3. SorryDB: Competition Champions Fail Real-World Lean Tests2026-06-11
4. Goedel-Architect: 99.2% on MiniF2F — Open-Source, 500× Cheaper2026-06-11
5. LEAP: General LLMs Solve All 12 Putnam 2025 in Lean 4 — New IMO Bench, Knuth Formalized2026-06-12
6. LeanMarathon: 4 Erdős Problems, 258 Lemmas, 0 Sorry — No Blueprint Provided2026-06-12
7. TheoremBench: Classical Math Exposes New Gaps in Lean 4 Provers2026-06-12
8. MaxProof: 35/42 IMO 2025, 36/42 USAMO 2026 — Gold-Medal Level, No Lean 42026-06-12
9. Pythagoras-Prover: 4B Lean prover beats a 671B baseline2026-06-16

Explore more channels on Discover