Ba tiến sỹ người Việt giới thiệu mô hình AI giải toán hình học cấp độ Olympic
Tuần trước,ếnsỹngườiViệtgiớithiệumôhìnhAIgiảitoánhìnhhọccấpđộgiá vàng sjc hom nay nghiên cứu sinh người Việt - Trịnh Hoàng Triều đã bảo vệ thành công luận án tiến sỹ về 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.
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.

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 A.I 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.

Trong khi đó, tác giả nghiên cứu Trịnh Hoàng Triều cho hay, 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”, tiến sỹ người Việt nói. “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ừ không có gì hết. 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.
(Theo WashingtonPost)

相关推荐
-
Nhận định, soi kèo Nhật Bản vs Bahrain, 17h35 ngày 20/3: Dễ dàng giành vé
-
Soi kèo phạt góc Lille vs Real Madrid, 02h00 ngày 3/10
-
Soi kèo góc Leicester City vs Bournemouth, 21h00 ngày 5/10
-
Nhận định, soi kèo Persik Kediri vs Madura United, 15h30 ngày 6/12: Trái đắng xa nhà
-
Soi kèo góc Thổ Nhĩ Kỳ vs Hungary, 0h00 ngày 21/3
-
Soi kèo góc Avispa Fukuoka vs Nagoya Grampus, 17h ngày 4/10: Đội khách áp đảo
- 最近发表
-
- Nhận định, soi kèo Jordan vs Palestine, 1h15 ngày 21/3: Chiến thắng thứ 3
- Soi kèo góc Leicester City vs Bournemouth, 21h00 ngày 5/10
- Nhận định, soi kèo Chivas Guadalajara vs Club America, 09h10 ngày 19/5
- Nhận định, soi kèo Olimpia Grudziadz vs Jagiellonia, 21h00 ngày 5/12: Bất ngờ?
- Nhận định, soi kèo Nữ Atlas vs Nữ Queretaro, 08h00 ngày 19/3: Khó cho chủ nhà
- Phân tích kèo hiệp 1 San Jose vs LA Galaxy, 09h07 ngày 25/9
- Soi kèo góc Avispa Fukuoka vs Nagoya Grampus, 17h ngày 4/10: Đội khách áp đảo
- Dự đoán đội vô địch Copa America 2019: Brazil là ứng viên số 1
- Nhận định, soi kèo Mozambique vs Uganda, 20h00 ngày 20/3: Trận đấu bước ngoặt
- Phân tích kèo hiệp 1 San Jose vs LA Galaxy, 09h07 ngày 25/9
- 随机阅读
-
- Nhận định, soi kèo Nữ Man City vs Nữ Chelsea, 3h00 ngày 20/3: Nuôi hy vọng
- Nhận định, soi kèo Viktoria Plzen vs Teplice, 2h00 ngày 6/12:
- Nhận định, soi kèo Seattle Sounders vs Cincinnati, 9h00 ngày 28/9
- Soi kèo tài xỉu New England vs Montreal hôm nay, 6h37 ngày 18/9
- Soi kèo góc Thổ Nhĩ Kỳ vs Hungary, 0h00 ngày 21/3
- Soi kèo góc Leicester City vs Bournemouth, 21h00 ngày 5/10
- Soi kèo góc Augsburg vs Monchengladbach, 01h30 ngày 5/10
- Nhận định, soi kèo BKMA vs Gandzasar, 20h00 ngày 5/12: Cửa dưới ‘tạch’
- Nhận định, soi kèo Monterey Bay vs Inter San Francisco, 09h00 ngày 20/3: Bắt nạt đội khách
- Soi kèo góc Liverpool vs Bologna, 2h00 ngày 3/10
- Soi kèo góc Espanyol vs Mallorca, 19h00 ngày 5/10
- Phân tích tỷ lệ kèo hiệp 1 Atletico San Luis vs Club America, 10h10 ngày 11/5
- Nhận định, soi kèo Croatia vs Pháp, 2h45 ngày 21/3: Điểm tựa sân nhà
- Soi kèo góc Leipzig vs Juventus, 2h00 ngày 3/10
- Phân tích kèo hiệp 1 Los Angeles FC vs Houston Dynamo, 9h37 ngày 19/9
- Soi kèo góc West Ham vs Ipswich, 21h00 ngày 5/10
- Nhận định, soi kèo Hume City vs South Melbourne, 16h30 ngày 21/3: Lật ngược lịch sử
- Nhận định, soi kèo San Jose vs LA Galaxy, 9h07 ngày 25/9
- Nhận định, soi kèo SJ Earthquake vs Dallas, 9h30 ngày 18/9
- Nhận định, soi kèo Millonarios vs Ind Santa Fe, 8h30 ngày 6/12: Khách không có cơ hội
- 搜索
-
- 友情链接
-