Marco nas ferramentas de IA aplicadas a problemas de Erdos, com GPT-5.2 Pro: