Google nói multi-agent AI giải quyết 10 bài toán mở về math và CS

Google mời 10.000 nhà nghiên cứu học thuật đăng ký dùng thử miễn phí trong sáu tháng nền tảng Antigravity AI cao cấp. Ưu đãi này được đưa ra sau các báo cáo cho thấy các workflow multi-agent của đội ngũ Google sử dụng các model Gemini đã giải quyết hơn 10 bài toán mở trong lý thuyết computer science và math, bao gồm việc tạo ra bằng chứng Lean 4 dài 50M dòng cho conjecture Courtade-Kumar. Ngoài toán lý thuyết, Google tuyên bố hệ thống đạt độ chính xác top-1 95% cho việc xác định cấu trúc phân tử NMR và tăng tốc độ clustering các graph 1 nghìn tỷ cạnh lên tới 180 lần. Nền tảng này, gần đây đã giới thiệu lệnh swarm để điều phối agent song song, hiện cung cấp các model khác nhau cho người dùng tùy theo tier, với Hydrogen dành cho công chúng và các model Carbon cùng Argon dành cho tài khoản trả phí và enterprise.