LLM attacks 800+ graph theory conjectures, yields 30+ full proofs
marc_lelarge · x · 2026-09-20
Researchers led by Emanuele Natale (INRIA) used an LLM (Fable) to systematically attack 800+ open graph theory conjectures, with all results open-sourced in the Graph-Theory-LLM-Proofs repo.
- 30+ conjectures now have complete proofs or explicit counterexamples
- Several results have been checked by human mathematicians; a few are formalized in Rocq (formerly Coq)
- Results are organized into reviewed/to-review categories, with an open invitation for mathematicians to audit via issues or email
- Conjectures come from a companion graph-conjectures catalogue; the team urges researchers with Fable credits to keep attacking
A scaled empirical test of LLMs for mathematical discovery — not a one-off demo but batch verification across hundreds of open problems, with human review and formal verification built in.
More from coding & agent
- Could MCP-powered copy-trading disrupt ETFs? Investor floats paying 0.5% for trade signals — MartinGTobias · 2026-11-12
- minpts-check: one-run predictor tells if your HDBSCAN clusters survive min_samples changes — leland_mcinnes · 2026-11-12
- Ten wild Gemini 4 Carbon demos in 24 hours: CUDA meadows, V8 engines, mech stomps — socialwithaayan · 2026-11-12
- How to cut Fable 5.2 token costs by 90%: Arc routing plus a lean CLAUDE.md — EXM7777 · 2026-11-12
- Hamel Husain's complete AI evals framework for PMs and engineers — aakashgupta · 2026-11-12
- AI coding in one year: from unusable to full automation with no code review — angelaqdai · 2026-11-12