La Fuerza Aérea acaba de comprometer hasta 87 millones de dólares en investigación en robótica y autonomía. La autonomía de defensa necesita un cálculo verificable en el núcleo. Los robots militares sin pruebas son una vulnerabilidad nacional.