Axiom Math's AI system, AxiomProver, has verified the 246 theorem on prime gaps, building on Yitang Zhang's 2013 proof and James Maynard's refinement to 600, and creating a reusable library of results…
Axiom Math has used its AI system AxiomProver to produce a fully machine-checked formalization of the 'BGP246 theorem,' the best-known bound on small gaps between prime numbers, marking the closest ap…
Axiom Math's AI system AxiomProver has automatically verified the proof of the '246 theorem' about prime numbers, marking the first time this theorem has been formally verified. The theorem, which sta…
Three startups building AI mathematicians—Harmonic, Axiom Math, and Math Inc—raised over $580 million in the last twelve months, with Harmonic at a $1.45 billion valuation and Axiom Math jumping from …
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…