Доказательства против атак: Может ли ИИ помочь создать программное обеспечение, которому мы можем доверять?

ИИ упрощает запуск кибератак, делает их труднее обнаруживаемыми и возможными в гораздо большем масштабе. В то же время всё большее количество аспектов повседневной жизни зависит от программного обеспечения: больницы, энергетические сети, транспортные системы, финансовые услуги и устройства, которые мы носим в карманах. Эта лекция задает простой вопрос: что нужно сделать, чтобы программное обеспечение, на которое мы полагаемся, стало значительно безопаснее? Один из ответов заключается в формальных методах: техниках, которые используют математическое доказательство для проверки того, что программное обеспечение ведет себя так, как задумано. До сих пор эти методы часто воспринимались как слишком специализированные, слишком дорогие или слишком медленные для широкого применения. Но ИИ может изменить это. Те же достижения, которые могут помочь злоумышленникам, могут также помочь нам выявить уязвимости и устранить их до развертывания систем – создавая уникальную возможность для построения мира без уязвимостей в программном обеспечении. Докладчик: Кэтлин Фишер, Агентство продвинутых исследований и изобретений, Великобритания Часть CAV и FLoC 2026.