空军刚刚承诺投入高达8700万美元用于机器人和自主研究。国防自主需要可验证的计算作为核心。 没有证明的军事机器人是国家的脆弱点。