Trang chủ Trí tuệ nhân tạo (AI) 3 tiến sĩ Việt thành công tạo AI giải toán tương đương...

3 tiến sĩ Việt thành công tạo AI giải toán tương đương cấp độ huy chương vàng Olympic

AlphaGeometry, mô hình AI có thể giải toán tương đương cấp độ huy chương vàng Olympic, được xây dựng bởi các tiến sỹ toán học người Việt.

Suốt 4 năm qua, TS. Trịnh Hoàng Triều, nghiên cứu sinh người Việt, luôn miệt mài với câu hỏi làm thế nào để xây dựng một mô hình AI có khả năng giải toán hình học trong các kỳ thi Olympic Toán học Quốc tế (IMO).

Đến tuần trước, Trịnh Hoàng Triều đã bảo vệ thành công luận án tiến sỹ chủ đề AI giải toán tại Đại học New York. Nghiên cứu, cùng với sự đóng góp của hai nhà khoa học tại Google DeepMind, TS Lê Viết Quốc và Lương Thắng, đã được đăng trên tạp chí Nature.

Từ trái sang phả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. 

Với bộ đề gồm 30 bài toán hình học Olympic từ năm 2000 đến 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.

AlphaGeometry đã giải quyết 25 bài toán trong giới hạn thời gian thi đấu, gần bằng với điểm số trung bình của những người giành huy chương vàng.

Những năm gần đây, Google DeepMind đang theo đuổi một số dự án nghiên cứu ứng dụng AI liên quan đến toán học. Do đó, các bài toán thi cấp độ Olympic được sử dụng làm tiêu chí đánh giá máy học.

Theo Michael Barany, nhà sử học về toán học tại Đại học Edinburgh, 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”.

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

Nghiên cứu về AlphaGeometry đã được đăng tải trên tạp chí khoa học Nature.

Trong khi đó, tác giả nghiên cứu Trịnh Hoàng Triều cho biết suy luận toán học chỉ là một dạng suy luận nhưng có ưu điểm là dễ kiểm chứng.

“Toán học là ngôn ngữ của sự thật. Nếu bạn muốn phát triển hệ thống AI, bạn cần phải xây dựng một AI đáng tin cậy có khả năng tìm kiếm sự thật mà người dùng có thê tin tưởng, đặc biệt trên các ứng dụng yêu cầu cao về an toàn”.

AlphaGeometry là hệ thống kết hợp mô hình ngôn ngữ mạng thần kinh (sâu về trực giác nhân tạo, tương tự ChatGPT nhưng nhỏ hơn) với một công cụ biểu tượng (chuyên về lý luận nhân tạo, giống như một máy tính logic), trước khi được tinh chỉnh để đọc hiểu hình học.

Điểm đặc biệt của thuật toán là nó có khả năng cho ra lời giải từ hư vô. Còn các mô hình AI hiện tại sẽ phải tìm kiếm lời giải có sẵn hoặc tương tự mà con người từng tìm ra.

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 (bốn tiếng rưỡi) hoặc bài toán được giải.

Stanislas Dehaene, chuyên gia khoa học thần kinh nhận thức tại College de France, nói rằng ông ấn tượng với hiệu suất của AlphaGeometry, song 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”. Nói cách khác, thuật toán chỉ xử lý các mã hoá logic và số học của 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”.

TS Lương Thắng cho biết yếu tố “cảm quan” này có thể được bổ sung trong năm nay, bằng cách sử dụng nền tảng AI Gemini của Google.

Tham gia Telegram của Tạp Chí Bitcoin: https://t.me/tapchibitcoinvn

Theo dõi Twitter (X): https://twitter.com/tapchibtc_io

Theo dõi Tiktok: https://www.tiktok.com/@tapchibitcoin  

Annie

Nguồn: T/H

MỚI CẬP NHẬT

PancakeSwap (CAKE) là gì?

PancakeSwap (CAKE) là gì? Một nền tảng giao dịch phi tập trung chạy trên...

