Chỉ cách đây 20 phút, kết quả của IMO 2025 đã được công bố. Trung Quốc xếp hạng số 1 và @GoogleDeepMind đã giành được huy chương vàng 🥇 Các cuộc thi toán học trong tương lai sẽ là đội Trung Quốc vs đội Trung Quốc Mỹ vs AI.

Chúng ta có thể đang tiến vào một bước ngoặt trong cuộc chiến giữa OpenAI và DeepMind trong cuộc thi IMO. Vừa thấy một bài đăng từ Joseph Myers (người tham gia Olympic Toán học từ năm 1992): Ủy ban IMO được cho là đã yêu cầu các phòng thí nghiệm AI không công bố kết quả cho đến 7 ngày sau lễ bế mạc — để tôn trọng các thí sinh con người (xem bài đăng của tôi hôm qua) và có lẽ để cho thời gian xác minh đúng đắn các bài nộp và định dạng của AI. Theo Joseph, OpenAI không hợp tác với IMO để thử nghiệm mô hình của họ, và không có bất kỳ điều phối viên chính thức nào của IMO trong số 91 người tham gia vào việc chấm điểm các giải pháp của nó. Trong khi đó, có vẻ như DeepMind đang tuân thủ các quy tắc và kiên nhẫn chờ đến lượt của họ. Để có bối cảnh: IMO có 6 bài toán, mỗi bài trị giá 7 điểm. Điểm cắt vàng năm nay là 35 điểm. Ngay cả một sự trừ điểm nhỏ cũng có thể khiến OpenAI rớt xuống bạc. Và từ những gì tôi đọc trong các bài viết của họ, một số phần có thể gây ra câu hỏi — và có thể làm mất điểm. Terence Tao cũng chỉ ra rằng trong khi các bài toán vẫn giữ nguyên, định dạng kiểm tra lại rất quan trọng. Một sinh viên không thể đạt được huy chương đồng trong điều kiện tiêu chuẩn có thể đạt huy chương vàng với một thiết lập đã được điều chỉnh — điều này đặt ra những câu hỏi thực sự về việc "giải quyết IMO" có nghĩa là gì đối với AI. Tuần tới có thể sẽ rất thú vị. Hãy theo dõi.