OpenAI resuelve la conjetura de Erdős que permaneció sin prueba durante 80 años

OpenAI ha logrado un hito histórico en la intersección entre inteligencia artificial y matemáticas. Un modelo de propósito general de la compañía ha resuelto de forma autónoma el problema de distancia unitaria plana, una conjetura central de geometría discreta postulate por Paul Erdős en 1946. Durante casi 80 años, ningún matemático había logrado resolver este enigma que cuestiona cuántos pares de puntos pueden estar exactamente a distancia uno en el plano. La demostración proporciona una mejora polinómica sobre las construcciones conocidas como "cuadrícula cuadrada", que se creían óptimas. Lo sorprendente es que el modelo utilizó herramientas de teoría de números algebraicos, un campo aparentemente alejado de la geometría elemental. Matemáticos externos han verificado la prueba, y el medallista Fields Tim Gowers la calificó como "un hito en las matemáticas de IA". Según el teorema Arul Shankar, esta demostración evidencia que los modelos de IA actuales pueden tener ideas originales genuinas y ejecutarlas hasta completarlas. Es la primera vez que un sistema de inteligencia artificial resuelve de forma autónoma un problema abierto central en una rama de las matemáticas.