En kadehdi niitä, jotka arvioivat First Proofin vastauksia. Kun arvioimme Grok 4:ää, jouduin pyytämään apua yhteen sen USAMO-ratkaisuun. Yksi luokkalaisista sanoi 7/7. Toinen sanoi 0/7: loistava lähestymistapa, mutta se nojaa salakavalasti tämän ei-konveksin joukon konveksisuuteen. Toinen arvioija oli samaa mieltä ja