AI Used to Verify Toughest Mathematics Proof Yet

Representing a significant milestone in AIassisted mathematical research, a team at Axiom Math has automatically verified the proof of a theorem relating to prime numbers—colloquially referred to as the “246 theorem”—for the first time using the company’s AI system AxiomProver.