19 August 2026
Axiom AI formalizes 246 theorem about prime gaps
First reported
The Rundown AI ran this on .
- Axiom AI, a mathematics-focused startup, formalized the 246 theorem, which concerns gaps between prime numbers.
- The theorem had stood as an unformalized record for 12 years before this work.
- Formalizing a theorem means writing a computer-verifiable proof, allowing machines to check its logical validity.
How it was covered
The Rundown AIRowan Cheung
AI math startup Axiom claimed to have formalized the 246 theorem, a 12-year-old record on gaps between primes, marking another milestone of AI application in pure mathematics.