Marco nas ferramentas de IA aplicadas aos problemas do Erdos, com o GPT-5.2 Pro: