Phòng thí nghiệm Khoa học máy tính và Trí tuệ nhân tạo (CSAIL) thuộc Viện Công nghệ Massachusetts (MIT) ngày 21/4 ra mắt MathNet. Đây là bộ dữ liệu gồm các đề ôn luyện toán quốc tế lớn nhất thế giới hiện nay, gấp 5 lần các kho lưu trữ cùng loại.

MathNet bao quát 143 kỳ thi từ 47 quốc gia và vùng lãnh thổ, sử dụng 17 ngôn ngữ, trải dài khoảng 40 năm. Trong đó, kho dữ liệu này lưu trữ 259 đề thi từ Việt Nam.

Shaden Alshammari, nghiên cứu sinh tiến sĩ tại MIT và là tác giả chính, cho biết: "Mỗi quốc gia đều có những tuyển tập bài toán sáng tạo và độc đáo. Tuy nhiên, trước đây chưa từng có ai nỗ lực thu thập, làm sạch và số hóa chúng để chia sẻ rộng rãi".

Khác với các diễn đàn toán học trực tuyến thường có lời giải ngắn gọn hoặc không chính thức, bài toán trong MathNet được trích xuất từ các tài liệu chính thống. Mỗi lời giải đều được các chuyên gia viết, thẩm định kỹ lưỡng, trình bày nhiều cách tiếp cận.

Dù các mô hình AI được quảng bá là có khả năng giải toán cấp độ huy chương vàng IMO, kết quả thử nghiệm trên MathNet cho thấy thực tế phức tạp hơn.

Ngay cả GPT-5 (mô hình mạnh nhất được thử nghiệm) cũng chỉ đạt tỷ lệ giải đúng trung bình 69,3% trên 6.400 bài. Năng lực của AI sụt giảm nghiêm trọng ở các bài có hình vẽ hoặc sử dụng ngôn ngữ ít phổ biến như tiếng Mông Cổ.

Khánh Linh