Startups som Axiom Math och Harmonic lockar hundratals miljoner i finansiering för att skapa AI-verktyg som löser avancerad matematik och verifierar sina egna resultat.
Matematiker som Ken Ono har lämnat universitetsanställningar för att ansluta sig till dessa företag. Ono tog tjänstledigt från University of Virginia 2025 för att arbeta på Axiom Math i Palo Alto, Kalifornien. Företaget grundades av hans tidigare student Carina Hong, som studerade vid Stanford University.