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