Một giao thức DeFi theo chủ đề thực phẩm khác? Bạn biết điều đó. PancakeSwap là một DEX dựa trên BNB Chain (trước đây...
Terra Luna Classic (LUNC) là gì?

Terra Luna Classic (LUNC) là gì? Đống tro tàn sau sự sụp đổ của...

Terra LUNA Classic (LUNC) là gì? LUNA Classic (LUNC) là đồng coin gốc của Terra LUNA còn lại sau sự sụp đổ của UST/Luna và...
XDC (Network) là gì?

XDC (Network) là gì? Blockchain lai có chức năng cải thiện thương mại và...

Các blockchain hợp đồng thông minh từ lâu đã được ca ngợi là công nghệ đột phá cho ngành tài chính nhờ khả năng...

Bitcoin tăng 4,3% khi lạm phát của Hoa Kỳ tiến gần hơn đến mục...

Thị trường tiền điện tử có dấu hiệu tăng trưởng hôm nay, với nhiều token lớn tăng giá, một quỹ đạo phản ánh động...
khong co danh sach etf

Sẽ không cửa cho các quỹ ETF tiền điện tử khác ngoài Bitcoin và...

Robert Mitchnick - người đứng đầu bộ phận tài sản kỹ thuật số tại công ty quản lý tài sản BlackRock - cho biết...
CZ ra tu

Khi nào Changpeng Zhao ra tù?

Tuần này, một số người hâm mộ Binance đã lên X để chia sẻ sự phấn khích của họ khi nhà sáng lập Bianance...

[QC] Chương trình presale của WienerAI sẽ kết thúc trong vòng 5 ngày. Cơ...

 Cánh cửa đưa nhà đầu tư đến gần hơn với WienerAI (WAI) đang dần khép lại khi chỉ còn 5 ngày nữa là chương...
Ethereum ETF

Tại sao Ethereum ETF không thể khơi dậy sự nhiệt tình của thị trường?

Bất chấp tâm lý phấn khích ban đầu về các quỹ hoán đổi danh mục Ethereum (ETF) giao ngay mới ra mắt tại Hoa...
Phân tích kỹ thuật

Phân tích kỹ thuật ngày 26 tháng 7: ETH, XRP, ADA, BNB và SHIB

Phân tích kỹ thuật ETH Mặc dù một số quỹ Ethereum ETF đã ra mắt trong tuần, nhưng giá lại có sự khác biệt đối...

Thượng nghị sĩ Hoa Kỳ rút lại sự ủng hộ dự luật chống tiền...

Thượng nghị sĩ đảng Cộng hòa Hoa Kỳ Roger Marshall đã rút lại sự ủng hộ của mình đối với Đạo luật chống rửa...

Tin vắn Crypto 26/07: Bitcoin có khả năng đạt đỉnh ở mức $ 180.000...

Từ nhận định Bitcoin có thể đạt đỉnh ở mức 180.000 USD trong chu kỳ hiện tại đến Bybit tiến hành hủy niêm yết...

[QC] Cơ hội cuối cùng: Tham gia presale của 99Bitcoins ngay trước khi giá...

 99Bitcoins không phải là một cái tên xa lạ đối với cộng đồng tiền điện tử khi nó đã xuất hiện từ những năm...

Arbitrum Foundation mở đề xuất triển khai các chuỗi Orbit ngoài Ethereum

Arbitrum DAO, cơ quan quản lý giám sát hệ sinh thái Arbitrum, hiện đang tổ chức cuộc bỏ phiếu về việc mở rộng các...
avax-tang

Giá Avalanche (AVAX) có thể phục hồi trong vài ngày tới, đây là lý...

Giá Avalanche (AVAX) đã bật lên từ mức hỗ trợ $26,34 để giao dịch ở mức $27,95 vào thời điểm viết bài. Hoạt động...

Franklin Templeton nêu tên 5 lĩnh vực cần chú ý trong hệ sinh thái...

Gã khổng lồ đầu tư Franklin Templeton cho biết họ đang tích cực theo dõi năm lĩnh vực của hệ sinh thái Bitcoin. Công ty...

Giá BTC tăng lên trên 67.000 USD trước bài phát biểu của Trump tại...

Bitcoin đã phục hồi phần lớn mức lỗ trong tuần khi các trader chờ xem điều gì sẽ xảy ra khi cựu Tổng thống...