Thành tựu gần đây của Google DeepMind với hệ thống AI có tên là AlphaGeometry đã thể hiện những kỹ năng vượt trội trong việc giải các bài toán hình học ở cấp độ thi Toán Olympic quốc tế. Hệ thống AI này đã trả lời thành công 25/30 câu hỏi của đề thi Olympic Toán quốc tế, một cuộc thi cấp trung học. Hiệu suất này gần với tiêu chuẩn được đặt ra bởi các đối thủ giành huy chương vàng là con người, cho thấy khả năng ngày càng tăng của AI trong năng lực suy luận toán học phức tạp.
Điều đáng nói là hệ thống AlphaGeometry được nghiên cứu và phát triển bởi phần lớn các chuyên gia là người Việt Nam, đó chính là chuyên gia máy tính Trịnh Hoàng Triều đã tham gia Google DeepMind từ năm 2021 và ông Lương Minh Thắng và ông Lê Viết Quốc, đều là chuyên gia cao cấp đến từ Google DeepMind. Tuần trước, ông Hoàng Triều bảo vệ thành công luận án tiến sĩ liên quan hệ thống này ở Đại học New York đồng thời ông cũng đã gửi kết quả của mình để đăng trên tạp chí uy tín Nature.
AlphaGeometry là một hệ thống mạng thần kinh học, kết hợp việc học ngôn ngữ với lý luận suy diễn , lấy cảm hứng từ khái niệm “Tư duy, nhanh và chậm” của nhà tâm lý học Daniel Kahneman. Nó sử dụng cả nhận dạng mẫu nhanh và tư duy logic. Hệ thống được đào tạo trên bộ dữ liệu gồm 100 triệu ví dụ hình học tổng hợp. kết quả điểm 25 của nó cao hơn đáng kể so với các hệ thống tự động trước đó, nhưng nó vẫn gặp phải thách thức với một số bài toán phức tạp, chẳng hạn như bài toán do nhà toán học Việt Nam Lê Bá Khánh Trình giải được năm 1979.
Sự phát triển của AlphaGeometry được coi là một bước tiến mới để đạt tới việc xây dựng Trí tuệ tổng hợp nhân tạo (AGI) có thể hoạt động bằng hoặc cao hơn cấp độ con người trong nhiều lĩnh vực khác nhau. Mặc dù điều này thể hiện sự tiến bộ đáng kể, nhưng mục tiêu cuối cùng là tạo ra các hệ thống AI có khả năng khám phá các giải pháp toán học mới cho các vấn đề chưa được giải quyết vẫn là một mục tiêu đầy thách thức và khó nắm bắt hơn đối với các chuyên gia. Tuy nhiên, DeepMind vẫn chưa có kế hoạch cho AlphaGeometry tham gia các cuộc thi Olympic Toán học Quốc tế, vì các chuyên gia vẫn đang tiếp tục nghiên cứu và hoàn thiện nó để ứng dụng vào lĩnh vực toán học trong tương lai.
Tố Uyên