Hito en herramientas de IA aplicadas a problemas de Erdos, con GPT-5.2 Pro: