🧮 Đội đặc vụ AI của Google vừa giải được một câu đố toán học vẫn chưa có lời giải từ năm 2013
Google cho biết các mô hình Gemini 4 của họ, hoạt động theo nhóm đặc vụ AI trong /teamwork của Antigravity, đã giúp chứng minh giả thuyết Courtade–Kumar trong lý thuyết thông tin cùng các nhà nghiên cứu từ CUHK, USC và CMU. Toàn bộ chứng minh đã được máy tính kiểm tra bằng 50 triệu dòng mã Lean. Một hệ thống đặc vụ khác đã hoàn toàn tự động hình thức hóa các giả thuyết Weil — một kết quả mang tính bước ngoặt trong toán học — bằng khoảng 1,8 triệu dòng mã qua 28.800 lượt chạy của các đặc vụ phụ. Hiện Google đang cung cấp cho 10.000 nhà nghiên cứu học thuật quyền truy cập miễn phí trong sáu tháng vào gói sử dụng cao cấp nhất.
⭐ AI đang chuyển từ việc trả lời bài tập sang hỗ trợ giải quyết những vấn đề thực sự còn bỏ ngỏ, và giờ đây các nhà khoa học có thể tự mình thử nghiệm.
#AI
Google cho biết các mô hình Gemini 4 của họ, hoạt động theo nhóm đặc vụ AI trong /teamwork của Antigravity, đã giúp chứng minh giả thuyết Courtade–Kumar trong lý thuyết thông tin cùng các nhà nghiên cứu từ CUHK, USC và CMU. Toàn bộ chứng minh đã được máy tính kiểm tra bằng 50 triệu dòng mã Lean. Một hệ thống đặc vụ khác đã hoàn toàn tự động hình thức hóa các giả thuyết Weil — một kết quả mang tính bước ngoặt trong toán học — bằng khoảng 1,8 triệu dòng mã qua 28.800 lượt chạy của các đặc vụ phụ. Hiện Google đang cung cấp cho 10.000 nhà nghiên cứu học thuật quyền truy cập miễn phí trong sáu tháng vào gói sử dụng cao cấp nhất.
⭐ AI đang chuyển từ việc trả lời bài tập sang hỗ trợ giải quyết những vấn đề thực sự còn bỏ ngỏ, và giờ đây các nhà khoa học có thể tự mình thử nghiệm.
#AI
