Мне не завидно тем, кто оценивает ответы на First Proof. Когда мы оценивали Grok 4, мне пришлось попросить помощи по одному из его решений USAMO. Один оценщик сказал 7/7. Другой сказал 0/7: блестящий подход, но он хитро полагается на выпуклость этого невыпуклого множества. Другой оценщик согласился и