AI AlphaProof của Google DeepMind đạt huy chương bạc tại Olympic Toán IMO 2024, chỉ kém 1 điểm đạt huy chương vàng

• AI AlphaProof của Google DeepMind đã đạt được điểm số tương đương huy chương bạc tại Kỳ thi Olympic Toán quốc tế (IMO) 2024, đây là lần đầu tiên một hệ thống AI đạt thành tích cao như vậy tại cuộc thi danh giá này.

• AlphaProof trả lời đúng 4/6 câu hỏi, đạt 28/42 điểm, chỉ kém 1 điểm so với ngưỡng huy chương vàng năm nay. Tại cuộc thi ở Bath, Anh, có 58 thí sinh đoạt huy chương vàng và 123 thí sinh đoạt huy chương bạc.

• AlphaProof là phiên bản cải tiến của AlphaGeometry, có thể giải quyết nhiều bài toán hơn trong các lĩnh vực như lý thuyết số, đại số và tổ hợp.

• Hệ thống này hoạt động dựa trên phương pháp học tăng cường, tương tự như các AI trước đây của DeepMind đã đánh bại con người trong cờ vua và cờ vây.

• Để vượt qua rào cản ngôn ngữ, nhóm nghiên cứu đã sử dụng Gemini AI của Google để dịch các bài toán từ tiếng Anh sang ngôn ngữ lập trình Lean.

• AlphaProof mất tới 3 ngày để tìm ra một số lời giải, so với thời gian 4,5 giờ cho mỗi 3 câu hỏi mà thí sinh được phép làm bài.

• Hệ thống này vẫn chưa thể giải quyết được các bài toán tổ hợp, nhóm nghiên cứu đang tìm hiểu nguyên nhân để cải thiện.

• Mặc dù ấn tượng, vẫn chưa rõ AlphaProof đi đến lời giải như thế nào hoặc liệu nó có sử dụng trực giác toán học giống con người hay không.

• Công ty giao dịch XTX Markets đã đưa ra giải thưởng 5 triệu USD cho một hệ thống AI có thể đạt huy chương vàng tại IMO, nhưng AlphaProof không đủ điều kiện vì không được công bố rộng rãi.

• Các chuyên gia cho rằng đây là một cột mốc quan trọng trong lĩnh vực AI toán học, nhưng lưu ý rằng hệ thống này vẫn chưa thể giúp xác định các vấn đề cần giải quyết, một phần quan trọng trong công việc của các nhà toán học.

• Nhóm nghiên cứu hy vọng AlphaProof có thể giúp cải thiện các mô hình ngôn ngữ lớn như Gemini bằng cách giảm các phản hồi không chính xác.

📌 AI AlphaProof của Google DeepMind đã đạt thành tích ngang tầm huy chương bạc tại Olympic Toán quốc tế 2024, chỉ kém 1 điểm so với ngưỡng vàng. Đây là bước tiến quan trọng trong lĩnh vực AI toán học, mở ra tiềm năng ứng dụng trong nghiên cứu và cải thiện các mô hình ngôn ngữ lớn.

https://www.newscientist.com/article/2441450-deepmind-ai-gets-silver-medal-at-international-mathematical-olympiad/