Tại sao tôi lại hào hứng về kết quả IMO mà chúng tôi vừa công bố: - chúng tôi đã làm rất ít công việc cụ thể cho IMO, chúng tôi chỉ tiếp tục đào tạo các mô hình tổng quát - tất cả các chứng minh bằng ngôn ngữ tự nhiên - không có bộ đánh giá Chúng tôi cần một bước đột phá nghiên cứu mới và @alexwei_ cùng đội ngũ đã thực hiện điều đó.