En un avance que ha sacudido los cimientos de la comunidad matemática global, un modelo de Inteligencia Artificial (IA) de OpenAI ha refutado una conjetura que había permanecido inquebrantable durante casi ocho décadas. La intuición del célebre matemático húngaro Paul Erdős, que durante generaciones guio gran parte de la investigación en un famoso problema geométrico, ha sido desmentida por un sistema de razonamiento general.
El problema en cuestión, conocido como el ‘problema de la distancia unitaria’, fue formulado por Erdős en 1946. La pregunta, aparentemente simple, planteaba: si se colocan puntos sobre un plano, ¿cuántos pares pueden quedar exactamente a la misma distancia? Erdős sospechaba que la forma óptima de maximizar estas conexiones era organizar los puntos en una especie de cuadrícula, una hipótesis que muchos matemáticos habían creído correcta.
Sin embargo, el camino que tomó la IA resultó ser tan sorprendente como el propio resultado. En lugar de seguir las estrategias tradicionales basadas en cuadrículas, el sistema recurrió a la teoría algebraica de números, una rama extraordinariamente abstracta de las matemáticas que hasta ahora no había desempeñado un papel central en este problema. El modelo transformó estructuras matemáticas complejas en nuevas disposiciones de puntos, logrando configuraciones mucho más eficientes.
La reacción entre los matemáticos no se hizo esperar. ‘Es un problema que no esperaba ver resuelto en mi vida’, confesó Misha Rudnev de la Universidad de Bristol a New Scientist, calificándolo de ‘absolutamente una bomba’. Por su parte, el medallista Fields Timothy Gowers, galardonado con el premio más prestigioso de las matemáticas, aseguró que si un investigador humano hubiera presentado este trabajo, lo habría recomendado para publicación sin dudarlo. Will Sawin de la Universidad de Princeton lo describió como ‘el logro más significativo de la IA’ en matemáticas hasta la fecha.
Lo más asombroso es que OpenAI ha señalado que este modelo no fue entrenado específicamente para la investigación matemática avanzada, sino que era un sistema de razonamiento general. Pese a ello, fue capaz de producir cientos de páginas de argumentos y cálculos, los cuales fueron posteriormente revisados y validados por especialistas externos encargados de examinar la demostración.
Cabe aclarar que el avance no significa que el problema de la distancia unitaria haya quedado completamente cerrado. La IA no encontró la respuesta definitiva sobre cuál es el máximo exacto de pares posibles, sino que demostró que el límite propuesto por Erdős era demasiado bajo, invalidando su famosa intuición.
Expertos han subrayado que el logro de la IA no radicó en inventar matemáticas completamente nuevas, sino en combinar ideas existentes de maneras que los humanos no habían explorado. Durante décadas, muchos matemáticos invirtieron esfuerzos en intentar probar la hipótesis de Erdős, o si buscaron contraejemplos, difícilmente habrían perseverado en un camino tan complejo y, a priori, poco prometedor. La IA, en contraste, puede explorar líneas de razonamiento matemático durante mucho más tiempo, siguiendo rutas que los investigadores humanos habrían abandonado.
No obstante, el papel de los matemáticos humanos sigue siendo crucial. Varios investigadores recalcaron que la demostración original de la IA tuvo que ser revisada, reorganizada y refinada por especialistas antes de hacerse pública. Melanie Matchett Wood también advirtió sobre un posible problema: la IA tendía a presentar ideas ya existentes en la literatura matemática como si fueran completamente originales, un hecho que, de ser cometido por un humano, sería considerado ‘negligencia profesional’.
El consenso general es claro: este episodio marca el primer gran resultado matemático obtenido de forma autónoma por una inteligencia artificial en un problema abierto de gran importancia. Aunque nadie cree que los modelos actuales puedan reemplazar la creatividad humana más profunda, este anuncio deja una sensación difícil de ignorar: la IA ya no solo ayuda a calcular; ahora empieza también a descubrir. Daniel Litt, matemático de la Universidad de Toronto que participó en la revisión externa, resumió el momento con una mezcla de entusiasmo e incomodidad: ‘Este es el único resultado interesante producido de forma autónoma por la IA hasta ahora’. Pero añadió una frase aún más inquietante: ‘Mi sospecha es que estamos a punto de descubrir que, en realidad, no son tan raros’.
