ИИ-автопилот: поток задач вырос в 13 раз

Автор описывает работу конвейера из ИИ-агентов, который самостоятельно обрабатывает задачи от тикета до коммита в крупном C++ проекте. За девять недель эксплуатации на реальных задачах пропускная способность выросла в 13 раз, при этом 80% машинного времени уходит на доказательство корректности кода. Приведены конкретные метрики эффективности и распределения ресурсов между генерацией и верификацией.