El nuevo modelo de razonamiento de OpenAI ha resuelto un importante problema abierto en matemáticas al refutar la conjetura de la distancia unitaria de Paul Erdős de 1946 con una demostración original. Esta es la primera vez que la IA resuelve de forma independiente un problema matemático fundamental mediante un razonamiento de cadena larga. La demostración ha sido verificada de forma independiente por matemáticos e introduce un novedoso método de construcción que supera los supuestos anteriores. Este avance supone un progreso significativo en el razonamiento lógico de la IA, al superar los problemas de «alucinaciones», y tiene posibles aplicaciones en campos como la biología y la ciencia de los materiales.