Nezávidím lidem, kteří hodnotí odpovědi z First Proof. Když jsme hodnotili Grok 4, musel jsem požádat o pomoc s jedním z jeho řešení USAMO. Jeden žák řekl 7/7. Jiný řekl 0/7: brilantní přístup, ale nenápadně spoléhá na konvexnost této nekonvexní množiny. Druhý hodnotitel souhlasil a