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.
