空軍剛剛承諾投入高達8700萬美元用於機器人和自主研究。國防自主需要可驗證的計算作為核心。 沒有證明的軍事機器人是一種國家脆弱性。