Tôi không ghen tị với những người chấm điểm câu trả lời của First Proof. Khi chúng tôi đánh giá Grok 4, tôi đã phải nhờ giúp đỡ về một trong những giải pháp USAMO của nó. Một người chấm điểm nói 7/7. Một người khác nói 0/7: cách tiếp cận tuyệt vời, nhưng nó lén lút dựa vào tính lồi của tập hợp không lồi này. Người chấm điểm khác đồng ý và