Я не заздрю тим, хто оцінює відповіді First Proof. Коли ми оцінювали Grok 4, мені довелося просити допомоги щодо одного з рішень USAMO. Один учень сказав 7/7. Інший сказав 0/7: блискучий підхід, але він хитро спирається на опуклість цього неопуклого набору. Інший оцінювач погодився і