¿Te imaginas que tu ordenador empezara a descubrir teoremas en los que los humanos llevamos años de pura frustración? Pues deja de imaginarlo, porque es exactamente lo que acaba de pasar. Un experimento muy reciente ha puesto al límite el razonamiento algorítmico al enfrentarse a cuatro problemas matemáticos sin solución. Y la máquina ha salido victoriosa. Hablamos de un salto técnico enorme que puedes consultar en arXiv y que promete acelerar el conocimiento científico a ritmos verdaderamente mareantes.
Evidentemente, el detonante de esta historia no fue un gran premio millonario ni una ambiciosa campaña de marketing tecnológico. Todo empezó cuando los matemáticos Dawei Chen y Quentin Gendron se toparon con un muro infranqueable en plena investigación de geometría algebraica. Llegaron a una compleja fórmula de teoría de números que, sencillamente, no sabían cómo justificar con las herramientas de cálculo tradicionales. Así que tuvieron que dejarla apartada como una conjetura abierta. Un callejón sin salida.
Como era de esperar en pleno boom de la IA, Chen intentó tirar por la vía rápida y le pasó el problema a varios de los modelos generalistas más populares. El resultado fue un desastre absoluto. Ya sabemos que los LLMs tradicionales son estupendos para programar código rápido o redactar correos, pero patinan muchísimo cuando se trata de lógica deductiva pura. Hacía falta un enfoque muy especializado, un software que no se limitara a adivinar estadísticamente la siguiente palabra. Algo que realmente supiera razonar.
AxiomProver: La red neuronal que no alucina con los números
Y es que el cambio real de paradigma se dio cuando entró en la ecuación Ken Ono. Este experto matemático está estrechamente asociado a Axiom, una start-up que está haciendo un ruido tremendo en el ámbito de la inferencia lógica automatizada. Juntos decidieron inyectar el problema en el núcleo de su sistema estrella, bautizado como AxiomProver. Tal y como cuentan en Wired, el algoritmo se puso a procesar datos y arrojó una demostración impecable de principio a fin. El enigma se rompió por completo.
En concreto, lo verdaderamente fascinante de este hito técnico es cómo logró la máquina llegar a esa ansiada respuesta. La inteligencia artificial no ejecutó un simple RAG para rastrear bases de datos y copiar el trabajo de otros autores. Fue muchísimo más al fondo y descubrió de forma autónoma una conexión inédita con un extraño fenómeno numérico documentado en el siglo XIX. A partir de esa oscura pista histórica, el modelo construyó una prueba matemática con una coherencia asombrosa. Una genialidad sintética.
Pero claro, en las altas esferas académicas nadie se fía de la palabra de un código informático si no aporta pruebas irrefutables de su hallazgo. Por eso, la lógica estructural generada por la IA fue sometida de inmediato al escrutinio de Lean. Para que te hagas una idea, este es un lenguaje formal hiperestricto diseñado específicamente para certificar demostraciones matemáticas línea por línea sin tolerar ni un fallo. Y la prueba de AxiomProver superó esta trituradora de verificación matemática sin un solo error de cálculo. Así de simple.
Syzygies, Ramanujan y el fantasma de Fermat
Por si fuera poco, el algoritmo no se conformó con colgarse una sola medalla en el pecho. El equipo decidió exprimir los servidores y probar suerte con otros enigmas teóricos que llevaban demasiados años frustrando a los humanos. El siguiente teorema en caer fue la llamada conjetura de Fel, un auténtico dolor de cabeza relacionado con unas intrincadas estructuras algebraicas conocidas como *syzygies*. Tienes todos los pormenores técnicos de la hazaña en este denso artículo en arXiv sobre la conjetura de Fel.
Si miramos las entrañas de este segundo logro, la máquina volvió a sacar pecho exhibiendo un ingenio brutal. Logró redactar la demostración apoyándose en fórmulas abstractas del genio matemático Srinivasa Ramanujan, concebidas hace más de un siglo. Las otras dos soluciones restantes se adentraron en modelos probabilísticos complejos y jugaron con herramientas ligadas al mítico Último Teorema de Fermat. La comunidad científica sigue tratando de procesar el golpe, como ilustra de forma clara este enlace en Twitter que ha estado circulando entre catedráticos de primer nivel.
Básicamente, lo que estamos presenciando hoy no es una simple anécdota, ni significa que los investigadores de carne y hueso se vayan al paro. El propio investigador Dawei Chen asimila este impacto a la llegada de la calculadora científica, pero dotada ahora de capacidades deductivas casi alienígenas. La inteligencia artificial se acaba de posicionar como el copiloto definitivo, capaz de trazar vías de exploración que nuestro cerebro biológico apenas vislumbra. Tocará ver si la competencia es capaz de responder pronto a este órdago tecnológico.
Me dedico al SEO y la monetización con proyectos propios desde 2019. Un friki de las nuevas tecnologías desde que tengo uso de razón.
Estoy loco por la Inteligencia Artificial y la automatización.
