Rust от нейросети: тесты проходят, логика — нет

Автор эксперимента полгода заставлял языковые модели писать на Rust — и пришёл к невесёлому выводу: код компилируется, тесты и clippy проходят, а приложение тихо разваливается. Об этом рассказывает публикация на Хабре.

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

Среди типовых поломок автор называет lifetime laundering со схлопывающимися ссылками, попадание std::sync::Mutex в асинхронный контекст tokio и повреждение данных при отмене future — cancel safety модели, по его наблюдениям, игнорируют полностью.

Вывод простой: зелёный прогон тестов ещё не значит, что ИИ написал безопасный Rust.