Компания утверждает, что с помощью Claude и в сотрудничестве с Theorem смогла доказать security properties на уровне assembly для 123 open-source библиотек. По их словам, модель ещё и нашла баги, которые не всплывали даже после триллионов тестов, а условия были вполне приземлённые: single-threaded static binary, фиксированная память, RISC-V и Linux.
После внедрения AI-агентов время от PR до merge выросло на 49%, доля PR с запрошенными правками почти удвоилась, а комментариев стало на 35% больше. Доля работников, участвующих в ревью, выросла на 14%, но значимых изменений занятости исследователи не нашли. AI-агенты оставили лишь 23,3% ревью-комментариев и оформили 10,8% PR.
Gergely Orosz посетил Anthropic: Claude Managed Agents заняли 6 месяцев; Bun переписали с JavaScript на Rust за 11 дней, потратив $165k на токены. Инженерные практики меняются — прототипирование быстрее, верификация дольше, код-ревью и тестирование всё чаще отдаются AI.
Саймон Уиллисон цитирует эссе Арвинда Нарьянана и Sayash Kapoor про то, почему массовых увольнений из-за ИИ не видно и не будет по линейной схеме «модель стала умнее — людей выкинули». Авторы разбирают профессию software engineering как случай, где ограничения, контекст и ответственность мешают красивому сценарию полного автопилота.