Não invejo as pessoas que avaliam as respostas do First Proof. Quando avaliamos o Grok 4, tive que pedir ajuda em uma das suas soluções do USAMO. Um avaliador disse 7/7. Outro disse 0/7: abordagem brilhante, mas depende sorrateiramente da convexidade deste conjunto não convexo. O outro avaliador concordou e