900 гипотез об уязвимостях и 12 миллиардов токенов: как ИИ ищет баги в Rust

Автор исследует возможности искусственного интеллекта и языковых моделей в поиске уязвимостей в коде на Rust, используя собственный исследовательский конвейер. В ходе работы было сгенерировано 900 гипотез об ошибках и обработано 12 миллиардов токенов, что позволило найти реальные баги и даже внести патч в ядро Linux.