Исследователи создают системы искусственного интеллекта, предназначенные для поиска и устранения ошибок в компьютерных программах. В основе подхода — методы, которые ранее помогли ИИ справиться со сложной математической задачей с призовым фондом в миллион долларов.
В статье сопоставляются успехи ИИ в математике и новая область его применения — кибербезопасность. Подробности о разработчиках, характеристиках систем и результатах тестирования в предоставленном материале не приводятся.
Разработка нацелена на автоматизацию выявления программных уязвимостей, однако пока описана как исследовательская работа, а не как готовое решение. Для оценки её практического значения потребуются данные о точности систем и их применении в реальных условиях.