DeepMind AI đạt chuẩn giải Huy chương Bạc tại Kỳ thi Toán học Quốc tế

Vào ngày 25 tháng 7, Google DeepMind tuyên bố họ đã đạt được những tiến bộ trong việc giải quyết các vấn đề lý thuyết đòi hỏi kiến thức cao trong toán học cho AlphaProof và AlphaGeometry 2.

Toán học đã được coi là một tiêu chuẩn quan trọng cho sự phát triển của AI. Toán học phức tạp như hình học đòi hỏi khả năng giải quyết vấn đề sáng tạo và sâu sắc cũng như kỹ năng lý luận tinh vi. 

AlphaProof là một hệ thống dựa trên học tăng cường cho lý do toán học hình thức, và AlphaGeometry 2 là phiên bản cải tiến của hệ thống giải quyết vấn đề hình học.

Hai hệ thống đã giải quyết bốn trong sáu vấn đề từ Kỳ thi Toán học Quốc tế (IMO) năm nay, "đạt được cùng một cấp độ với một người đoạt huy chương Bạc trong cuộc thi lần đầu," công ty tuyên bố.

IMO là cuộc thi dành cho những nhà toán học trẻ tuổi lâu đời, lớn nhất và uy tín nhất. Nó đã được tổ chức hàng năm kể từ năm 1959, và sự kiện tại Anh năm nay đã có hơn một trăm quốc gia tham gia.

Google giải thích rằng Hội thi đã trở thành một "thách thức lớn trong học máy và một tiêu chuẩn châm ngôn cho việc đo lường khả năng lý do toán học tiên tiến của một Hệ thống AI."

Giáo sư Sir Timothy Gowers, người đoạt huy chương tượng vàng của IMO, nhận xét:

“Việc chương trình có thể tạo ra một cấu trúc không trực tiếp như thế này là rất ấn tượng và vượt xa những gì tôi nghĩ là tối tân.”

Trước đó, Google đã tham gia vào các mô hình AI toán học với một hệ thống gọi là AlphaGo đã học được cách chơi game cờ Go và đánh bại cờ thủ huyền thoại Lee Sedol vào năm 2016.

Các nhà nghiên cứu giờ đã kết hợp người kế nhiệm của AlphaGo, được biết đến với tên gọi AlphaZero, với các mô hình ngôn ngữ được tiến sĩ trình lên để tạo ra AlphaProof. Nó được huấn luyện bằng cách giải hàng triệu vấn đề được dịch sang ngôn ngữ lập trình hình thức “Lean.”

Trong khi đó, AlphaGeometry 2 là một hệ thống hybride chủ tham giác dựa trên mô hình AI Gemini của Google, với khả năng cải thiện trong việc giải quyết vấn đề hình học.

Công ty cho biết các đội AI của họ đang “tiếp tục khám phá nhiều phương pháp AI để tiến xa hơn trong lý do toán học và dự định phát hành thêm thông tin kỹ thuật về AlphaProof sớm.”

Theo một báo cáo doanh thu Q2 từ Google cha Alphabet, đã có nhiều chi tiêu cho nghiên cứu liên quan đến AI tại DeepMind. “Mức thua vốn được xem như mức hoạt động với Alphabet”, chủ yếu gây ra bởi tiền được chi cho nghiên cứu và phát triển AI, đạt $2.3 tỷ cho Q2, gần gấp đôi so với cùng kỳ năm ngoái.

Liên quan: 4 điều mà người dùng Google Gemini sẽ có thể làm sớm

Trong khi đó, cuộc đua về AI tiếp tục nóng lên.

Theo một báo cáo của Reuters vào ngày 15 tháng 7 báo cáo, nhà sản xuất ChatGPT OpenAI đang làm việc trên một phương pháp mới cho các mô hình AI của mình trong dự án có mã gọi là “Dâu tây.” Theo đó, mô hình được thiết kế để cải thiện đáng kể khả năng lý do của AI và cho phép nghiên cứu sâu tự động trên internet.

Ngoài ra, vào ngày 25 tháng 7, OpenAI tuyên bố ra mắt một mẫu hệ thống tìm kiếm AI được gọi là SearchGPT.

Vào ngày 23 tháng 7, CEO Meta Mark Zuckerberg cho biết công ty đang tiến tới thành công về việc là mô hình AI mã nguồn mở trở thành chuẩn ngành trong khi tuyên bố ra mắt mô hình mới nhất của mình, Llama 3.1.

Tạp chí: $1 triệu đánh cược rằng ChatGPT sẽ không dẫn đến AGI, việc sử dụng AI thông minh của Apple, số lượng triệu phú AI tăng mạnh: AI Eye