A startup founded by a Stanford dropout less than 15 months ago claims to have done something that typically takes human mathematicians decades: solve multiple unsolved problems in mathematics using an AI system, then get the work accepted by the academic establishment.
Axiom Math, a Palo Alto-based company led by founder Carina Hong, says its AxiomProver system has cracked at least four previously unsolved mathematical problems. The proofs were posted on arXiv in February 2026, but as of late May 2026, no peer-reviewed journal publications have been confirmed — a distinction the article’s framing obscures.
What Axiom actually solved
The problems tackled by AxiomProver aren’t trivial exercises. Among the results are solutions to significant conjectures in algebraic geometry and Fel’s Conjecture, a problem connected to the work of Srinivasa Ramanujan. One of the solved problems involves a 20-year-old number theory conjecture.
At least one of the proofs resulted from collaboration with established mathematicians, not pure machine output.
