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.
This theorem had stood for 12 years without being formalized, and Axiom's system completed the task.

How it was covered

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 in mathematics.