El 20 de mayo de 2026, OpenAI anunció que un modelo interno de inteligencia artificial, no disponible para el público, había encontrado un contraejemplo para el problema de la "distancia unidad", una conjetura formulada en 1946 por el matemático húngaro Paul Erdős. Aunque semanas después matemáticos humanos mejoraron sustancialmente el resultado, se trató de la primera demostración históricamente significativa atribuida a una IA, con técnicas importadas de una rama distante de las matemáticas. El 1 de agosto, OpenAI presentó además diez avances matemáticos de un modelo no publicado llamado Astra, entre ellos soluciones a tres problemas más de Erdős.
El matemático Noga Alon, de la Universidad de Princeton, describió estos sistemas como una transformación de fase en la capacidad matemática de la IA. Erdős, fallecido en 1996, planteó miles de cuestiones y ofrecía premios en metálico de su bolsillo; una fundación sin ánimo de lucro con sede en Iowa mantiene hoy esos compromisos.
Detrás de buena parte de estos avances está el matemático inglés Thomas Bloom, quien en 2023 creó erdosproblems.com, un sitio que recopila casi mil problemas de Erdős. Inicialmente la página contaba con unos cientos de enunciados, pero su audiencia creció y entre 2024 y agosto de 2025 se cerraron 111 problemas. Tras añadir una función de comentarios en agosto de 2025, la web se convirtió en punto de encuentro para matemáticos profesionales y aficionados, que intercambian ideas y, cada vez más, aplican herramientas de IA para avanzar en los problemas abiertos.