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…
On July 15-16, 2024, at the International Mathematical Olympiad in Shanghai, several frontier AI systems, including Claude Fable 5, GPT-5.6 Sol, and Kimi K3, achieved perfect scores of 42 out of 42 on…
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…