Start-ups como a Axiom Math e a Harmonic estão atraindo centenas de milhões em financiamento para criar ferramentas de IA que resolvem problemas matemáticos avançados e verificam os seus próprios resultados.
Matemáticos como Ken Ono deixaram cargos universitários para se juntar a essas empresas. Ono entrou em licença da Universidade da Virgínia em 2025 para trabalhar na Axiom Math em Palo Alto, na Califórnia. A empresa foi fundada por sua ex-aluna Carina Hong, que estudou na Universidade Stanford.
