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độfulham đấu với arsenal 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 NJ Alliance vs Red Wolves, 6h00 ngày 19/3: Khó cho chủ nhà
-
Trong đoạn clip do người đi đường quay lại bằng điện thoại, có thể thấy hàng dài từ ô tô con đến xe khách xếp hàng chờ lần lượt...leo dốc. Theo người quay Đặng Chương, con dốc này khi có mưa thì gần như ô tô người dân không thể đi qua được, còn lúc đường khô, những xe dẫn động cầu trước rất vất vả do bánh xe khó bám đường. Nhiều chủ xe đã nghĩ ra cách đi lùi để tăng lực đẩy, giúp xe không bị trôi.
Xem clip từng ô tô thể hiện kỹ năng leo dốc đất ở Kon Tum:
Đáng chú ý, trong đoạn clip có thể thấy một số xe đời mới như Mazda CX5, Kia Sorento, Chevrolet Captiva leo dốc thua xa chiếc xe đời "ơ kìa" như Toyota Cressida. Có lẽ, với những đoạn dốc đất khó bám đường như trên sẽ là thử thách đáng nhớ đối với các tài xế lần đầu đi qua, nhất là "lái mới".
Đình Quý(video: Đặng Chương)
Bạn đã từng gặp tình huống thót tim khi lái xe? Hãy chia sẻ video, thông tin tới Ban Ô tô xe máy theo email: otoxemay@vietnamnet.vn. Các nội dung phù hợp sẽ được đăng tải. Xin cảm ơn!
Đang ăn tất niên, cả gia đình hốt hoảng khi ô tô đâm sầm vào nhà
Một gia đình ở miền nam Trung Quốc đang ăn tất niên dịp Tết Nguyên đán thì bị gián đoạn sau khi một chiếc ô tô lao vào nhà của họ.a
" alt="Con dốc ở Kon Tum bỗng thành bài thử bản lĩnh tài xế ngày đầu năm">Con dốc ở Kon Tum bỗng thành bài thử bản lĩnh tài xế ngày đầu năm
-
Giông cực mạnh lôi tuột xe bán tải ra khỏi nhà
Gió cực mạnh trong cơn giông đã lôi tuột chiếc xe bán tải ra khỏi nhà của một gia đình ở Thái Lan.
" alt="Nghẹt thở giải cứu 2 mẹ con kẹt trong ô tô chìm dưới hồ">Nghẹt thở giải cứu 2 mẹ con kẹt trong ô tô chìm dưới hồ
-
Năm 2022 có ít nhất 4 quy định mới liên quan đến việc học, sát hạch, cấp giấy phép lái xe ô tô mà học viên cần biết
Xe Giao thông điểm qua 4 thay đổi về việc học, sát hạch cấp giấy phép lái xe (GPLX) ô tô tại Việt Nam từ năm 2022 mà học viên cần biết, dưới đây:
Sử dụng thiết bị giám sát học viên học lái xe ô tô
Theo thông tư Thông tư 38/2019/TT-BGTVT, quy định về việc trang bị và sử dụng thiết bị giám sát thời gian và quãng đường học lái xe trên đường của học viên trong đào tạo lái xe ô tô được yêu cầu thực hiện từ ngày 1/1/2021. Tuy nhiên, do ảnh hưởng của dịch Covid-19, quy định này được lùi thời điểm thực hiện đến ngày 1/1/2022.
Thêm nội dung thi bằng lái ô tô từ ngày 1/6/2022
Cũng trong Thông tư 38/2019/TT-BGTVT đặt ra lộ trình sử dụng phần mềm mô phỏng các tình huống giao thông để áp dụng thi sát hạch lái xe từ ngày 1/5/2021. Nhưng cũng do ảnh hưởng của dịch Covid-19, quy định này đã được lùi thời điểm thực hiện.
Theo khoản 12, điều 2 Thông tư 01/2021/TT-BGTVT quy định: Trung tâm sát hạch lái xe sử dụng phần mềm mô phỏng các tình huống giao thông để sát hạch lái xe từ ngày 1/6/2022.
Tổng cục Đường bộ Việt Nam và Sở Giao thông vận tải các tỉnh, thành sử dụng phần mềm mô phỏng các tình huống giao thông để sát hạch lái xe từ ngày 1/6/2022.
Quy định học lái xe ô tô với cabin mô phỏng sẽ được thực hiện từ ngày 1/7/2022
Học lái xe ô tô với cabin mô phỏng từ ngày 1/7/2022
Điều 1 Thông tư 01/2021/TT-BGTVT quy định cơ sở đào tạo sử dụng phần mềm mô phỏng các tình huống giao thông để đào tạo lái xe ô tô từ ngày 31/12/2021. Trang bị và sử dụng cabin học lái xe ô tô để đào tạo lái xe ô tô từ ngày 1/7/2022.
Thời gian học của mỗi học viên đối với nội dung này được quy định 3 giờ đối với chương trình đào tạo lái xe hạng B1, B2, C và 1 giờ đối với chương trình đào tạo nâng hạng lái xe (nâng hạng từ B1 tự động số lên B1 thì không phải học).
Như vậy, với 2 sự thay đổi ở mục 2 và 3, học viên sẽ phải thi thêm các nội dung, gồm: Thi sát hạch trên phần mềm mô phỏng các tình huống giao thông và Thi sát hạch trong cabin ô tô mô phỏng.
Với những thay đổi trên, người thi sát hạch sẽ phải trải qua 4 nội dung thi thay vì 3 như trước đây
Thay đổi trình tự công nhận kết quả thi bằng lái ô tô
Với việc bổ sung nội dung thi sát hạch Bằng lái xe ô tô từ ngày 1/6/2022, thứ tự thi cùng trình tự công nhận kết quả thi cũng có sự điều chỉnh.
Theo đó, người thi sát hạch sẽ phải trải qua 4 nội dung thi, gồm: Sát hạch lý thuyết; Thi phần mềm mô phỏng các tình huống giao thông; Thực hành lái xe trong hình; Thực hành lái xe trên đường.
Việc công nhận kết quả thi đối với người thi Bằng lái xe ô tô các hạng được thực hiện như sau: Nếu không đạt lý thuyết, không được thi lái ô tô bằng phần mềm mô phỏng. Nếu không đạt nội dung lái ô tô bằng phần mềm mô phỏng, không được thi thực hành trong hình. Nếu không đạt nội dung thực hành trong hình, không được thi sát hạch lái xe trên đường.
Đạt nội dung lý thuyết, phần mềm mô phỏng, thực hành trong hình nhưng không đạt kết quả nội dung lái xe trên đường, được bảo lưu kết quả trong 1 năm.
Đạt cả lý thuyết, lái ô tô bằng phần mềm mô phỏng và thực hành lái xe (trong hình và trên đường) sẽ được công nhận trúng tuyển và cấp Bằng lái xe.
Theo Báo Giao thông
Tin bài cộng tác xin gửi về Ban Ô tô xe máy theo email: otoxemay@vietnamnet.vn. Xin cảm ơn!
Kiến nghị lùi thời gian lắp thiết bị giám sát học lái xe ô tô
Do ảnh hưởng của dịch bệnh, việc thực hiện quy định lắp thiết bị giám sát thời gian và quãng đường học lái xe ô tô gặp nhiều khó khăn.
" alt="Quy định mới liên quan đến thi bằng lái ô tô có hiệu lực năm 2022">Quy định mới liên quan đến thi bằng lái ô tô có hiệu lực năm 2022
-
Nhận định, soi kèo Rwanda vs Nigeria, 23h00 ngày 21/3: Chủ nhà có điểm
-
Bị can Hà Minh Huy bị cơ quan công an khởi tố, bắt tạm giam. Ảnh: CACC Cơ quan công an cũng khởi tố bị can, cấm đi khỏi nơi cư trú đối với Đàm Văn Hiệu (51 tuổi, ở phường Tân Giang, TP Cao Bằng) là Phó chi cục trưởng Chi cục Thuế huyện Thạch An về tội "Thiếu trách nhiệm gây hậu quả nghiêm trọng".
Theo cơ quan điều tra, việc khởi tố hai bị can trên nằm trong quá trình mở rộng điều tra vụ án "Lợi dụng chức vụ, quyền hạn trong khi thi hành công vụ" xảy ra tại Văn phòng đăng ký đất đai TP Cao Bằng trong thời gian qua.
Cơ quan điều tra xác định, hành vi của Đàm Văn Hiệu và Hà Minh Huy đã gây thiệt hại lớn cho ngân sách Nhà nước.
Đề nghị làm rõ trách nhiệm của nguyên Cục trưởng Cục thuế TP.HCM Trần Ngọc Tâm
CQĐT đề nghị Thành ủy TP.HCM kiểm điểm làm rõ trách nhiệm của ông Trần Ngọc Tâm (giai đoạn từ 1/2016- 7/2019) với tư cách người đứng đầu để cán bộ Cục thuế bị khởi tố và đề nghị truy tố hình sự, xử lý nghiêm theo các quy định của Đảng và pháp luật." alt="Khởi tố 2 cán bộ chi cục thuế ở Cao Bằng">Khởi tố 2 cán bộ chi cục thuế ở Cao Bằng
- 最近发表
-
- Nhận định, soi kèo Saudi Arabia vs Trung Quốc, 01h15 ngày 21/3: Nợ cũ khó đòi
- Tọa đàm “Phát triển thị trường Khoa học công nghệ”
- Gần 3 tạ pháo hoa xuyên biên giới về xuôi bị tóm gọn ở Quảng Trị
- Lý do tỷ lệ tử vong của bệnh nhân Covid
- Kèo vàng bóng đá Atletico Nacional vs Deportes Tolima, 08h30 ngày 20/3: Chủ nhà lên đỉnh
- Tập huấn sử dụng phần mềm trợ lý ảo cho các thẩm phán trên toàn quốc
- Nhận diện kẻ dí súng cướp 1,1 tỷ đồng ở ngân hàng Việt Á
- Honda Dream 'đồng nát' dọn lại chơi Tết đẹp lung linh
- Nhận định, soi kèo Slovakia vs Slovenia, 2h45 ngày 21/3: Cầm chừng
- Những lãnh đạo công nghệ thế giới đam mê game
- 随机阅读
-
- Soi kèo góc Thổ Nhĩ Kỳ vs Hungary, 0h00 ngày 21/3
- Nghi án SDTV chơi xấu đối thủ: Có nên đề nghị Bộ TT&TT kiểm tra?
- Những lưu ý giúp phòng tránh trộm xe hơi
- Một người bán vé số dương tính với Covid
- Nhận định, soi kèo Thổ Nhĩ Kỳ vs Hungary, 0h00 ngày 21/3: Tin vào khách
- Nghẹt thở giải cứu 2 mẹ con kẹt trong ô tô chìm dưới hồ
- Ô tô điện tích hợp máy chơi game được ra mắt tại CES 2022
- 5 mẫu siêu xe trong phim đắt đỏ nhất thế giới
- Kèo vàng bóng đá Croatia vs Pháp, 02h45 ngày 21/3: Đối thủ kỵ giơ
- Tình tiết khó tin vụ trộm 'khoắng' hơn 800 chỉ vàng trong nhà nữ đại gia
- Năm xe SUV Nhật Bản tốt nhất năm 2021, đa số quen mặt tại Việt Nam
- Xe Mercedes lao xuống vực nát bét đầu nhưng không ai trên xe bị thương
- Nhận định, soi kèo Eswatini vs Cameroon, 23h00 ngày 19/3: Xây chắc ngôi đầu
- 3 bộ anime Nhật vừa 'lên sóng' ứng dụng POPS đã khiến fan ‘cày xuyên đêm’
- Phú Thịnh Green Park khai trương căn hộ mẫu
- Đánh thuế các thanh toán qua cổng Paypal, Siết thuế nền tảng TMĐT
- Soi kèo góc Hà Lan vs Tây Ban Nha, 2h45 ngày 21/3
- Từ 1/1/2016, SCTV nâng tốc độ Internet ở Hà Nội lên 1,5 lần
- FPT Telecom bất ngờ xin thử nghiệm 4G
- [CS:GO] ‘Lão tướng’ của Fnatic vừa bị VAC ban
- 搜索
-
- 友情链接
-