Não invejo as pessoas que corrigem as respostas da Primeira Prova. Quando avaliamos o Grok 4, tive que pedir ajuda para uma das soluções USAMO dele. Um aluno disse 7/7. Outro disse 0/7: abordagem brilhante, mas que depende sorrateiramente da convexidade desse conjunto não convexo. O outro avaliador concordou e