ВВС только что выделили до 87 миллионов долларов на исследования в области робототехники и автономии. Автономия в обороне нуждается в проверяемых вычислениях в своей основе. Военные роботы без доказательств представляют собой национальную уязвимость.