DeepMind dùng AI AlphaProof Code kiểm chứng toán học các bảo đảm mật mã của giao thức Signal

Các nhà nghiên cứu DeepMind dùng AI tác tử (hệ thống AI tự chủ) kiểm chứng toán học một số bảo đảm mật mã của giao thức Signal trong dự án bốn tuần. Theo tạp chí WIRED, nghiên cứu này xác thực độc lập cho cơ chế mật mã bảo vệ liên lạc trên Signal, Google Messages và WhatsApp.
Khung AlphaProof Code dùng toán học kiểm tra phần mềm hoạt động đúng thiết kế, kết hợp quy trình cho phép AI tác tử tự sửa lỗi. Đánh giá này có phạm vi giới hạn khi không kiểm chứng toàn bộ ứng dụng Signal trên điện thoại di động.
AlphaProof Code đã nhận diện chính xác lỗ hổng trên phiên bản Signal cũ từng chứa lỗi đã sửa, chỉ ra giao thức khi đó không thể kiểm chứng. DeepMind không phát hiện lỗ hổng mới nào trong phần giao thức được xét, và nhóm đang phát hành chứng minh toán học này.
Theo tạp chí WIRED, khả năng mở rộng quy mô cùng chi phí hợp lý của kiểm chứng tự động bằng AI vẫn là câu hỏi mở trên toàn ngành công nghệ. Nhà nghiên cứu Swarat Chaudhuri tại DeepMind nhận định vẫn còn khoảng cách xa trước khi có thể mở rộng phương pháp này tới mọi phần mềm trên thế giới.