Una IA resuelve un rompecabezas de geometría de 80 años. ¿Qué opinan los matemáticos?

Ocho décadas después de que Paul Erdős planteara el problema de la distancia unitaria en 1946, una IA de propósito general ha generado configuraciones que superan los límites conjeturados desde hace mucho tiempo, demostrando al menos pares de distancia unitaria de n^(1+δ) para algún δ>0. Matemáticos de Princeton han verificado el resultado, con figuras como Tim Gowers y Arul Shankar calificándolo como un avance significativo.

• Conclusiones clave:
• OpenAI resolvió el rompecabezas de Paul Erdős de 1946 con construcciones de n^(1+δ) pares de distancia unitaria.
• Princeton verificó el resultado, dando a la IA un impulso de credibilidad en matemáticas para 2026.
• Tim Gowers dice que el avance podría influir en la criptografía y en demostraciones más allá de la geometría.

Un acertijo de geometría de 80 años por fin se movió cuando un sistema de OpenAI hiló una construcción improbable que superó las expectativas históricas. El problema de la distancia unitaria, planteado por Paul Erdős en 1946, pregunta cuántos pares de puntos exactamente a una unidad de distancia pueden existir entre n puntos en el plano; la IA encontró configuraciones que crecen más rápido que lo que permitía el guion clásico. Matemáticos de Princeton revisaron el trabajo y figuras destacadas como Tim Gowers y Arul Shankar se dieron por enterados. Más allá de los triunfos, el resultado sugiere un tipo nuevo de colaborador para las matemáticas: uno que usa inferencia general para superar la heurística humana.

La IA desvela un misterio matemático de 80 años con una solución breakthrough

Algunos problemas no dejan de empujar los límites de la paciencia humana. El problema de la distancia unitaria, planteado en 1946 por Paul Erdős, planteó una pregunta sorprendentemente concisa: con n puntos sobre un plano, ¿cuántos pares pueden estar exactamente a 1 unidad de distancia? Generaciones lo atacaron con rejillas, simetría y tesón. El progreso llegaba en porciones, nunca con saltos. Entonces, en silencio, una IA entró en escena.

Un problema de décadas, resuelto al fin

El enfoque clásico colocaba puntos en rejillas cuadradas, ajustando la escala para lograr más pares a distancia 1. Ese método sugería un crecimiento apenas por encima de lo lineal, aproximadamente n multiplicado por un factor que apenas supera a n a medida que crece. El campo se asentó en la idea de que el mejor límite inferior rondaba n^(1+o(1)), un escalón por encima de n, no un avance.

Cómo la IA superó las conjeturas

Según investigadores involucrados, un modelo interno de OpenAI propuso una nueva familia de configuraciones de puntos que cruza un umbral considerado durante mucho tiempo inalcanzable. El sistema produjo construcciones con al menos n^(1+δ) pares de distancia unitaria, para un δ fijo mayor que 0 que no se desvanece al aumentar n. Eso es una mejora polinómica real, no un simple redondeo.

El enfoque combinó intuición geométrica con teoría avanzada de números algebraicos, una combinación sorprendente para un rompecabezas espacial de conteo. No surgió de un motor especializado en matemáticas. En cambio, apareció a partir de un modelo de inferencia general en evaluación, lo que sugiere capacidades de razonamiento más amplias que pueden navegar entre dominios cuando el espacio de búsqueda es enorme.

Confirmado por expertos, celebrado por el campo

Matemáticos independientes de la Universidad de Princeton revisaron las construcciones de la IA y confirmaron el resultado, según personas familiarizadas con la revisión. Voces respetadas, incluidos Sir Tim Gowers y Arul Shankar, elogiaron el avance como un paso significativo para el campo. Este es el caso en el que un nuevo límite inferior, estancado durante mucho tiempo, finalmente se movió porque una IA encontró la lente adecuada.

Implicaciones para las matemáticas y más allá

¿Qué significa cuando un modelo generalista logra superar con ímpetu conjeturas arraigadas? Por un lado, sugiere un flujo de trabajo donde las máquinas sacan estructuras candidatas y los humanos las someten a pruebas intensivas. Además de la geometría, disciplinas como la combinatoria, la teoría de la codificación y la criptografía podrían ver colaboraciones similares cuando las demostraciones dependen de construcciones raras.