Des start-ups comme Axiom Math et Harmonic attirent des centaines de millions de dollars de financement pour créer des outils d'IA capables de résoudre des problèmes mathématiques complexes et de vérifier leurs propres résultats.
Des mathématiciens comme Ken Ono ont quitté leurs postes universitaires pour rejoindre ces entreprises. Ono a pris un congé sabbatique de l'Université de Virginie en 2025 pour travailler chez Axiom Math à Palo Alto, en Californie. L'entreprise a été fondée par son ancienne étudiante Carina Hong, qui a étudié à l'Université Stanford.
