Chỉ trong vài tháng gần đây, AI đã tạo ra những đột phá chưa từng có trong toán học thuần túy. Giả thuyết khoảng cách đơn vị trên mặt phẳng của Erdos, tồn tại suốt 80 năm, đã bị bác bỏ. Nhóm không sofic đầu tiên, một cấu trúc đại số mà giới toán học tìm kiếm suốt 27 năm, đã được xây dựng thành công. Gần đây nhất, mặt cầu sáu chiều được chứng minh có thể mang cấu trúc phức, giải quyết một giả thuyết 78 năm tuổi dù kết quả này vẫn đang chờ giới chuyên môn xác minh. Những thành tựu này đặt ra câu hỏi lớn: AI có thể rút ngắn quá trình từ ý tưởng đến công bố khoa học đến mức nào, và vai trò của nhà toán học sẽ thay đổi ra sao khi AI giải được giả thuyết nhanh hơn con người.

Một trăm đội, một trận đấu toán học

Để trả lời, ban tổ chức sẽ quy tụ những tài năng toán học hàng đầu thế giới tại Viện Công nghệ California (Caltech) từ ngày 30 tháng 10 đến 1 tháng 11. Một trăm đội sẽ được cấp quyền dùng các mô hình AI tiên tiến nhất, với ngân sách hơn 2 triệu USD tiền credit AI, để giải giả thuyết mở hoặc xây dựng lý thuyết toán học mới chỉ trong 40 giờ. Sau đó, mỗi đội phải bảo vệ kết quả trước hội đồng nhà toán học uy tín, những người sẽ đánh giá mức độ hiểu bản chất chứng minh chứ không chỉ chấp nhận đáp số do AI đưa ra. Giải thưởng sẽ được trao hai vòng: ngay tại sự kiện cho kết quả thuyết phục nhất, và vòng hai sau khi cộng đồng toán học kiểm chứng độc lập. Đây được xem là hackathon đầu tiên trên thế giới dành riêng cho toán học nghiên cứu cấp cao.