19 August 2026
AI math startup formalizes 246-year-old prime gap theorem
- Axiom AI, a mathematics-focused AI startup, formalized the 246 theorem, which concerns gaps between prime numbers.
- Formalizing means translating a mathematical proof into a form a computer can verify as logically correct.
