Los problemas de Erdos son un ejemplo claro de modelos que superan un umbral. La idea de que una IA pudiera resolver uno, y mucho menos muchos, por sí sola habría sido una locura hace un año (O1 era completamente nuevo), y ahora tenemos varios problemas de Erdos resueltos por GPT-5.2 Pro en las últimas semanas.

Para que quede claro: GPT-5.2 Pro no resuelve estos problemas de forma autónoma, es una persona que lo solicita, y a menudo itera usando Lean.

Parece que se encontró una prueba previa de este problema, aunque era diferente a la que el usuario hizo que encontrara GPT-5.2 Pro.