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

Para ser claros: GPT-5.2 Pro no está resolviendo esto de manera autónoma, es impulsado por una persona, y a menudo itera utilizando Lean.

Parece que se encontró una prueba anterior para este problema, aunque era diferente de la que el autor hizo que GPT-5.2 Pro encontrara.