我不羨慕那些評分 First Proof 答案的人。當我們評估 Grok 4 時，我不得不請求幫助來解決它的一個 USAMO 解答。一位評分者說 7/7。另一位則說 0/7：這是一個出色的方法，但它偷偷依賴於這個非凸集合的凸性。另一位評分者同意了。