13:00
2026-08-17
spectrum.ieee.org
artificial-intelligence
AI Used to Verify Toughest Mathematics Proof Yet
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…