El modelo de OpenAI derroca la conjetura de Erdős, de 80 años de antigüedad, y logra pares de distancias unitarias en n^(1+δ)

Según Beating, el modelo general de razonamiento de OpenAI ha superado la conjetura de la distancia unitaria propuesta por Erdős en 1946. La conjetura clásica sostenía que la cantidad de pares de puntos a distancia unitaria en el plano no excedería de forma significativa n^(1+o(1)); sin embargo, la nueva construcción del conjunto de puntos del modelo logra n^(1+δ) pares, donde δ es una constante positiva, rompiendo el límite superior mantenido durante casi 80 años.

El modelo completó esta demostración sin sistemas matemáticos especializados ni herramientas personalizadas. Matemáticos externos, incluidos Noga Alon, Tim Gowers y Arul Shankar, verificaron la prueba original y publicaron un artículo de apoyo en arXiv, confirmando que la derivación emplea técnicas avanzadas de la teoría de números algebraicos.