Start-ups including Axiom Math and Harmonic are attracting hundreds of millions in funding to create AI tools that solve advanced mathematics and verify their own results.
Mathematicians such as Ken Ono have left university posts to join these firms. Ono went on leave from the University of Virginia in 2025 to work at Axiom Math in Palo Alto, California. The company was founded by his former student Carina Hong, who studied at Stanford University.