Una startup fundada por un estudiante que dejó Stanford hace menos de 15 meses afirma haber logrado algo que normalmente lleva décadas a matemáticos humanos: resolver múltiples problemas no resueltos en matemáticas utilizando un sistema de IA y conseguir que su trabajo sea aceptado por la comunidad académica.
Axiom Math, una empresa con sede en Palo Alto liderada por la fundadora Carina Hong, afirma que su sistema AxiomProver ha resuelto al menos cuatro problemas matemáticos previamente sin resolver. Las demostraciones se publicaron en arXiv en febrero de 2026, pero hasta finales de mayo de 2026, no se han confirmado publicaciones en revistas revisadas por pares — una distinción que el enfoque del artículo oculta.
Lo que realmente resolvió Axiom
Los problemas abordados por AxiomProver no son ejercicios triviales. Entre los resultados se encuentran soluciones a conjeturas significativas en geometría algebraica y la Conjetura de Fel, un problema relacionado con el trabajo de Srinivasa Ramanujan. Uno de los problemas resueltos involucra una conjetura de teoría de números de 20 años de antigüedad.
Al menos una de las pruebas resultó de la colaboración con matemáticos establecidos, no de una salida puramente automática.
La empresa utiliza verificación formal a través del asistente de prueba Lean. En lugar de generar texto que parezca una prueba y esperar que sea correcta, AxiomProver produce pruebas que se verifican mecánicamente en cada paso para garantizar su validez lógica. Esta capa de verificación formal es lo que otorga credibilidad al trabajo, algo que las salidas típicas de modelos de lenguaje grandes no poseen.
El dinero y el equipo detrás de él
Axiom Math recaudó 200 millones de dólares en una ronda de financiación Serie A liderada por Menlo Ventures, elevando su valoración posterior a la inversión a 1.600 millones de dólares. Esto se sumó a los 64 millones de dólares en inversiones semilla anteriores, llevando la financiación total conocida a 264 millones de dólares. Hong dejó un programa conjunto de J.D./Ph.D. en Stanford para iniciar la empresa en marzo de 2025.
Ken Ono, un destacado teórico de números conocido por su trabajo sobre el legado de Ramanujan y las formas modulares, se unió a Axiom Math como matemático fundador.
La imagen más amplia sobre IA y matemáticas
Axiom Math no opera en un vacío. Google DeepMind ha estado avanzando en el razonamiento matemático, especialmente con su sistema AlphaProof.
Es práctica estándar que los matemáticos publiquen preimpresiones en arXiv mientras los artículos pasan por revisión por pares, un proceso que puede durar meses o incluso años. Las preimpresiones de febrero de 2026 en arXiv actualmente están siendo examinadas por expertos, y hasta finales de mayo de 2026 no se han confirmado publicaciones revisadas por pares.