L'Armée de l'air vient de s'engager jusqu'à 87 millions de dollars dans la recherche sur la robotique et l'autonomie. L'autonomie de la défense nécessite une computation vérifiable au cœur. Les robots militaires sans preuves sont une vulnérabilité nationale.