Event · 2026-07
Reasoning with verification
AxiomProver: 42 out of 42
A multi-agent ensemble solved all six problems of IMO 2026 with formal Lean 4 proofs.
Sources
GitHubOpen primary source Reasoning with verification
A multi-agent ensemble solved all six problems of IMO 2026 with formal Lean 4 proofs.