Topic Overview
MIT ra mắt MathNet ngày 21/4, gồm hơn 30.000 bài toán luyện thi Olympic Toán từ 47 quốc gia, trong đó có 259 bài từ Việt Nam. Bộ dữ liệu này được xây dựng từ gần 1.600 tệp PDF với hơn 25.000 trang tài liệu, bao gồm cả bản quét cũ từ nhiều thập kỷ trước. Mỗi lời giải trong MathNet được viết và thẩm định kỹ lưỡng bởi các chuyên gia. Kết quả thử nghiệm cho thấy các mô hình AI hiện tại vẫn gặp khó khăn trong việc giải quyết các bài toán phức tạp hoặc sử dụng ngôn ngữ ít phổ biến.
Intelligence Timeline
[22/04/2026 - 08:59] MIT ra mắt MathNet ngày 21/4, gồm hơn 30.000 bài toán luyện thi Olympic Toán từ 47 quốc gia, trong đó có 259 bài từ Việt Nam. Bộ dữ liệu này được xây dựng từ gần 1.600 tệp PDF với hơn 25.000 trang tài liệu, bao gồm cả bản quét cũ từ nhiều thập kỷ trước. Mỗi lời giải trong MathNet được viết và thẩm định kỹ lưỡng bởi các chuyên gia. Kết quả thử nghiệm cho thấy các mô hình AI hiện tại vẫn gặp khó khăn trong việc giải quyết các bài toán phức tạp hoặc sử dụng ngôn ngữ ít phổ biến.