Một bước tiến lớn trong lĩnh vực trí tuệ nhân tạo đang thu hút sự chú ý trên khắp thế giới công nghệ!
Google Research cho biết hệ thống đa tác nhân sử dụng Gemini đã giúp các nhà nghiên cứu chứng minh giả thuyết Courtade–Kumar, một bài toán toán học vẫn chưa có lời giải kể từ năm 2013.
Thành tựu này cho thấy AI đang vượt ra ngoài việc trả lời câu hỏi để trở thành đối tác nghiên cứu trong những công trình khoa học và toán học phức tạp.
🔥 CHÍNH XÁC THÌ ĐIỀU GÌ ĐÃ XẢY RA?
Các nhà nghiên cứu từ Google, CUHK, USC và Đại học Carnegie Mellon đã hợp tác với hệ thống AI của Google, có tên là /teamwork.
Nghiên cứu tập trung vào một bài toán thuộc lý thuyết thông tin, liên quan đến các kênh truyền thông nhiễu và lượng thông tin có thể được bảo toàn khi nén một chuỗi bit thành một bit duy nhất.
Hệ thống AI đã giúp các nhà nghiên cứu phát triển các cận toán học và kỹ thuật chứng minh, góp phần giải quyết giả thuyết.
🧠 AI CỦA GOOGLE ĐÃ LÀM ĐƯỢC ĐIỀU ĐÓ NHƯ THẾ NÀO?
Hệ thống sử dụng nhiều tác nhân AI được vận hành bởi các mô hình Gemini.
Các tác nhân khác nhau cùng xử lý từng phần của bài toán toán học, tìm hiểu các hướng tiếp cận và phát triển những kết quả phân tích.
Sau đó, các nhà nghiên cứu kiểm tra, tinh chỉnh và hình thức hóa chứng minh bằng Lean 4, một công cụ cho phép máy tính xác minh các chứng minh toán học.
Google cho biết chứng minh được hình thức hóa này gồm khoảng 50 triệu dòng mã.
🌍 VÌ SAO BƯỚC ĐỘT PHÁ NÀY QUAN TRỌNG?
Bước tiến này cho thấy các hệ thống AI có thể hỗ trợ các nhà nghiên cứu trong những lĩnh vực đòi hỏi khả năng suy luận nâng cao và công việc toán học phức tạp.
Các lĩnh vực có thể chịu tác động bao gồm:
Nghiên cứu toán học
Khám phá khoa học
Khoa học máy tính
Thuật toán nâng cao
Kỹ thuật có sự hỗ trợ của AI
Điều này cũng cho thấy tầm quan trọng ngày càng tăng của các hệ thống mà nhiều tác nhân AI phối hợp với nhau để giải quyết những nhiệm vụ khó.
🚀 ĐIỀU GÌ CÓ THỂ XẢY RA TIẾP THEO?
Nghiên cứu của Google hướng đến một tương lai, trong đó các tác nhân AI có thể giúp các nhà khoa học nghiên cứu những vấn đề khó, thử nghiệm các giải pháp khả thi và xác minh những kết quả phức tạp.
Tuy nhiên, chuyên môn của con người và việc xác minh độc lập vẫn là những phần quan trọng của nghiên cứu khoa học.
CÂU HỎI LỚN
Liệu các tác nhân AI có thể trở thành đối tác nghiên cứu thiết yếu của các nhà khoa học và nhà toán học trên khắp thế giới?
Bước đột phá này cho chúng ta thêm một lý do để theo dõi tốc độ phát triển của trí tuệ nhân tạo.
💬 Bạn nghĩ gì về thành tựu AI của Google?
#GoogleAI #Gemini #ArtificialIntelligence #AIResearch #Technology #MachineLearning $