Chi tiêu gần đây của Không quân Mỹ? Không quân Mỹ đã đầu tư tối đa 87 triệu USD để tăng cường nghiên cứu về robot và hệ thống tự động, khả năng tự động đã không còn chỉ là xác thực khái niệm, mà đã bước vào thực tế ở cấp độ chiến lược thực sự. Nhưng khi các hệ thống tự động bắt đầu tham gia vào quyết định và thực hiện quân sự, chỉ có nhanh hơn và thông minh hơn là không đủ. Nếu không có hệ thống tự động có thể xác minh được, thì đó chính là một rủi ro cấp quốc gia. Nếu không thể xác nhận mô hình có bị thay thế hay không, suy luận có bị thao túng hay không, quyết định có được thực hiện theo quy tắc đã định hay không, thì dù robot có tiên tiến đến đâu, cũng chỉ là một chiếc hộp đen không thể kiểm toán. Nhật ký và tuyên bố của nhà sản xuất không thể chịu trách nhiệm ở cấp độ quân sự, một sai lầm không thể truy cứu có thể có giá trị không thể đảo ngược. Đó chính là lý do mà các hệ thống tự động trong quốc phòng phải đặt việc xác minh ở vị trí trung tâm. Không phải là xem xét lại sau khi sự việc xảy ra, mà là ràng buộc trước khi sự việc xảy ra; không phải là tin rằng hệ thống không có vấn đề gì, mà là có thể chứng minh rằng nó thực sự đã hoạt động theo quy tắc! Trong bối cảnh quân sự, nếu tính tự chủ không có chứng minh mã hóa làm ranh giới, thì không thể triển khai quy mô và càng không thể tạo ra lợi thế an ninh lâu dài. Một hệ thống tự động quốc phòng thực sự đáng tin cậy phải được xây dựng trên tính toán có thể xác minh, chứ không phải dựa trên giả định tin tưởng. Khi các hệ thống tự động trở thành năng lực cơ bản, việc chứng minh rằng nó đã làm đúng và để nó thực hiện công việc cũng quan trọng như nhau!