OpenAI refuta la conjetura de distancias unitarias de Erdős: un problema abierto de 80 años zanjado por un contraejemplo de la IA
En 1946 Paul Erdős planteó el problema de las distancias unitarias: con n puntos en el plano, ¿cuántos pares pueden estar a distancia exactamente 1? Durante casi 80 años se creyó que la cuadrícula era óptima. OpenAI afirma que su modelo de razonamiento interno aportó la primera demostración por contraejemplo totalmente autónoma.