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độgiai ngoai hang anh 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)
AI tạo sinh thống trị các cuộc thảo luận tại DavosSự phát triển nhanh chóng của trí tuệ nhân tạo (AI) đã thống trị các cuộc thảo luận riêng tư và công khai tại Diễn đàn Kinh tế Thế giới khi các hãng công nghệ lớn nhất, bao gồm Salesforce, Microsoft và Google phô trương lực lượng.(责任编辑:Thể thao)
- Nhận định, soi kèo Mumbai City vs East Bengal, 21h00 ngày 31/1: Nỗ lực bảo toàn vị thế
Một vòng tròn đen
Chấm giữa đỉnh trời
Nhà thờ Đức Bà
Lặng tiếng chuông rơi
Phố xá dây giăng
Con đường hoang vắng
Chốt chặn rào ngăn
Em biết không, em biết không?Những cuộn thép gai nằm im trơ khấc
Những bóng mây đen vô hình vô dạng
Không để lại dấu vết tử sinh
Sài Gòn hôm nay trái tim rỉ máu
Sài Gòn hôm nay những cuộc chia ly
Sài Gòn lặng im chan hòa nước mắt
Người tiễn đưa người trong cay đắng...
Sài Gòn của tôi...Sài Gòn của tôi Sài Gòn của em
Bình minh xua tan đêm tối
Sài Gòn của tôi Sài Gòn của em
Dang rộng vòng tay chào đón yêu thương...Thơ: Lê Viết Hòa
" alt="Sài Gòn khúc nguyện cầu" />Sài Gòn khúc nguyện cầu- -Em và bạn (đều là học sinh) đang lưu thông bằng xe 50 phân khối thì bị mấy anh Cảnh sát trât tự gọi vào. Em hỏi tại sao bắt em? Em đi đúng luật, không vi phạm, mà xe cũng chỉ 50 phân khối kia mà? Anh CSTT ấy nói là kiểm tra hành chính đêm (lúc đó mới 8h tối)." alt="Kiểm tra hành chính lúc… 8h tối?" />Kiểm tra hành chính lúc… 8h tối?
- Dự án đầy ý nghĩa của Lương Xuân Trường đã thành hiện thực khi Trung tâm phục hồi chấn thương thể thao quốc tế IRC khai trương sáng 7/3 tại Hà Nội.
Tham gia cùng dự án của tiền vệ HAGL có một loạt chuyên gia hàng đầu y học thể thao như Choi Ju Young, Nguyễn Trọng Hiền, Trần Anh Tuấn, Lee Jung Bin, Trần Huy Thọ, Nguyễn Đình Đức... với sứ mệnh phụng sự thể thao Việt Nam.
Xuân Trường thực hiện giấc mơ có một trung tâm phục hồi thể thao Dựa trên mô hình đã thành công tại Hàn Quốc và thế giới, IRC ban đầu cam kết phục vụ tối đa 25 VĐV một ngày để tập trung cho các VĐV chế độ tốt nhất.
Dự lễ khai trương dự án của Lương Xuân Trường, HLV Park Hang Seo tin rằng trung tâm là nơi được các cầu thủ, VĐV tin tưởng nhờ quy tụ được nhiều chuyên gia giỏi.
Trong khi đó, Lương Xuân Trường chia sẻ cảm giác trải qua chấn thương của cá nhân lẫn đồng nghiệp, đặc biệt nhấn mạnh khao khát giúp các cầu thủ, VĐV Việt Nam có điều kiện chữa trị, phục hồi với điều kiện tốt nhất, chi phí thấp nhất.
Đại Nam
" alt="Thầy Park chúc mừng Xuân Trường mở Trung tâm thể thao phục hồi" />Thầy Park chúc mừng Xuân Trường mở Trung tâm thể thao phục hồi - Nhận định, soi kèo Istra 1961 vs HNK Gorica, 23h00 ngày 31/1: Gia tăng khoảng cách
- Soi kèo góc Brisbane Roar vs Western Sydney, 15h35 ngày 31/1
- 3 lần đến thăm con, 2 lần ông ngoại chửi mắng, đuổi về
- Kết quả bóng đá hôm nay 18/2
- Phù Đổng mục tiêu top 6, sẵn sàng chơi lớn ở hạng Nhất
- Nhận định, soi kèo Queretaro vs Pachuca, 08h00 ngày 30/1: Ai cũng có điểm
- SLNA: Chống xuống hạng ngay từ những vòng đầu
- Sài Gòn khúc nguyện cầu
- ‘Ngợp’ với giá căn hộ TP.HCM, nhà đầu tư săn thị trường mới
-
Nhận định, soi kèo Al Jandal vs Neom SC, 19h50 ngày 29/1: Cửa trên thất thế
Hư Vân - 29/01/2025 04:35 Nhận định bóng đá g ...[详细] -
Sadio Mane lỡ hẹn World Cup 2022
Sadio Mane chấn thương trong màu áo Bayern Munich Nguồn tin độc quyền từ tờ L'Equipe cho hay, tiền đạo 30 tuổi bị tổn thương đầu gối và gân kheo sau khi có kết quả chụp chiếu sáng nay (9/11).
Sadio Mane sẽ cần ít nhất 4 tuần điều trị nên chắc chắn không thể cùng tuyển Senegal tham dự World Cup 2022 khởi tranh từ ngày 20/11.
Đại diện châu Phi nằm ở bảng A, đá trận mở màn gặp Hà Lan vào ngày 21/11. Tiếp đó, Senegal chạm trán chủ nhà Qatar cùng Ecuador.
Đây là tin dữ với những người yêu bóng đá Senegal bởi Sadio Mane là niềm hy vọng số 1 của họ ở giải đấu danh giá sắp tới.
Trước Sadio Mane, cũng có hàng loạt cầu thủ khác sớm vỡ mộng World Cup vì những chấn thương nghiêm trọng khác nhau.
Nổi bật là trường hợp của Ben Chilwell, Reece James (Anh), Timo Werner (Đức), Kante và Pogba (Pháp) hay Diogo Jota (Bồ Đào Nha).
Xem ngay lịch thi đấu World Cup 2022 cập nhật mới nhất tại đây
" alt="Sadio Mane lỡ hẹn World Cup 2022" /> ...[详细] -
Nhận định, soi kèo Hermannstadt vs UTA Arad, 22h00 ngày 31/1:
Hoàng Ngọc - 31/01/2025 08:47 Nhận định bóng ...[详细] -
Lộ diện cánh tay phải của HLV Philippe Troussier
Theo một số nguồn tin, vị trợ lý này có vai trò quan trọng liên quan tới vấn đề chuyên môn ở cả hai đội tuyển, giống như trợ lý Lee Young jin của HLV Park Hang Seo.
Hiện tại, dàn trợ lý của HLV Troussier cũng đã dần được lộ diện. Đây đều là những người đã cùng làm việc với ông ở Trung tâm PVF và U19 Việt Nam như trợ lý phân tích Lê Minh Dũng, Nguyễn Việt Thắng (cựu HLV Cần Thơ), Nguyễn Mạnh Cường và Hoàng Bách (phiên dịch). Hai trợ lý khác ở tuyển Việt Nam là cựu trung vệ Trương Đình Luật, HLV thủ môn Nguyễn Thế Anh.
Ở đội U23 Việt Nam, cựu trung vệ Mai Xuân Hợp (Thanh Hóa) được điền tên, bên cạnh các trợ lý Ngô Tuấn Vinh, Nguyễn Thăng Long và Ngô Việt Trung.
Với cách làm bóng đá bài bản từ gốc rễ là đào tạo trẻ, HLV Philippe Troussier rất quan tâm tới vấn đề phát triển thể lực.
Nhà cầm quân người Pháp được cho đã gửi lời mời tới chuyên gia thể lực người Pháp Cedric Roger - cộng sự đắc lực của HLV Philippe Troussier khi còn làm việc tại PVF và Việt Nam trước đây. Hiện tại ông Roger đang cùng U20 Việt Nam chuẩn bị cho VCK U20 châu Á 2023.
Tuyển Việt Nam tập trung vào ngày 8/3 và chỉ có 5 ngày "tập chay". HLV Philippe Troussier và các cộng sự sẽ tập trung cho đội U23 Việt Nam nhằm có sự chuẩn bị tốt nhất cho mục tiêu bảo vệ HCV SEA Games trên đất Campuchia vào tháng 5 tới.
U23 Việt Nam tập trung thành 4 giai đoạn, và số lượng cầu thủ được HLV Philippe Troussier thanh lọc dần trước khi rút gọn danh sách đi tập huấn ở UAE.
Cũng trong thời gian tới, HLV Troussier theo dõi màn thể hiện của các cầu thủ trẻ ở VCK U20 châu Á 2023 nhằm bổ sung lên đội U23 Việt Nam.
Trong số này, những cái tên như Văn Khang, Văn Trường, Hồ Văn Cường, Trần Nam Hải, Đinh Xuân Tiến, Bùi Vĩ Hào... cho thấy sự tiến bộ rất nhanh thời gia qua, hoàn toàn có thể lọt vào mắt xanh của chiến lược gia người Pháp.
" alt="Lộ diện cánh tay phải của HLV Philippe Troussier" /> ...[详细] -
Viettel mất tiền đạo chủ lực hết ngay đầu mùa giải V
Geovane gặp chấn thương nặng phải nghỉ hết mùa giải Với chấn thương này, ngoại binh 29 tuổi phải tiến hành làm phẫu thuật. Theo dự kiến, Geovane cần khoảng 6 tháng mới có thể quay trở lại sân cỏ. Như vậy tiền đạo sinh năm 1994 sớm phải nói lời chia tay mùa giải 2023 chỉ sau 4 vòng đấu đầu tiên.
Đây là tổn thất rất lớn với CLB Viettel bởi Geovane có vai trò rất quan trọng trong lối chơi. Mùa trước, tiền đạo này ghi 9 bàn và có 5 đường kiến tạo sau 24 lần ra sân. Ngoài ra, anh cũng tỏa sáng ở AFC Cup với 2 bàn thắng và 2 kiến tạo sau 4 trận đấu cho Viettel FC.
"Việc thiếu vắng Geovane ảnh hưởng nhiều đến sức mạnh tấn công của đội",HLV Thạch Bảo Khanh cho biết.
Sau 4 vòng đấu, Viettel đứng ở vị trí thứ 5 trên BXH với 6 điểm. Đội bóng của HLV Thạch Bảo Khanh có nhiều nét mới trong lối chơi ở mùa giải năm nay, đặc biệt là sự đa dạng trong các phương án tấn công.
Xem ngay lịch thi đấu V-League 2023 mới nhất tại đây!
Lịch thi đấu V-League 2023 vòng 5Lịch thi đấu V-League 2023 - Cung cấp lịch thi đấu bóng đá vòng 5 Night Wolf V-League 1 2023 nhanh, đầy đủ và chính xác." alt="Viettel mất tiền đạo chủ lực hết ngay đầu mùa giải V" /> ...[详细] -
MU kiếm bộn tiền nhờ có 16 cầu thủ đá World Cup 2022
Antony, Fred góp mặt cùng tuyển Brazil, trong khi Bruno Fernandes làm nhiệm vụ cùng tuyển Bồ Đào Nha, còn Rashford góp mặt cùng Tam sư Đó là bởi Liên đoàn bóng đá thế giới (FIFA) sẽ trả tiền cho các CLB theo số ngày các các cầu thủ của họ tham dự World Cup, vắng mặt để phục vụ cho các ĐTQG.
Với việc có 16 cầu thủ (bao gồm cả Alex Telles đang cho mượn tại Sevilla), MUdự kiến kiếm được ít nhất khoảng hơn 2,5 triệu bảng từ tiền ‘bồi thường’ của FIFA.
FIFA được cho đã chi 157 triệu bảng cho tiền ‘đền bù’ cho các CLB tại World Cup 2018 diễn ra ở Nga. Tuy nhiên, các CLB sẽ nhận được nhiều hơn cho ngày hội ở Qatar năm nay.
Cụ thể, các CLB sẽ nhận được 10.000 USD (9.012 bảng)/cầu thủ/ngày với các cầu thủ làm nhiệm vụ tại World Cup 2022 cho các ĐTQG của họ. Con số này tăng hơn hẳn so với 6.440 bảng/cầu thủ/ngày tại World Cup 4 năm trước.
Việc ‘đền bù’ theo ngày được tính từ 14/11, tức 6 ngày trước World Cup, cùng với mỗi đội có 13 ngày cho vòng bảng. Như vậy, MU sẽ nhận khoản tiền ít nhất trong 19 ngày/16 cầu thủ tham dự - tương đương 2.739.648 bảng.
Con số có khả năng tăng lên do MU có các cầu thủ thuộc các đội tuyển có tiềm năng, nằm trong nhóm ứng viên như Argentina, Brazil, Pháp và Anh.
MU cũng có thể ‘bỏ túi’ từ các cựu cầu thủ của họ, khi Quy định của FIFA nêu rõ: “Khoản bồi thường sẽ được trả cho các CLB mà cầu thủ đã thi đấu trong 2 năm trước khi diễn ra World Cup 2022”.
Như vậy, MU sẽ được FIFA chia tiền từ Daniel James và Edinson Cavani.
" alt="MU kiếm bộn tiền nhờ có 16 cầu thủ đá World Cup 2022" /> ...[详细] -
Nhận định, soi kèo Persebaya Surabaya vs Persita Tangerang, 19h00 ngày 31/1: Chặn đứng mạch bết bát
Phạm Xuân Hải - 31/01/2025 07:18 Nhận định bó ...[详细]
Nhận định, soi kèo Stuttgart vs PSG, 3h00 ngày 30/1: Khách chiếm ưu thế
- Lần đầu tiên kể từ tháng Hai, Man Cityphải nhận thất bại trên sân nhà trong khuôn khổ Premier League. Thất bại 1-2 trước Brentford thực sự là một kết quả khiến nhiều người bất ngờ.
Tuy vậy, nếu nhìn vào thế trận, kịch bản trên sân Etihad không bất ngờ khi Brentford có 90 phút thi đấu hợp lý hơn so với đội chủ nhà.
"Thất bại luôn mang lại cảm giác không mấy dễ chịu, nhưng đây là thực tế của cuộc chơi", Pep Guardiola phản ứng sau trận đấu và không xem việc Man City thua trận là điều gì đó khủng khiếp, cho dù khoảng cách mà đội đầu bảng Arsenal tạo ra đã là 5 điểm.
Chỉ trong vòng ít ngày, Man City trình diễn hai bộ mặt rất khác nhau. Hồi giữa tuần, họ từng thắng thuyết phục Chelsea trong khuôn khổ vòng 3 League Cup, nhưng giờ đây gục ngã trước Brentford.
Trong trận thắng Chelsea, đội quân của Pep Guardiola phô diễn chiều sâu đội hình và khả năng tạo đột biến. Trước Brentford là đội bóng mệt mỏi, thiếu sáng tạo, thi đấu bế tắc và dường như một vài cầu thủ bị chi phối bởi World Cup 2022 đang cận kề.
Erling Haaland không nằm trong nhóm cầu thủ dự World Cup. Sau chấn thương, anh được kỳ vọng tiếp tục "nhả đạn" giúp nhà ĐKVĐ Premier League đua tranh ngôi đầu cùng Arsenal.
Kết quả, người hâm mộ trên sân Etihad chứng kiến màn trình diễn kém nhất của Haalandkể từ ngày đặt chân đến Anh.
Man City giữ thói quen kiểm soát bóng vượt trội, với tỷ lệ lên đến 74,6%, thực hiện 622 đường chuyền và dứt điểm 29 lần. Trong thế trận như vậy, Haaland chỉ có 21 lần chạm bóng, 19 đường chuyền với độ chính xác 73,7%.
Cựu cầu thủ Dortmund, người dẫn đầu danh sách ghi bàn ở Premier League, với 18 pha lập công, thậm chí chỉ tung ra đúng 1 pha dứt điểm và không chính xác.
Brentford xuất sắc trong việc triển khai hệ thống phòng ngự trên phần sân nhà. HLV Thomas Frank thành công trong việc bịt kín các khoảng trống trước khung thành thủ môn David Raya.
Đồng thời, Brentford thành công khi phong tỏa hoàn toàn Haaland. Cầu thủ người Na Uy không có khoảng trống và bóng được đưa đến anh đều ở trong các tình huống bất lợi để xử lý.
Phản ứng của Toney
Trong ngày Haaland lu mờ, Ivan Toney tỏa sáng rực rỡ và trở thành người hùng của đội khách.
Trong thế trận phản công mà Brentford triển khai, 6 trong 8 pha dứt điểm chính xác thuộc về Toney và mang về 2 bàn thắng.
Cú đúp vào lưới Ederson nâng thành tích của Toney ở Premier League mùa này lên 10 bàn, chiếm 43,48% số bàn thắng mà Brentford có cho đến nay.
Những ngày vừa qua, Toney trở thành tâm điểm ở bóng đá Anh sau khi bị Gareth Southgate gạt khỏi danh sách tham dự World Cup 2022.
Toney là cầu thủ Anh ghi nhiều bàn thắng thứ hai Premier League cho đến nay. Harry Kane là người duy nhất có thành tích tốt hơn, với 12 pha lập công.
HLV Southgate ưu ái đội ngũ quen thuộc của mình, khi trao suất đi Qatar cho Callum Wilson, Marcus Rashford hay cầu thủ đang sa sút nghiêm trọng Raheem Sterling.
Chính sự bất công tạo thêm động lực chiến đấu cho Toney. Chân sút 26 tuổi biến Man City thành nạn nhân nỗ lực thể hiện mình.
"Thực sự đáng thất vọng", Toney tâm sự về việc không được dự World Cup. "Tôi sẽ không để điều đó ảnh hưởng đến bản thân. Tôi chỉ muốn tiếp tục chiến đấu và ghi bàn cho Brentford".
Có lẽ, Toney sẽ đi đâu đó nghỉ ngơi trong thời gian diễn ra World Cup, trước khi tìm tìm kiếm những nạn nhân mới trên hành trình khẳng định bản thân.
Haaland 'mất tích', Man City thua sốc Brentford
Trong ngày Erling Haaland bị "bắt chết", Man City thua bẽ bàng Brentford 1-2 khi Ivan Toney lập cú đúp cho đội khách." alt="Man City thua Brentford 1" />
- Nhận định, soi kèo Al Bataeh vs Shabab Al Ahli, 20h15 ngày 30/1: Con mồi ưa thích
- Kết quả Đà Nẵng vs Hà Tĩnh: Lê Huỳnh Đức bay cao cùng học trò
- Lâm Đồng kiểm tra loạt khu đất phân lô bán nền gắn mác dự án bất động sản
- Hồi âm đơn thư Bạn đọc đầu tháng 5/2015
- Nhận định, soi kèo Neftchi Baku vs Samaxi, 21h30 ngày 31/1: Đối thủ khó nhằn
- Kết quả bóng đá: MU bất ngờ có Varane, Neymar mặc áo số 10 ở Real
- Chuyển khoản mua xe máy rồi…mất hút!