Axiom, una startup de inteligencia artificial, ha resuelto exitosamente cuatro problemas matemáticos de larga data que habían desconcertado a matemáticos humanos. El sistema de IA de la empresa, AxiomProver, generó demostraciones para estas conjeturas complejas, marcando un avance significativo en la aplicación de la IA a las matemáticas teóricas. Estos descubrimientos se detallaron en artículos separados publicados en el repositorio de preimpresión arXiv.
La capacidad de la IA para abordar problemas tan desafiantes subraya la sofisticación creciente del aprendizaje automático en el descubrimiento científico. Uno de los problemas que AxiomProver resolvió involucró una conjetura de los matemáticos Dawei Chen y Quentin Gendron. Después de encontrar un obstáculo teórico en su investigación sobre geometría algebraica hace cinco años, no pudieron validar una fórmula crucial enraizada en la teoría de números y publicaron sus hallazgos como una conjetura. Su trabajo, junto con la demostración asistida por IA, está disponible en arXiv Chen and Gendron conjecture and proof.
El matemático Ken Ono, quien recientemente se unió a Axiom, jugó un papel clave al conectar la conjetura de Chen con la IA de la startup. Ono había estado colaborando con Chen y, al enterarse del problema sin resolver, consultó el sistema de IA de Axiom. A la mañana siguiente, AxiomProver proporcionó una demostración completa, revelando un vínculo inesperado entre la conjetura de Chen y un fenómeno numérico del siglo diecinueve. Esta demostración generada por IA no solo resolvió el problema sino que también verificó su corrección, ofreciendo perspectivas que habían eludido a los matemáticos humanos. Este desarrollo fue reportado por Wired Wired report on Axiom’s AI.
Además de la conjetura de Chen-Gendron, AxiomProver también ha producido una demostración completamente ideada por IA para la Conjetura de Fel. Esta conjetura se refiere a las sizigia, que son expresiones algebraicas con alineaciones numéricas específicas. Notablemente, la Conjetura de Fel incorpora fórmulas encontradas en los cuadernos del renombrado matemático indio Srinivasa Ramanujan. AxiomProver construyó de forma independiente la demostración completa para esta conjetura, basándose en las fórmulas de Ramanujan. Esta demostración también ha sido publicada en arXiv Fel’s Conjecture proof.
Aunque la IA de Axiom aún no ha abordado los problemas matemáticos más famosos o recompensados financieramente, su éxito con estas conjeturas especializadas demuestra su capacidad para abordar preguntas que han desafiado a expertos en diversas disciplinas durante años. Estos logros subrayan el potencial expansivo de la inteligencia artificial en el ámbito de las matemáticas avanzadas.
Los fundamentos tecnológicos del éxito de Axiom radican en la combinación de modelos de lenguaje grandes con AxiomProver. Este sistema especializado está diseñado para el razonamiento sistemático a través de problemas matemáticos, con el objetivo de generar soluciones demostrablemente correctas. Este enfoque comparte similitudes con AlphaProof de Google, introducido en 2024, aunque Axiom sostiene que AxiomProver incorpora avances más recientes. Una característica clave de AxiomProver es su capacidad para verificar demostraciones utilizando Lean, un lenguaje matemático formal. Esta capacidad permite que la IA desarrolle metodologías novedosas de resolución de problemas en lugar de simplemente recuperar información existente de la literatura académica.
Scott Kominers, profesor de la Escuela de Negocios de Harvard familiarizado tanto con la Conjetura de Fel como con la tecnología de Axiom, expresó considerable sorpresa ante el logro de la IA. Destacó no solo la resolución y verificación automatizadas sino también la elegancia matemática de las demostraciones generadas por AxiomProver.
Más allá de estos ejemplos específicos, la IA de Axiom también ha generado dos demostraciones adicionales. Una aborda un modelo probabilístico relacionado con callejones sin salida en la teoría de números, mientras que la otra utiliza herramientas matemáticas originalmente desarrolladas en la resolución del Último Teorema de Fermat, uno de los problemas más célebres de las matemáticas.
Ken Ono prevé que AxiomProver desempeñe un doble papel: asistir a los matemáticos en sus esfuerzos de investigación e iluminar los procesos fundamentales del descubrimiento matemático. Dawei Chen, reflexionando sobre la resolución de su propia conjetura, expresó optimismo sobre la integración futura de la IA en las matemáticas. Trazó un paralelo con la llegada de las calculadoras, que no disminuyeron el conocimiento matemático sino que expandieron las posibilidades de investigación. Chen ve la IA como un socio inteligente capaz de ampliar los horizontes matemáticos y facilitar investigaciones más sofisticadas. Este desarrollo significa una nueva era donde la IA actúa no solo como una herramienta sino como un colaborador en el avance de los límites del conocimiento humano.
Fuentes
- https://arxiv.org/abs/2512.01234
- https://www.wired.com/story/a-new-ai-math-ai-startup-just-cracked-4-previously-unsolved-problems/
- https://arxiv.org/abs/2512.04567
