Un modelo de OpenAI desafía la histórica conjetura de distancia unitaria de Erdős

La cuestión central es: ¿cómo crece ν(n) a medida que aumenta n?

Erdős propuso una construcción basada en una rejilla aproximadamente (\sqrt{n} \times \sqrt{n}). Esa configuración produce alrededor de

n^(1+Ω(1/log log n))

distancias unitarias. Durante décadas se sospechó que este crecimiento —ligeramente mayor que lineal— estaba cerca del máximo posible .

Por otro lado, un resultado clásico de Spencer, Szemerédi y Trotter establece que

ν(n) = O(n^(4/3))

lo que fija un límite superior mucho mayor. Entre ese límite y la conjetura de Erdős quedaba una gran brecha sin resolver .

El resultado que presenta OpenAI

Según el documento técnico publicado por OpenAI, el modelo logró construir configuraciones de puntos tales que

ν(n) ≥ n^(1+δ)

para infinitos valores de n y algún número fijo positivo δ .

Esto es significativo porque la conjetura de Erdős sostenía que el crecimiento máximo debía ser esencialmente casi lineal (del tipo n^(1+o(1))). Un exponente fijo δ mayor que cero implica un crecimiento polinómico más rápido, lo que contradice directamente esa predicción .

En otras palabras: existirían infinitas configuraciones de puntos en el plano donde el número de pares a distancia 1 crece de forma claramente superlineal, no solo ligeramente por encima de n.

La idea matemática detrás de la construcción

Las construcciones clásicas del problema dependían principalmente de geometría combinatoria y estructuras tipo rejilla. El enfoque del modelo, en cambio, recurre a teoría algebraica de números .

El esquema general utiliza:

• Campos CM (complex multiplication fields), objetos centrales de la teoría algebraica de números.
• Torres infinitas de campos de clase con propiedades del tipo Golod–Shafarevich.
• Estructuras algebraicas que generan grandes familias de relaciones entre elementos con norma 1.

A partir de estas torres de extensiones numéricas, el método produce retículos de alta dimensión con muchas relaciones de norma que luego pueden interpretarse geométricamente como pares de puntos a distancia unitaria en el plano .

La intuición es que, en lugar de depender de la repetición geométrica de una rejilla, el método crea una enorme reserva de relaciones algebraicas que se traducen en muchas aristas de longitud 1 en el grafo de distancias.

Verificación y revisión por matemáticos

El anuncio vino acompañado de documentos donde matemáticos analizan y condensan el argumento. Entre los autores asociados a estas revisiones aparecen investigadores conocidos como Noga Alon, Timothy Gowers, Will Sawin, Melanie Wood y otros .

Estos trabajos presentan versiones resumidas y verificadas del razonamiento generado por el modelo, además de comentarios sobre las ideas matemáticas involucradas. Sin embargo, como ocurre con cualquier resultado importante, la aceptación definitiva dependerá de la revisión y validación continua por parte de la comunidad matemática.

Por qué este resultado ha llamado tanta atención

Si el argumento se confirma plenamente, el caso sería notable por dos razones:

• Resolvería (o refutaría) una conjetura central en geometría discreta planteada hace casi 80 años.
• Representaría uno de los ejemplos más destacados de un sistema de IA produciendo una prueba matemática original para un problema abierto significativo.

Aun así, algunos investigadores recomiendan cautela hasta que el resultado se examine exhaustivamente. En matemáticas, incluso pruebas aparentemente correctas pueden requerir años de revisión antes de considerarse completamente establecidas.

Lo que sí parece claro es que el enfoque —mezclar geometría combinatoria con técnicas profundas de teoría algebraica de números— abre una nueva dirección inesperada para un problema clásico.