3 nhà khoa học người Việt Nam tại Google gây sốc giới toán học bằng công nghệ AI có thể giải đề ngang ngửa các nhà vô địch Olympic

Thứ 5, 18/01/2024 10:02
Sản phẩm của 3 nhà khoa học Việt có ưu điểm nổi trội là tự nâng cấp dữ liệu đầu vào mà không cần huấn luyện của con người, điều mà ChatGPT hay Gemini chưa làm được. Nghĩa là AI này đưa ra lời giải từ số 0 mà không phải từ các ví dụ trả lời của con người.
3 nhà khoa học người Việt Nam tại Google gây sốc giới toán học bằng công nghệ AI có thể giải đề ngang ngửa các nhà vô địch Olympic - Ảnh 1.

Thành viên Thang Lương (ngoài cùng bên phải) của nhóm phát triển Alpha Geometry đang thảo luận về cách AI giải đề hình học

Cách đây 4 năm, chuyên gia máy tính Trịnh Hoàng Triều của Việt Nam đã ấp ủ ý tưởng xây dựng mô hình trí thông minh nhân tạo (AI) để giải các bài toán hình học được đăng trong đề thi Olympic toán quốc tế, vốn là cuộc thi đấu căng thẳng nhất của giới học sinh.

Vào tuần trước, chuyên gia Trịnh Hoàng Triều đã bảo vệ thành công luận án tiến sĩ về chủ đề này tại Đại học New York và đã trình bày thành quả trên tạp chí danh tiếng Nature.

Theo ông Trịnh Hoàng Triều, mô hình AI này được đặt tên là Alpha Geometry và có thể giải quyết được các bài toán hình học Olympic ở cấp độ gần như tương tự với các nhà vô địch huy chương vàng.

Trong quá trình phát triển dự án, tiến sĩ Trịnh Hoàng Triều đã giới thiệu chúng với các nhà khoa học nghiên cứu ở Google và ngay lập tức được mời về làm từ năm 2021. 

Bởi vậy sản phẩm Alpha Geometry đã gia nhập bộ phận AI mang tên Google DeepMind của tập đoàn này, bên cạnh những dự án nổi tiếng khác như Alpha Zero, vốn nổi tiếng là AI chinh phục môn cờ vua năm 2017.

Tờ New York Times (NYT) nhận định Alpha Geometry được đánh giá là xuất sắc hơn Alpha Zero bởi một đề toán có vô số lời giải nhưng môn cờ vua thì số bước đi là hữu hạn.

Đồng hành với tiến sĩ Trịnh Hoàng Triều trong dự án này là ông Lương Minh Thắng và ông Lê Viết Quốc, đều là chuyên gia cao cấp đến từ Google DeepMind, bên cạnh đó còn cả ông He He đến từ đại học New York và nhà sáng lập Yuhuai Wu của xAI.

"Đây không chỉ là một bước cải tiến nhỏ. Chúng tôi đã thực hiện một cú đột phá lớn về thành quả AI. Tuy nhiên chúng ta cũng đừng nên phóng đại thành quả này làm gì", tiến sĩ Trịnh Hoàng Triều cho hay.

3 nhà khoa học người Việt Nam tại Google gây sốc giới toán học bằng công nghệ AI có thể giải đề ngang ngửa các nhà vô địch Olympic - Ảnh 2.

Từ trái qua phải: Ông Yuhuai Yu, Trieu Trinh, Quoc Le, Thang Lương tại tòa nhà của Google ở California

Bước đột phá lớn

Tiến sĩ Trịnh Hoàng Triều đã thử nghiệm Alpha Geometry bằng bộ đề 30 câu hỏi của giải thi Olympic toán học trong giai đoạn 2000-2022. Kết quả là AI này giải được 25 đề, kém hơn một chút so với mức bình quân 25,9 đề của các nhà vô địch đạt huy chương vàng Olympic cùng thời kỳ.

Bộ đề thi cũng được đưa ra thử nghiệm với hệ thống AI được phát triển vào thập niên 1970 và bị coi là sản phẩm mạnh nhất trước khi Alpha Geometry ra đời. Kết quả là chúng chỉ giải được 10 đề.

