Стали известны подробности программы HACMS, которую американские военные позже признали главным технологическим прорывом десятилетия. Теперь британские вертолёты не сбиваемы средствами РЭБ и компьютерного взлома.В рамках этой программы Пентагон взял беспилотный вертолет Boeing Little Bird и сознательно предоставил элитной группе армейских хакеров прямой доступ к одному из второстепенных бортовых компьютеров (пассажирской мультимедиа-системе). Задача хакеров заключалась в том, чтобы выбраться из изолированного сегмента и перехватить управление винтами и тягой. Однако базовые функции машины управлялись микроядром seL4, надежность которого была доказана не тестами, а строгими математическими формулами. В течение нескольких недель лучшие специалисты кибервойск США пытались пробить защиту — и не смогли сдвинуть вертолет ни на миллиметр.

Сейчас у британской ARIA запущен проект Agentic-seL4В программе HACMS защиту строили от внешнего хакера: ядро гарантировало, что взлом вспомогательного датчика не позволит сбить вертолет. В проекте Agentic-seL4 защиту строят от самого искусственного интеллекта, помещенного внутрь боевой платформы. Ядро seL4 превращается в цифровую клетку. Даже если боевой ИИ-агент подвергнется вражеской атаке, потеряет стабильность («сойдет с ума») или начнет галлюцинировать, базовая архитектура системы на физическом уровне не позволит ему открыть огонь по своим или переписать критическую прошивку машины.

В это время Путин пользуется администрацией президента вместо современных электронных средств.