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
- AI Capex vs AI Opex: Stop Paying Agents to Re-solve the Same Problem — njyx · 2026-09-20
- Gemini CLI PR fixes folder trust not persisting when running in podman/docker sandbox — 21vedansh · 2026-09-20
- Dev builds paged LLM inference engine for Apple Silicon, cuts attention memory 128x — Accomplished_Row1433 · 2026-09-20
- Reddit debate: We're building AI agents at the wrong scale — aim for persistent AI organizations — Druss_ · 2026-09-20
- Building long-term memory for agents: a philosophy, not a product — GrungeWerX · 2026-09-20
- AI engineer: without proper evals you're flying blind when building — antoine_chaffin · 2026-09-20