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

  发布时间:2025-01-21 18:35:15   作者:玩站小弟   我要评论
Tuần trước,ếnsỹngườiViệtgiớithiệumôhìnhAIgiảitoánhìnhhọccấpđộm.24h nghiên cứu sinh người Việt - Trịnm.24hm.24h、、。

Tuần trước,ếnsỹngườiViệtgiớithiệumôhìnhAIgiảitoánhìnhhọccấpđộm.24h 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.

screenshot 2024 01 18 at 134500.png
Các thành viên AlphaGeometry, từ trái qua gồm Yuhuai Wu, Trịnh Hoàng Triều, Lê Viết Quốc và Lương Thắng. Ảnh: WashingtonPost

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.

screenshot 2024 01 18 at 134155.png
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 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.

相关文章

  • Trước thềm bầu cử, tài sản ông Trump bốc hơi 2,4 tỷ USD chỉ trong 3 ngày - 1

    Diễn biến cổ phiếu Trump Media & Technology Group trong tháng qua (Ảnh: Google Finance).

    Cổ phiếu Trump Media từng sụt giảm mạnh vào tháng 7 sau khi Tổng thống Mỹ Joe Biden tạm dừng chiến dịch tranh cử, khiến giới đầu tư lo ngại ông Trump sẽ gặp nhiều thách thức khi đối đầu với bà Harris.

    Theo ông Steve Sosnick, chiến lược gia tại công ty môi giới Interactive Brokers, các yếu tố cơ bản của công ty không hề liên quan đến việc giao dịch cổ phiếu. Hiện Trump Media vẫn chưa đưa ra lời giải thích nào về đợt lao dốc cổ phiếu này.

    "Nếu ông Trump tái đắc cử, Trump Media sẽ có triển vọng đầy hứa hẹn khi Truth Social có thể trở thành kênh truyền thông quan trọng của tổng thống Mỹ", ông Sosnick cho biết.

    Nhưng nếu ông Trump không chiến thắng, Trump Media có thể bị bán tháo. "Cổ phiếu này sẽ rơi tự do. Tôi không nghĩ giá trị của công ty sẽ còn đạt mức tỷ USD", ông Gene Munster, đồng sáng lập quỹ đầu tư mạo hiểm Deepwater Asset Management, nhấn mạnh với CNN.

    Theo Reuters, CNN'/>
  • Phó Thủ tướng: Dùng AI kiểm soát mua bán, doanh thu sàn thương mại điện tử - 1

    Phó Thủ tướng, Bộ trưởng Bộ Tài chính Hồ Đức Phớc phát biểu trước Quốc hội (Ảnh: Phạm Thắng).

    Thời gian qua, dư luận rất quan tâm đến công tác quản lý thuế đối với các sàn thương mại điện tử có tính chất xuyên biên giới hoạt động tại Việt Nam, đặc biệt là các sàn mới xuất hiện và đang được quảng cáo rầm rộ trên các nền tảng mạng xã hội trong thời gian qua, điển hình như Temu.

    Tổng cục Thuế (Bộ Tài chính) cho biết, ngày 4/9, sàn thương mại điện tử Temu đã được công ty chủ sở hữu đăng ký thuế qua Cổng thông tin điện tử dành cho nhà cung cấp nước ngoài của Tổng cục Thuế và được cấp mã số thuế là 9000001289.

    Theo cơ quan thuế, các sàn thương mại điện tử hoạt động tại Việt Nam đều được quản lý cấp phép và quản lý thuế chặt chẽ nhưng cũng tạo thuận lợi tối đa cho người nộp thuế trên cơ sở thực hiện đăng ký, kê khai và nộp thuế trên các nền tảng Cổng thông tin điện tử của ngành thuế.

    Tổng cục Thuế khẳng định, công tác quản lý thuế đối với các sàn thương mại điện tử cả trong nước và sàn thương mại điện tử có yếu tố xuyên biên giới mà hoạt động kinh doanh tại Việt Nam đều được cơ quan thuế Việt Nam thực hiện quản lý thuế chặt chẽ, đảm bảo thu đúng, thu đủ, công bằng, minh bạch theo đúng quy định pháp luật thuế của Việt Nam.

    Đồng thời, Tổng cục Thuế cũng tiếp tục tăng cường công tác tuyên truyền các chính sách thuế đến các chủ thể, đặc biệt là các chủ thể mới có hoạt động sản xuất kinh doanh tại Việt Nam để tạo điều kiện thuận lợi nhất cho họ yên tâm sản xuất kinh doanh và có đóng góp nghĩa vụ thuế vào ngân sách của Nhà nước.

    '/>
  • Ngân hàng Nhà nước cấp thêm room tín dụng cho nhà băng dùng gần hết - 1

    Ngân hàng gần hết room tín dụng được cấp thêm từ 28/8 (Ảnh: Mạnh Quân).

    Mới đây, nhà điều hành tiền tệ đã có văn bản gửi các tổ chức tín dụng thông báo mức tăng trưởng tín dụng tăng thêm theo nguyên tắc cụ thể, đảm bảo công khai, minh bạch.

    "Từ ngày 28/8, tổ chức tín dụng có tốc độ tăng trưởng tín dụng năm nay đạt từ 80% chỉ tiêu đã thông báo đầu năm sẽ được chủ động điều chỉnh tăng thêm dư nợ tín dụng dựa trên cơ sở điểm xếp hạng của tổ chức tín dụng. Việc bổ sung hạn mức này là sự chủ động của Ngân hàng Nhà nước mà các tổ chức tín dụng không cần phải đề nghị", Ngân hàng Nhà nước thông báo.

    Ngân hàng Nhà nước từ đầu năm đã giao hết toàn bộ chỉ tiêu tăng trưởng tín dụng định hướng 15% và nói rõ sẽ điều chỉnh trên diễn biến thực tế.

    Ngoài tăng trưởng tín dụng, Ngân hàng Nhà nước yêu cầu các tổ chức tín dụng thực hiện nghiêm túc các chỉ đạo về hoạt động tiền tệ và các quy định về cấp tín dụng nhằm nâng cao hiệu quả kinh doanh, bảo đảm an toàn hệ thống và ổn định thị trường.

    Tăng trưởng tín dụng nhưng các ngân hàng phải đảm bảo an toàn, hiệu quả hạn chế nợ xấu, hướng tín dụng vào các lĩnh vực sản xuất, lĩnh vực ưu tiên tăng trưởng kinh tế theo chủ trương của Chính phủ; kiểm soát chặt chẽ đối với lĩnh vực tiềm ẩn rủi ro.

    Các ngân hàng cũng được yêu cầu tiếp tục duy trì ổn định mặt bằng lãi suất tiền gửi, giảm chi phí hoạt động, đơn giản hóa thủ tục cho vay, giảm lãi suất cho vay.

    Trong thời gian tới, Ngân hàng Nhà nước sẽ tiếp tục bám sát diễn biến thị trường trong nước và quốc tế để kịp thời có giải pháp điều hành chính sách tiền tệ phù hợp, sẵn sàng hỗ trợ thanh khoản tạo điều kiện cho các tổ chức tín dụng cung ứng tín dụng cho nền kinh tế.

    '/>
  • Nhận định, soi kèo Nongbua Pitchaya vs Lamphun Warrior, 19h00 ngày 18/1: Khách thất thế

    Hư Vân - 18/01/2025 04:30 Nhận định bóng đá g
    2025-01-21

最新评论