AI giải Toán ngang huy chương vàng Olympic Toán quốc tế

Giáo dục

AI giải Toán ngang huy chương vàng Olympic Toán quốc tế

Cập nhật: Thứ ba, 11/2/2025 | 9:19:44 AM

AlphaGeometry2, công cụ giải toán bằng trí tuệ nhân tạo (AI), làm được 42/50 bài hình học IMO trong 25 năm qua, trong khi mức trung bình của những thí sinh giành huy chương vàng là 40,9.

Bài toán thứ 3 trong kỳ IMO 2014. AlphaGeometry giải bằng cách dựng điểm phụ.

Thông tin được đăng trên Nature - tạp chí khoa học hàng đầu thế giới, vào cuối tuần trước. Nhóm tác giả AlphaGeometry2 làm việc tại Google DeepMind, gồm 10 người, trong đó 4 người Việt.

Đây là phiên bản nâng cấp của AlphaGeometry - vốn giải được 53% số bài khi mới trình làng.

Năm ngoái, các nhóm nghiên cứu ở Ấn Độ và Trung Quốc đã sử dụng những phương pháp tiếp cận khác để AI đạt thành tích ngang huy chương vàng Olympic Toán quốc tế (IMO) về hình học, nhưng số bài thử nghiệm không nhiều như AlphaGeometry2.

"Tôi nghĩ rằng không lâu nữa máy tính sẽ đạt điểm tuyệt đối trong kỳ thi IMO", Kevin Buzzard, nhà Toán học tại Đại học Hoàng gia London, Anh, nhận định.

AlphaGeometry là sự kết hợp giữa một mô hình ngôn ngữ chuyên biệt và một "công cụ biểu tượng" - symbolic engine, chuyên về lập luận logic. Mô hình được đào tạo để diễn đạt ngôn ngữ toán học tiêu chuẩn, đảm bảo tính chặt chẽ về mặt logic và loại bỏ các nhận định không mạch lạc hoặc không chính xác mà robot AI dễ đưa ra.

AlphaGeometry2 có một số cải tiến, tích hợp mô hình ngôn ngữ lớn hiện đại của Google - Gemini. Mô hình này hỗ trợ "công cụ biểu tượng", sử dụng quy tắc Toán học để suy ra giải pháp cho những bài toán, đưa ra các bằng chứng khả thi cho một định lý hình học nhất định.

Các bài toán hình học Olympic dựa trên sơ đồ cần thêm "cấu trúc" trước khi có thể giải được, chẳng hạn như điểm, đường thẳng hoặc hình tròn. Mô hình Gemini của AlphaGeometry2 dự đoán những cấu trúc nào có thể hữu ích để thêm vào sơ đồ, công cụ này tham chiếu đến để đưa ra các suy luận.

Nhóm nghiên cứu cho hay những cải tiến trong tương lai sẽ bao gồm giải quyết các bài toán liên quan đến bất đẳng thức và phương trình phi tuyến tính, hướng đến "giải toàn bộ bài toán hình học".

Buzzard đánh giá AI còn nhiều thách thức khác cần vượt qua trước khi giải được các bài toán ở cấp độ nghiên cứu.

Hình học Euclid là một trong bốn chủ đề của kỳ thi IMO, bên cạnh lý thuyết số, đại số và tổ hợp. AI phải có các kỹ năng cụ thể vì các bài yêu cầu lập luận chặt chẽ về các đối tượng hình học trên mặt phẳng.

Tháng 7 năm ngoái, ngoài AlphaGeometry2, DeepMind cho ra mắt AlphaProof để giải các câu hỏi ngoài hình học. AlphaProof sau đó đã chinh phục 4 trên 6 bài của đề thi IMO 2024, đạt 28/42 điểm - ngang với thí sinh giành huy chương bạc.

Các nhà nghiên cứu AI đang háo hức chờ đợi kỳ IMO tiếp theo tại Australia, vào tháng 7 năm nay. Khi đề thi được công khai, các hệ thống dựa trên AI cũng sẽ được giải quyết chúng.

Các bài toán mới được coi là bài kiểm tra đáng tin cậy đối với các hệ thống dựa trên máy học, vì lời giải của chúng khó có khả năng tồn tại trên internet hay bị "rò rỉ" vào các tập dữ liệu đào tạo, khiến sai lệch kết quả.

(Theo VnExpress)

Các tin khác

7 đại học công bố thang quy đổi IELTS năm 2025

7 đại học quy đổi IELTS 4.0-5.0 trở lên để xét tuyển, trường Kinh tế Quốc dân yêu cầu cao nhất, đạt 7.5 thí sinh mới được tính 10 điểm.

Các trường loay hoay tìm kinh phí khi dạy thêm miễn phí cho học sinh cuối cấp

Áp dụng Thông tư 29 của Bộ GD-ĐT, nhiều trường đã quyết định dừng hẳn hoạt động dạy thêm cho học sinh, bao gồm cả các lớp cuối cấp. Một số trường cố gắng vận động sự tự nguyện của giáo viên để ôn tập miễn phí cho học sinh trước các kỳ thi lớn, song đây không phải giải pháp dài hạn.

Thầy giáo gây sốt cộng đồng bởi những bức tranh vẽ bằng phấn

Sau 18 năm công tác, thầy giáo Nguyễn Trí Hạnh không những tạo ấn tượng đặc biệt với học sinh mà còn gây sốt cộng đồng mạng bởi những bức tranh được vẽ trên bảng.

"Siết" dạy thêm, học thêm: Sinh viên có được làm gia sư sau 14/2?

Thông tư 29 quy định về dạy thêm, học thêm có hiệu lực từ ngày 14/2 tới. Tuy nhiên, nhiều sinh viên đang đi làm gia sư chưa biết đến quy định này.

Giáo dục