Tôi đã nghĩ rằng nhân loại an toàn chỉ cách đây 2 ngày, nó thực sự đang đếm từng ngày… Một số bối cảnh: Đây không phải là lần đầu tiên AI giành huy chương tại Olympic Toán Quốc tế (IMO). Năm ngoái, AlphaProof của Google đã giành huy chương bạc - nhưng mô hình đó được đào tạo đặc biệt cho toán học. Lần này, OpenAI đã sử dụng một mô hình đa năng (có thể là một nguyên mẫu GPT-5 nội bộ?), và nó đã giành huy chương vàng. Đó là một bước nhảy vọt lớn về ý nghĩa. Để đặt điều này vào bối cảnh: việc giải một bài toán cấp độ IMO thường mất khoảng 100 phút cho các thí sinh con người xuất sắc. Chỉ cách đây 2 năm, các mô hình AI hàng đầu vẫn đang gặp khó khăn với các bài toán từ cấp tiểu học (GSM8k), mà con người mất khoảng 10 giây để giải. Như Dan Roberts của OpenAI đã chia sẻ tại AI Ascent 2025 của Sequoia, độ dài của các nhiệm vụ mà AI có thể xử lý đang gấp đôi mỗi 7 tháng. Đến cuối năm 2025, GPT-5 có thể sẽ hoạt động ở mức độ nhiệm vụ của con người kéo dài một giờ. Một điều cần lưu ý: IMO năm nay được cho là có một lỗi trong việc cân bằng độ khó - các bài toán 1–5 tương đối dễ, trong khi bài toán 6 lại khó bất thường. Kết quả là, nhiều điểm số tập trung giữa 28–35 (mỗi bài toán có giá trị 7 điểm). AI đã ghi được 35 - vừa đủ để giành huy chương vàng. Một chút may mắn, nhưng quỹ đạo là không thể phủ nhận. Cuối cùng, các cuộc thi toán học chắc chắn sẽ là một cuộc đua giữa người Trung Quốc ở Trung Quốc, người Trung Quốc ở Mỹ, và các mô hình AI (được xây dựng bởi người Trung Quốc ở Mỹ và Trung Quốc)