Trong vài năm trở lại đây, Google đã cố gắng phát triển DeepMind thành một dự án khổng lồ có thể khai phá mọi mặt của công nghệ AI. Bởi vậy việc một AI có thể phá giải được các đề thi và giành huy chương vàng cuộc thi Olympic toán được cho là tiêu chuẩn vàng ở mảng này.

Ngoài Google DeepMind, những đối thủ khác như OpenAI hay Meta AI cũng đạt được một số thành quả nhất định ở mảng này.

Thậm chí những giải thưởng như IMO Grand Challenge hay AIMOP đã được tổ chức với tổng giá trị 5 triệu USD cho sản phẩm AI đầu tiên giành được huy chương vàng Olympic.

Quay trở lại với Alpha Geometry, tiến sĩ Trịnh Hoàng Triều nhận định cách tư duy của toán học chỉ là một trong vô số giải pháp tìm kiếm đáp án khác cho các vấn đề trong thực tế. Tuy nhiên ưu thế của phương pháp này là có thể xác minh tính chính xác của sự việc.

"Toán học là ngôn ngữ của sự thật. Nếu bạn muốn xây dựng một AI thì điều quan trọng nhất của sản phẩm là phải có ý chí tìm kiếm sự thật, qua đó trở thành một AI đáng tin cậy cho người dùng", tiến sĩ Trịnh Hoàng Triều nhận định.

Gây chấn động

Tờ NYT cho biết AlphaGeometry là sản phẩm được kết hợp giữa một mô hình ngôn ngữ dựa trên mạng nơ ron (NLM, tương tự như ChatGPT nhưng quy mô nhỏ hơn), vốn có khả năng suy luận tốt và một hệ thống chuyên về lập luận logic, sau đó được tùy chỉnh để đọc hiểu hình học (được họi là Symbolic Engine).

Sản phẩm Alpha Gemetry này sẽ có 2 bước hoạt động.

Đầu tiên, sản phẩm này sẽ bắt đầu giải toán bằng Symbolic Engine. Nếu gặp bế tắc thì chúng sẽ nhờ sự hỗ trợ từ NLM.

Mô hình NLM vốn được đào tạo dựa trên các tệp dữ liệu sẽ tạo ra thuật toán với 100 triệu ví dụ chứng minh hình học mà không sử dụng các lời giải của con người, qua đó giúp Alpha Geometry hoàn thành đề thi với Symbolic Engine. 

Quá trình này không khác những bước giải toán hình học của con người trong thực tế là bao. Vòng lặp giải toán này sẽ được thực hiện liên tục cho đến khi ra đáp án hoặc hết giờ tối đa, vào khoảng 5 tiếng, tương đương thời gian cho một bài thi IMO.

Điểm khiến Alpha Geometry đặc biệt là sản phẩm tự cập nhật các dữ liệu đầu vào mà không cần đến sự huấn luyện của con người. Công cụ này có thể tự sinh ra dữ liệu chất lượng cao để giải đề mà không cần lời giải ví dụ của con người cho đầu vào.

Nói cách khác, Ai này tự đưa ra lời giải từ con số 0 bằng các dữ liệu tự cập nhật của mình chứ không phải các câu trả lời có sẵn của con người.

Đây là điều mà những AI của ChatGPT hay Gemini đều chưa thể làm được.

*Nguồn: NYT

Băng Băng

Cùng chuyên mục

Né được cường địch vì thảm bại, U23 Việt Nam hoang mang tiến vào tứ kết

Thứ 4, 24/04/2024 00:29
HLV Hoàng Anh Tuấn khó lòng kê cao gối ngủ và người hâm mộ cũng chẳng thể hài lòng sau trận thua “lấm lưng trắng bụng” của U23 Việt Nam.

Phát hiện hòn đảo chỉ cách đất liền 25km, nơi duy nhất ở Việt Nam có bãi tắm đôi nóng - lạnh khiến giới trẻ mê mẩn

