Inteligencia artificial resuelve conjetura matemática de 80 años

El 20 de mayo de 2026 quedará marcado en los anales de la ciencia como el día en que la inteligencia artificial dejó de ser un simple recopilador de información para convertirse en un creador original de conocimiento de vanguardia. En una demostración de fuerza intelectual que ha sacudido tanto a Silicon Valley como a los departamentos de matemáticas más selectos del planeta, OpenAI anunció que un modelo de razonamiento de propósito general, de naturaleza interna y aún no lanzado al mercado, logró desmentir de forma completamente autónoma la conjetura de las distancias unitarias planas. Este problema de geometría combinatoria, formulado originalmente hace exactamente ochenta años por el legendario matemático húngaro Paul Erdős en 1946, había resistido los embates de las mentes humanas más brillantes durante casi un siglo.

La hazaña no es solo un triunfo para la geometría discreta; representa un cambio de paradigma absoluto en el campo del aprendizaje profundo. Por primera vez en la historia, un sistema de red neuronal que no fue diseñado específicamente para la demostración de teoremas ha resuelto de manera autónoma un problema abierto y de enorme relevancia en la matemática pura. El logro redefine el debate sobre las capacidades cognitivas de las máquinas, sepultando la vieja narrativa que relegaba a los grandes modelos de lenguaje (LLM) a la categoría de meros “loros estocásticos” capaces únicamente de regurgitar información preexistente de su base de datos de entrenamiento.

El enigma de Erdős: ¿De qué se trata la conjetura de las distancias unitarias?

Para comprender la magnitud de lo acontecido, es necesario adentrarse en la engañosa sencillez del problema original. En su célebre artículo de 1946 publicado en el American Mathematical Monthly, Paul Erdős planteó una pregunta elemental de la geometría combinatoria: si colocamos n puntos en un plano bidimensional, ¿cuál es el número máximo de parejas de puntos que pueden estar a una distancia exacta de una unidad?

Durante décadas, el consenso matemático se apoyó en la intuición de que las configuraciones basadas en cuadrículas de puntos (como las redes cuadradas escaladas de manera óptima) eran la mejor forma de maximizar estas distancias unitarias. Basándose en esto, Erdős conjeturó que el número máximo de parejas separadas por una unidad, denotado históricamente como u(n), no podía crecer más rápido que n^1+o(1) —un límite superior que se eleva apenas un poco más rápido que una tasa lineal (específicamente expresado como n^{1+c/log log n} para una constante positiva c).

A pesar de que el límite superior absoluto conocido era de O(n^4/3) —establecido en 1984 por Joel Spencer, Endre Szemerédi y William Trotter mediante el uso de teoremas de incidencia—, la conjetura de Erdős sobre el comportamiento del límite inferior de n^1+o(1) permanecía inamovible. La comunidad matemática daba por sentado que la rigidez del mundo plano forzaba que cualquier distribución óptima se asemejara a una estructura de red. Sin embargo, el modelo de OpenAI demostró que la geometría euclidiana esconde secretos tridimensionales y algebraicos invisibles al ojo humano.

La arquitectura del contraejemplo: Teoría de números algebraicos en el plano

En lugar de intentar optimizar las configuraciones geométricas tradicionales o mover puntos de manera iterativa sobre el plano —un camino agotado por investigadores humanos durante generaciones—, el modelo de OpenAI tomó un desvío conceptual asombroso. Conectó de forma directa la geometría discreta bidimensional con la teoría profunda de números algebraicos y la geometría de dimensiones superiores.

La demostración original de 125 páginas, generada en un único flujo de inferencia de “un solo disparo” (one-shot) sin intervención ni guía humana, plantea que es posible construir conjuntos de puntos donde el número de distancias unitarias crece a una tasa estrictamente mayor que la conjetura de Erdős, logrando un crecimiento de n^1+ε para un valor constante ε > 0. Para lograr esta construcción, el modelo de OpenAI utilizó una serie de sofisticadas herramientas que conectan múltiples disciplinas de las matemáticas puras:

• Torres de cuerpos de clases infinitas (Infinite class field towers): El modelo construyó una torre infinita no ramificada de cuerpos de números totalmente reales con grupos de Galois de potencias de 3 y de grado creciente, en los cuales un conjunto fijo de primos racionales se descompone por completo.
• El criterio de Golod-Shafarevich (1964): Utilizado originalmente en el álgebra abstracta para demostrar la existencia de grupos p-pro infinitos con pocas relaciones, este criterio sirvió para garantizar la existencia de dicha torre infinita de cuerpos de clases, incluso tras aplicar un paso de cociente que anula las clases de Frobenius prescritas.
• Redes de alta dimensión: Al adjuntar la unidad imaginaria i a estos cuerpos, el modelo obtuvo redes de alta dimensión que poseen una inmensa cantidad de elementos cuyas imágenes, bajo cualquier incrustación compleja, tienen un valor absoluto exactamente igual a 1.

Al proyectar adecuadamente estas redes complejas de vuelta al plano euclidiano, se reveló una familia infinita