AI Used to Verify Toughest Mathematics Proof Yet
Industry
Source: IEEE Spectrum AIPublish time unverified
Representing a significant milestone in AI-assisted 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. In formal verification, mathematicians task a computer with checking a machine-readable version of a proof.