Perusahaan rintisan termasuk Axiom Math dan Harmonic menarik pendanaan ratusan juta untuk menciptakan perangkat AI yang mampu memecahkan matematika tingkat lanjut dan memverifikasi hasilnya sendiri.
Para matematikawan seperti Ken Ono telah meninggalkan posisi mereka di universitas untuk bergabung dengan perusahaan-perusahaan ini. Ono mengambil cuti dari University of Virginia pada tahun 2025 untuk bekerja di Axiom Math di Palo Alto, California. Perusahaan tersebut didirikan oleh mantan mahasiswinya, Carina Hong, yang pernah menempuh pendidikan di Stanford University.