Thứ 4, 24/04/2024 00:01
Bạn sẽ ngỡ ngàng khi đặt chân đến bãi tắm đôi, một bên nóng một bên lạnh, ở giữa là bãi cát trắng trải dài này.

Công ty con của “gã khổng lồ” Abbott trên sàn chứng khoán Việt Nam lãi lớn quý 1, tiếp tục truyền thống cổ tức “đều như vắt tranh”

Thứ 3, 23/04/2024 23:59
Abbott hoàn tất thâu tóm doanh nghiệp dược phẩm của Việt Nam vào năm 2016 với số tiền bỏ ra ước tính khoảng 400 tỷ. Đến nay, giá trị số cổ phần này đã lên đến 1.150 tỷ đồng, gấp gần 3 lần khoản đầu tư ban đầu, chưa kể cổ tức "khủng" hàng năm với tỷ lệ cao.

Một trường quốc tế “chuẩn như phim Mỹ” tại Hà Nội: học phí hơn nửa tỷ đồng/năm, dạy đủ các môn quý tộc như bắn cung, mới hoạt động đã có học sinh đỗ Yale, Stanford

Thứ 3, 23/04/2024 23:53
Trong vài năm qua, các học sinh của trường đã trúng tuyển vào hàng loạt trường top đầu nước Mỹ.

HLV Uzbekistan lộ biểu cảm khó tả, không cười dù đội nhà liên tục sút tung lưới U23 Việt Nam

Thứ 3, 23/04/2024 23:44
U23 Uzbekistan liên tiếp ghi tới 3 bàn thắng vào lưới U23 Việt Nam chỉ trong hiệp 1. Tuy nhiên HLV Timur Kapadze lại đón nhận điều này một cách khá bình thản.
     
Nổi bật trong ngày

Quà lớn của Mỹ chưa đến tay, Tổng thống Ukraine nhận tin xấu từ tiền tuyến: "Lỗ hổng khổng lồ" xuất hiện

Thứ 3, 23/04/2024 07:11
"Cảm ơn nước Mỹ!", ông Zelensky cho biết quyết định của Washington sẽ giữ "lịch sử đi đúng hướng" nhưng hiện trên tiền tuyến Ukraine đang phải đối mặt với một khó khăn vô cùng lớn.

HLV Hoàng Anh Tuấn nói lời úp mở, U23 Việt Nam sẽ chỉ tung quân dự bị đấu Uzbekistan?

Thứ 3, 23/04/2024 09:25
HLV Hoàng Anh Tuấn thẳng thắn thừa nhận U23 Việt Nam cần tính toán để có lực lượng tốt nhất cho trận tứ kết, trong bối cảnh đội đã cầm chắc tấm vé đi tiếp.

Nơi công sở, khi sếp nói 3 câu này chính là đang "đào hố" chờ bạn nhảy: Người EQ cao thường không dại mắc mưu!

Thứ 3, 23/04/2024 10:48
Môi trường công sở là nơi rất phức tạp, không phải bất kỳ lúc nào bạn cũng nên tin 100% lời người khác nói, đặc biệt là với lãnh đạo.

Đi họp lớp cấp 3, tôi âm thầm thanh toán toàn bộ tiền tiệc rồi về sớm: Ai ngờ lại bị bạn cũ chỉ trích, tôi ngậm ngùi nhận ra 2 sự thật sâu cay!

Thứ 3, 23/04/2024 12:26
Vì thấy “ngại” khi về sớm, người phụ nữ đã âm thầm thanh toán toàn bộ tiền bữa ăn rồi ra về. Khi về đến nhà, đọc tin nhắn trong nhóm lớp, người phụ nữ không thể ngờ hành động của mình lại bị các bạn cũ “chê trách”.

Vì sao Ireland là quốc gia duy nhất trên thế giới không có rắn cư ngụ?

Thứ 3, 23/04/2024 15:03
Bạn có biết rằng Ireland đã và đang hoàn toàn không có sự hiện diện của loài rắn trong suốt nhiều thế kỷ qua.
xe.nguoiduatin.vn