✨︎ Resumen (TL;DR):
- Un modelo de razonamiento de OpenAI refutó de forma autónoma la conjetura de la distancia unitaria de Paul Erdős.
- El sistema desmintió un problema planteado en 1946 combinando de forma inédita herramientas avanzadas de álgebra.
- Un panel de matemáticos de élite, incluyendo un ganador de la Medalla Fields, validó la veracidad de la prueba.
OpenAI anunció que uno de sus modelos de razonamiento interno logró refutar de forma autónoma la conjetura de la distancia unitaria, un famoso problema de geometría discreta planteado por el matemático Paul Erdős en 1946. El logro representa la primera vez que una inteligencia artificial resuelve de manera independiente un problema abierto y de gran relevancia en el campo de las matemáticas.
El problema de la distancia de una unidad pregunta cuántos pares de puntos a exactamente una distancia de uno pueden existir entre n puntos en un plano. Erdős planteó que el límite era como máximo n elevado a la potencia de 1+o(1), es decir, casi lineal. Durante casi ocho décadas, los expertos pensaron que las mejores configuraciones posibles eran similares a cuadrículas cuadradas.
Sin embargo, el sistema de OpenAI elaboró una prueba matemática que demuestra configuraciones de n puntos que producen al menos n elevado a la potencia de 1+δ pares de distancia unitaria para un valor fijo de δ mayor a cero. Este hallazgo desmiente por completo la hipótesis del legendario matemático húngaro.
Una combinación inédita de herramientas complejas
Para llegar a esta conclusión, la IA no recurrió a la fuerza bruta. En su lugar, diseñó un argumento que conecta la teoría algebraica de números, los campos CM y las torres de campos de clases infinitas de tipo Golod-Shafarevich. Aunque los matemáticos ya conocían estas herramientas de forma individual, nunca antes se habían integrado bajo este enfoque para resolver el problema.
Un comité integrado por nueve matemáticos destacados, entre los que destacan el ganador de la Medalla Fields Timothy Gowers, además de Noga Alon y Will Sawin, revisó y validó la demostración. El grupo publicó sus conclusiones en un documento titulado “Remarks on the Disproof of the Unit Distance Conjecture”.
Noga Alon describió el hallazgo como “un logro sobresaliente” y destacó que la demostración “aplica herramientas bastante sofisticadas de la teoría algebraica de números de una manera elegante e inteligente”.
El premio de los 500 dólares y la paciencia de la IA
Thomas Bloom, encargado de gestionar el sitio web de los Problemas de Erdős, señaló que el modelo de inteligencia artificial “resolvió un problema de Erdős de 500 dólares”, en alusión a la recompensa económica que el propio matemático solía asignar a sus acertijos. Bloom calificó el resultado como “tanto sorprendente como impresionante”, y sugirió que el éxito de la máquina se debe, en parte, a su disposición para explorar rutas que los humanos descartaron por considerarlas poco viables.
Por su parte, el cofundador de OpenAI, Greg Brockman, expresó en redes sociales que “es la primera vez que la IA resuelve de manera autónoma un problema abierto prominente y central en un campo de las matemáticas”. Científicos como Sébastien Bubeck y el exinvestigador de Google, Christian Szegedy, coincidieron en que este hito evidencia el desarrollo de capacidades matemáticas sobrehumanas dentro de los nuevos sistemas de IA.
Timothy Gowers reflexionó que, aunque encontrar un contraejemplo es menos alarmante que diseñar una prueba constructiva entera, el argumento presentado por el modelo demuestra una sofisticación matemática genuina. De acuerdo con Bloom, el sistema logró el objetivo “combinando niveles sobrehumanos de paciencia con la familiaridad con una vasta gama de maquinaria técnica”, abriendo un nuevo camino para la investigación científica asistida por computadora.
