Ele colocou um Problema de Erdos no GPT 5.2Pro, sem qualquer solicitação especial, e *pensou continuamente por 41 minutos e produziu uma prova correta*. Acabou pessoal, tivemos uma boa corrida.