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

ETH vs SOL

Cuộc tranh luận về lợi nhuận tiềm năng giữa SOL $1.000 và ETH $10.000

Sau khi sự kiện halving Bitcoin hoàn tất, Crypto X lại quay trở lại với cuộc chiến giữa Solana (SOL) và Ethereum (ETH) về việc token...

Kho bạc Cardano hiện kiểm soát 1,5 tỷ ADA, trị giá 720 triệu đô...

Kho bạc Cardano đang tích trữ 1,5 tỷ token ADA, trị giá hơn 720 triệu đô la, chiếm hơn 4% nguồn cung lưu hành. Đây...
Presale của Rebel Satoshi tiếp tục gây ngạc nhiên cho các nhà đầu tư

[QC] Bittensor và Toncoin vẫn giữ được màu xanh bất chấp việc bán tháo...

  Bittensor tăng 4% trong một tuần và các chuyên gia tin rằng sắp chứng kiến sự bùng nổ. Toncoin tăng 25% trong một tuần và...

Trung Quốc đưa ra cảnh báo đối với các công ty khai thác tiền...

Đại sứ quán Trung Quốc đã đưa ra lời nhắc nhở rằng “Luật cấm tiền điện tử và khai thác tài sản ảo khác”...

Bối cảnh khai thác Bitcoin thay đổi với Runes: Thợ đào thu về 1.087,99...

Sau khi Bitcoin hoàn thành sự kiện halving lần thứ tư vào hôm qua tại độ cao block 840.000, phí onchain đã tăng lên...
shiba inu shib

Nhà phân tích dự đoán khả năng tăng giá hơn nữa của Shiba Inu...

Shiba Inu (SHIB) hiện đang trên đà tăng sau đợt hợp nhất gần đây. Cụ thể, SHIB hiện tăng 19% trong 24 giờ và...
dự án GameFi Blue-Chip mới được xác định

[QC] Ví Shibarium của Shiba Inu tăng vọt, vốn hóa thị trường của Bonk...

  Shibarium của Shiba Inu đã thêm 375.126 địa chỉ ví sau 4 ngày. Vốn hóa thị trường của Bonk đã giảm 64% từ 2,7 tỷ...

Điểm tin tuần 15/04-21/04: Bitcoin phục hồi về $ 65.000 sau khi hoàn tất...

Bitcoin đã khởi đầu tuần trong sắc đỏ và tiếp tục trì trệ bên dưới ngưỡng $ 65.000 trong những ngày sau đó, khi...
ZKasino

Scandal kéo thảm ZKasino: 32 triệu đô la ETH đang gặp rủi ro

ZKasino, một mạng cờ bạc phi tập trung, đã gặp phải những rào cản đáng chú ý trong bối cảnh cộng đồng tiền điện...

Nhà phân tích nổi tiếng cho biết UNI và ADA đang phát ra tín...

Một trader tiền điện tử nổi tiếng cho biết sàn giao dịch phi tập trung Uniswap (UNI) hàng đầu đang phát ra tín hiệu...

Chính quyền Hồng Kông bắt giữ hơn 72 người liên quan đến vụ lừa...

Chính quyền Hồng Kông đã bắt giữ hơn 70 cá nhân có liên quan đến vụ bê bối tiền điện tử JPEX trị giá...
Tiền điện tử tốt nhất để đầu tư vào năm 2024

[Quảng Cáo] Tiền điện tử tốt nhất để đầu tư vào năm 2024: Phải...

Trong bối cảnh thị trường không chắc chắn, một số loại tiền điện tử vẫn hấp dẫn các nhà đầu tư đang tìm...

Vitalik Buterin bày tỏ lo ngại về quyền riêng tư cá nhân sau khi...

Quốc hội Mỹ đã gia hạn đạo luật cho phép chính phủ nước này thu thập thông tin liên lạc của công dân nước...

Dự trữ của thợ đào Bitcoin chạm mức thấp 12 năm khi sự kiện...

Trong bối cảnh Bitcoin hoàn thành sự kiện halving lần thứ tư vào ngày 20 tháng 4, IntoTheBlock đã tiết lộ rằng số lượng...

Grayscale tiết lộ mức phí 0,15% cho Bitcoin Mini Trust ETF

Grayscale đã cung cấp một số thông tin chi tiết về quỹ spin-off Bitcoin Mini Trust, bao gồm mức phí 0,15% cạnh tranh hơn...
InQubeta (QUBE) bùng nổ sau khi ra mắt

[QC] Toncoin (TON) và Shiba Inu (SHIB) dẫn đầu thị trường tăng giá; InQubeta...

 Mặc dù đây là một tháng không mấy ấn tượng so với mức cao nhất trong tháng 3, nhưng Toncoin (TON) và Shiba Inu...