09:53
2026-07-17
github.com
artificial-intelligence
AxiomProver at IMO 2026 (perfect score)
AxiomProver, an autonomous multi-agent theorem prover for Lean 4 developed by Axiom Math, achieved a perfect score of 42/42 at the 2026 International Mathematical Olympiad in Shanghai, solving all six…