Chúc mừng đội GDM về kết quả IMO của họ! Tôi nghĩ rằng thành công song song của họ làm nổi bật tốc độ tiến bộ của AI. Cách tiếp cận của họ có phần khác với của chúng tôi, nhưng tôi nghĩ điều đó cho thấy có nhiều hướng nghiên cứu để tiến xa hơn. Một số suy nghĩ về mô hình và kết quả của chúng tôi 🧵

~2 tháng trước, IMO đã gửi email cho chúng tôi về việc tham gia vào một phiên bản chính thức (Lean) của IMO. Chúng tôi đã tập trung vào lý luận chung bằng ngôn ngữ tự nhiên mà không bị ràng buộc bởi Lean, vì vậy chúng tôi đã từ chối. Chúng tôi chưa bao giờ được tiếp cận về một tùy chọn toán học bằng ngôn ngữ tự nhiên.

Trong vài tháng qua, chúng tôi đã đạt được nhiều tiến bộ trong việc suy luận tổng quát. Điều này bao gồm việc thu thập, biên soạn và đào tạo trên dữ liệu toán học chất lượng cao, dữ liệu này cũng sẽ được sử dụng trong các mô hình tương lai. Trong đánh giá IMO của chúng tôi, chúng tôi không sử dụng RAG hay bất kỳ công cụ nào.

Trước khi chúng tôi chia sẻ kết quả của mình, chúng tôi đã nói chuyện với một thành viên trong hội đồng IMO, người đã yêu cầu chúng tôi chờ cho đến sau buổi lễ trao giải để công bố, một yêu cầu mà chúng tôi rất vui lòng tôn trọng.

Chúng tôi đã thông báo vào khoảng 1 giờ sáng theo giờ PT (6 giờ chiều theo giờ AEST), sau khi buổi lễ trao giải kết thúc. Không ai yêu cầu chúng tôi thông báo muộn hơn thời điểm đó.

Hơn bất cứ điều gì, chúng tôi rất hào hứng chia sẻ tiến trình và kết quả của mình với thế giới. Khả năng suy luận của AI đang tiến triển nhanh chóng, và những kết quả này thực sự cho thấy điều đó.