AlphaProof chinh phục 4 trong 6 bài của đề thi Olympic Toán quốc tế (IMO) năm nay, đạt 28/42 điểm, ngang với thí sinh giành huy chương bạc.

Cụ thể, AI này đạt điểm tuyệt đối ở ba bài Đại số và số học (bài 1, 2, 6) và một bài Hình học (bài 4). Đặc biệt, nó chỉ mất 19 giây để giải xong bài số 4.

Điểm được chấm bởi GS Timothy Gowers của Đại học Cambridge, Anh - người từng giành huy chương vàng IMO và huy chương Fields (năm 1998). Giám khảo thứ hai là TS Joseph Myers, chủ tịch hội đồng ra đề IMO năm nay.

"Hệ thống có thể đưa ra cấu trúc giải ấn tượng và vượt xa những gì tôi nghĩ là tiên tiến nhất", GS Timothy Gowers đánh giá. "Nó đã tìm ra 'chìa khóa ma thuật' để giải quyết vấn đề Toán học".