Ele colocou um problema do Erdos no GPT 5.2Pro, sem nenhum comando especial, e ele *pensou continuamente por 41 minutos e deu uma prova correta*. Acabou, pessoal, tivemos uma boa fase.