空軍はロボティクスと自律性研究に最大8700万ドルを投入しました。防衛の自律性には、検証可能な計算が根本的に必要です。 証拠のない軍用ロボットは国家的な脆弱性です。