Изследователи демонстрираха използването на изкуствен интелект за автоматизиране на формалната верификация на мрежови компоненти в Linux. Чрез прилагане на този метод към компилатора на защитната стена, експертите успешно откриха и коригираха критични грешки, съществували от 2022 г. насам.