3 người Việt góp công tạo ra bước tiến khủng của AI: Giải bài toán hình Olympic Toán quốc tế ở mức gần đạt huy chương vàng..
- AlphaGeometry, một hệ thống AI mới, giải các bài toán hình học từ Olympic Toán Quốc tế ở mức gần bằng huy chương vàng.
- Trieu Trinh, nhà khoa học máy tính, đã phòng vệ luận án tiến sĩ về việc xây dựng AlphaGeometry tại Đại học New York và công bố kết quả trên tạp chí Nature.
- AlphaGeometry được phát triển tại Google DeepMind, nổi tiếng với việc giải quyết những thách thức lớn như AI AlphaZero chinh phục cờ vua vào năm 2017.
- Hệ thống giải 25 trong số 30 bài toán, so với 25.9 bài toán được giải bởi huy chương vàng trung bình từ năm 2000 đến 2022.
- AlphaGeometry là hệ thống "neuro-symbolic" kết hợp mô hình ngôn ngữ neural net (giống ChatGPT nhưng nhỏ hơn) với một động cơ biểu tượng (giống máy tính logic).
- Nó được đào tạo chỉ trên dữ liệu tổng hợp - 100 triệu chứng minh hình học, không sử dụng dữ liệu chứng minh của con người, giải quyết vấn đề thiếu dữ liệu đào tạo dễ đọc máy.
- AlphaGeometry sử dụng quá trình "xây dựng phụ trợ" - nếu mắc kẹt, mạng neural gợi ý cách tăng cường lập luận, tiếp tục cho đến khi tìm ra giải pháp.
📌 Trieu Trinh, nhà khoa học máy tính người Việt, đã bảo vệ luận án tiến sĩ về việc xây dựng AlphaGeometry tại Đại học New York và công bố kết quả trên tạp chí Nature. AlphaGeometry đánh dấu một bước tiến lớn trong lĩnh vực AI giải quyết các bài toán hình học cấp độ Olympic, không chỉ thể hiện khả năng giải quyết vấn đề mà còn tiếp cận phương pháp suy luận của con người. Với mục tiêu chung cuộc là không chỉ giải toán mà còn nhằm tạo ra AI đáng tin cậy, AlphaGeometry mở ra hướng đi mới cho các ứng dụng đòi hỏi độ chính xác cao, đặc biệt là trong các ứng dụng quan trọng về mặt an toàn. Không chỉ giới hạn trong toán học, Trieu Trinh và đội ngũ còn hướng đến việc tổng quát hóa hệ thống này cho nhiều lĩnh vực khác, khám phá nguyên tắc chung của mọi loại suy luận.
Bài báo công bố trên Tạp chí danh tiếng Nature:
https://www.nature.com/articles/s41586-023-06747-5