Imagina que eres un arquitecto y te dan un reto: “Coloca tantas casas como quieras en un plano infinito, pero intenta que la mayor cantidad posible de parejas de vecinos estén a exactamente un metro de distancia“. Durante 80 años, muchos matemáticos, inspirados por Paul Erdős, pensaron que existía un límite casi insuperable: que el número máximo de parejas unitarias crecía esencialmente de forma lineal con el número de casas. Parecía una regla inmutable.
¿Cómo lograron ver lo invisible?
El 21 de mayo de 2026, las reglas cambiaron. Un modelo interno de OpenAI en lugar de usar una rejilla normal (como un cuaderno cuadriculado), usó algo llamado “Torres de Clase”. Imagina que en lugar de un piso plano, la IA construyó un rascacielos infinito de dimensiones matemáticas. Al proyectar las sombras de ese rascacielos sobre nuestro suelo, ¡aparecieron miles de parejas de puntos a la distancia perfecta que antes eran invisibles!
La prueba demuestra que existen configuraciones de puntos con crecimiento polinómico superior al esperado: para infinitos tamaños n hay al menos n1+δ pares a distancia 1, con δ>0. La construcción, explicada en el informe técnico, combina ideas avanzadas de teoría algebraica de números (torres de clase y teoría de Golod–Shafarevich) y un paso geométrico que encapsula enteros de campos de números en un espacio de Minkowski, sitúa una ventana producto de discos y proyecta a una coordenada compleja para obtener los puntos planos con muchas distancias unitarias. El resultado fue verificado y digerido por matemáticos externos en un “companion paper“.
¿Por qué esto nos cambia la vida?
- Mapas y redes: Diseñar arreglos con muchas conexiones a distancia fija puede mejorar redes de sensores (reduciendo el consumo energético y errores de sincronización), permitir la coordinación fina entre constelaciones de satélites y aumentar la precisión de mapeos geoespacial.
- Trabajo en equipo: La idea surgió con ayuda de una IA, pero fue la verificación, simplificación y ampliación por parte de matemáticos lo que convirtió la intuición en teoría sólida -un ejemplo de colaboración humano‑máquina donde cada parte aporta lo que mejor sabe hacer.
- Juego y aprendizaje: Este descubrimiento invita a experimentar: dibuja patrones en papel cuadriculado, programa búsquedas en Python o únete a retos escolares para explorar cuántas parejas a distancia 1 puedes conseguir. Comparte tus hallazgos con #ParesUnitarios y aprende jugando.
⚠️ Nota de Realismo: Esta construcción es, por ahora, un resultado teórico profundo -no un algoritmo “mágico” listo para usar en sistemas comerciales-, pero revela nuevas ideas sobre cómo distribuir sensores y planear redes.
¿Qué hicieron las matemáticas y por qué es sorprendente?
La pregunta clave es cuánto vale ν(n)ν(n) (el máximo número de pares a distancia 1). Erdős sugirió que crecía casi linealmente. El nuevo resultado muestra que crece mucho más rápido.
Antes usábamos coordenadas simples. La nueva idea usa campos de números más grandes donde aparecen elementos de “módulo 1”. Al proyectar estos elementos desde una dimensión superior a nuestro plano, las diferencias aparecen como segmentos de longitud 1 de forma masiva. La conexión entre la teoría algebraica de números y la geometría elemental es lo que hace este hallazgo una verdadera joya.
¿Cómo se vuelve geométrico?
- Se identifican muchos elementos u en el campo con norma relativa 1 (son candidatos a diferencias unitarias).
- Se toma la red formada por los enteros del campo y se coloca una ventana geométrica (producto de discos) en el espacio de Minkowski.
- Al proyectar apropiadamente esa ventana a una coordenada compleja se obtiene un conjunto planar en el que las diferencias dadas por los u aparecen como segmentos de longitud 1.
El balance aritmético (muchos elementos $u$) frente a restricciones geométricas (tamaño de la ventana, discriminantes y números de clase controlados) permite que el número de pares unitarios supere la barrera clásica.
Las herramientas usadas (torres de clase, Golod–Shafarevich, control de discriminantes y números de clase) pertenecen a la teoría algebraica de números, un área que no parecía relacionada con un problema geométrico tan elemental; la conexión inesperada es lo que hace el resultado especialmente rico.
Para jóvenes y curiosos
- Experimento Manual: Dibuja puntos sobre papel cuadriculado. ¿Cómo podrías rotar o trasladar grupos de puntos para que más parejas queden a la distancia de un cuadrito? Prueba patrones en “rosca” o filas desplazadas.
- Experimento Digital (Python): Copia este código para contar cuántos pares a distancia 1 hay en tu lista de puntos:
import math
def contar_pares(puntos):
n = len(puntos)
pares = 0
for i in range(n):
for j in range(i + 1, n):
dist = math.sqrt((puntos[i][0]-puntos[j][0])**2 + (puntos[i][1]-puntos[j][1])**2)
if math.isclose(dist, 1.0, rel_tol=1e-7):
pares += 1
return pares
# Ejemplo: Tres puntos formando un triángulo equilátero de lado 1
mis_puntos = [(0,0), (1,0), (0.5, math.sqrt(3)/2)]
print(f"Parejas a distancia 1: {contar_pares(mis_puntos)}")
Referencias
- Alon, N., Bloom, T. F., Gowers, W. T., Litt, D., Sawin, W., Shankar, A., Tsimerman, J., Wang, V., & Matchett Wood, M. (2026). Remarks on the Disproof of the Unit Distance Conjecture. https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf
- Brass, P., Moser, W., & Pach, J. (2005). Research Problems in Discrete Geometry. Springer.
- OpenAI. (2026, 21 de mayo). Planar Point Sets with Many Unit Distances. https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf
