La inteligencia artificial sacudió el mundo académico con AxiomProver, un sistema capaz de resolver problemas matemáticos que los mejores especialistas no habían descifrado en años. La plataforma fue creada por la startup Axiom, cofundada por Carina Hong y el matemático Ken Ono, quien dejó la Universidad de Virginia para sumarse al proyecto.
El sistema sorprendió a Dawei Chen y Quentin Gendron, matemáticos que llevaban cinco años intentando resolver una compleja conjetura de geometría algebraica. Mientras Chen probó con otras IA sin éxito, AxiomProver encontró la solución en apenas una noche, revelando conexiones con fórmulas del siglo XIX que habían pasado desapercibidas.
Entre los logros destacados se encuentra la resolución de la Conjetura de Fel, relacionada con los cuadernos del legendario matemático indio Srinivasa Ramanujan. La IA diseñó la prueba completa de forma autónoma, combinando grandes modelos de lenguaje con razonamiento matemático y verificación mediante Lean, un lenguaje especializado.
Scott Kominers, profesor de Harvard, destacó: “No solo resolvió el problema de forma automatizada, sino que la elegancia de las matemáticas que generó es impresionante”. La prueba ya está publicada en arXiv y marca un antes y un después en la colaboración entre inteligencia artificial y matemáticas.
