OpenAI refuta la conjetura de distancias unitarias de Erdős: un problema abierto de 80 años zanjado por un contraejemplo de la IA

## OpenAI refuta la conjetura de distancias unitarias de Erdős En 1946, Paul Erdős planteó el problema de las distancias unitarias: dados n puntos en el plano, ¿cuál es el máximo número de pares de puntos cuya distancia es exactamente 1? Durante casi 80 años, los matemáticos creyeron ampliamente que la configuración de cuadrícula era la óptima. OpenAI anunció que su modelo de razonamiento interno ha aportado la primera demostración por contraejemplo totalmente autónoma. **Puntos clave** - **Un contraejemplo, no una demostración**: el modelo no demostró que la cuadrícula sea óptima, sino que construyó un contraejemplo: una familia infinita de conjuntos de puntos que supera la cota de la cuadrícula en un factor polinómico explícito (refinado a n^1.014 por Sawin, de Princeton). - **Valoraciones de peso**: Tim Gowers, medallista Fields de 1998, lo calificó de «hito de las matemáticas con IA» y afirmó que ninguna demostración generada por IA se había acercado antes a este nivel; Gil Kalai lo comparó con la demostración asistida por ordenador del teorema de los cuatro colores en 1976. - **Un triunfo de los modelos generalistas**: el detalle clave es que se trata de un modelo de razonamiento de propósito general, ni entrenado específicamente para matemáticas ni orientado a este problema. Encontró por sí mismo un camino que generaciones de geómetras combinatorios habían pasado por alto. - **Polémica**: Andreas Thom acusa a OpenAI de haber usado investigación suya no publicada, y la disputa sigue abierta; al citar este trabajo conviene presentarla junto con el resultado. > Enlace original: [ver el original](https://pasqualepillitteri.it/en/news/3065/openai-erdos-unit-distance-conjecture-ai-breakthrough). El texto es un resumen y se ofrece solo como referencia.