Empresas emergentes como Axiom Math y Harmonic están atrayendo cientos de millones en financiación para crear herramientas de IA que resuelvan problemas matemáticos avanzados y verifiquen sus propios resultados.
Matemáticos como Ken Ono han dejado sus puestos universitarios para unirse a estas firmas. Ono solicitó una excedencia en la Universidad de Virginia en 2025 para trabajar en Axiom Math, en Palo Alto, California. La empresa fue fundada por su antigua alumna Carina Hong, quien estudió en la Universidad de Stanford.
