Reasoning with verification

AxiomProver: 42 out of 42

A multi-agent ensemble solved all six problems of IMO 2026 with formal Lean 4 proofs.