Axiom Math

AxiomProver, an autonomous multi-agent ensemble theorem prover for Lean 4 developed by Axiom Math, achieved a perfect score of 42/42 at the International Mathematical Olympiad (IMO) 2026 in Shanghai o…

Axiom Math announced its research on lattice triangles, highlighting their rarity in mathematical structures. The findings contribute to geometry and number theory, with implications for computational…

Axiom, a seven-month-old startup, solved all 12 problems on the 2025 Putnam exam, scoring 12/12 within the time limit and outperforming both top undergraduates and other AI systems. The feat demonstra…