Mô hình AI của 3 tiến sỹ Việt Nam có thể giải toán hình học Olympic

Theo tờ New York Times, AlphaGeometry là hệ thống kết hợp mô hình ngôn ngữ dựa trên mạng nơ-ron (Neural Language Model) có khả năng suy luận tốt và một công cụ biểu tượng (Symbolic Engine) chuyên về lập luận logic, sau đó được tùy chỉnh để đọc hiểu hình học.

Với bộ đề gồm 30 bài toán hình học trong các kỳ thi Olympic Toán quốc tế (IMO) từ năm 2000-2022, AlphaGeometry giải được 25 bài, so với thành tích trung bình của người đạt huy chương vàng là 25,9, vượt xa 10 bài của hệ thống toán học máy tính được phát triển vào những năm 1970.

Với 30 bài toán hình học trong kỳ thi Olympic Toán quốc tế (IMO) giai đoạn 2000-2022, AlphaGeometry giải được 25 bài, trong thời gian quy định. Ảnh: The New York Times.

Kết quả này có được dựa trên việc mạng nơ-ron thần kinh được đào tạo bằng 100 triệu ví dụ hình học mà không có đáp án từ con người. Khi bắt đầu xử lý một bài toán, công cụ biểu tượng sẽ làm việc trước tiên. Nếu công cụ này gặp trở ngại, thuật toán nơ-ron thần kinh sẽ đề xuất cách cách tăng cường lập luận chứng minh. Vòng lặp này diễn ra liên tục cho đến khi hết thời gian (khoảng 4 tiếng rưỡi) hoặc bài toán được giải.

Các thành viên AlphaGeometry gồm Yuhuai Wu, Trịnh Hoàng Triều, Lê Viết Quốc và Lương Thắng. Ảnh: The New York Times.

Tác giả chính của mô hình AlphaGeometry là TS. Trịnh Hoàng Triều vừa tốt nghiệp Đại học New York và TS. Lương Minh Thắng của Đại học Stanford (Mỹ). Đồng hành cùng họ là TS. Lê Viết Quốc - người được mệnh danh là "quái kiệt AI" ở Google, chuyên gia cao cấp tại Google DeepMind.

Mô hình AI AlphaGeometry được nhiều chuyên gia về trí tuệ nhân tạo và nhà toán học đánh giá cao. Chuyên gia khoa học thần kinh nhận thức Stanislas Dehaene tại trường College de France (Pháp) bày tỏ ấn tượng với hiệu suất của AlphaGeometry khi hệ thống này không nhận thấy bất cứ điều gì về bài toán mà nó giải quyết.

"Thuật toán chỉ xử lý các mã hóa logic và số học hình ảnh. Nó không có nhận thức về không gian vòng tròn, đường thẳng hay hình tam giác", ông nói thêm.

Nhà sử học về toán học Michael Barany tại Đại học Edinburgh (Scotland) nhận định, nghiên cứu về AlphaGeometry là cột mốc quan trọng về khả năng suy luận tự động ở cấp độ con người.

Hay như nhà toán học Terence Tao tại Đại học California (Mỹ), người từng giành huy chương vàng Olympic khi mới 12 tuổi, đánh giá hệ thống AI AlphaGeometry là một thành tựu tuyệt vời và đạt được kết quả đáng ngạc nhiên.

Hà Anh