Nie zazdroszczę ludziom oceniającym odpowiedzi na First Proof. Kiedy ocenialiśmy Grok 4, musiałem poprosić o pomoc w jednej z jego rozwiązań USAMO. Jeden oceniający powiedział 7/7. Inny powiedział 0/7: genialne podejście, ale podstępnie opiera się na wypukłości tego nie-wypukłego zbioru. Inny oceniający się zgodził i