14 октября 2026 г.
Rust готовят под ИИ-агентов: в Meta за год написали вдвое больше Rust-кода, чем за 9 лет
Тесты на агентном объёме кода больше не гарантия, и лид Rust предлагает языку цель: ни одного недоказанного unsafe.
Тесты никогда не доказывали, что программа верна. С агентами они не дотягивают даже близко.
Так пишет Нико Мацакис в разборе от 14 октября. Он ведёт проект Symposium в Rust Innovation Lab, а довод берёт у Дейкстры 1970 года: тестирование не доказывает, что ошибок нет.
Не хотите разбираться сами? Внедряем ИИ в ваш бизнес: задачи без лимита, одна цена в месяц, отмена в любой момент.
Разговор шире Rust. Когда код пишет агент, объём растёт быстрее, чем человек успевает его читать, и гарантию даёт уже не ревью, а то, что проверяет машина.
Цифра роста. Инженеры Meta за этот год написали вдвое больше своего Rust-кода, чем за предыдущие девять лет вместе. Цифру приводит в посте Дэвид Толнай.
Грег Брокман 2 января назвал Rust идеальным языком для агентов: раз компилируется, значит почти верно. Мацакис делит работу на три части. Придумать, что код должен делать, написать его и разогнать. Агенты сильны во второй и третьей, замысел остаётся людям, а авторы криптоалгоритмов уже доводят производительность агентами.
Что ставить сегодня. Пост называет рабочую связку для сетевых сервисов: с профайлером вроде dial9 агенты неплохо находят async-ямы, долгие polls и блокирующие вызовы. Профайлер ставится командой `cargo install --locked dial9 --features cli`, в Cargo.toml идёт `dial9 = { version = "0.5", features = ["cpu-profiling"] }`, в .cargo/config.toml добавляются rustflags `--cfg tokio_unstable` и `-C force-frame-pointers=yes`. Готовые бинарники лежат под Linux, macOS и Windows, собирать из исходников не обязательно.
Второй инструмент того же автора берётся двумя командами: `cargo binstall symposium`, затем `cargo agents init`. Он сам находит и подключает skills, хуки и MCP-серверы по зависимостям вашего крейта. Rust Foundation одобрила Symposium вторым проектом Rust Innovation Lab 21 апреля и называет его ранним и быстро меняющимся.
Поверх этого Мацакис предлагает Rust цель на эпоху агентов: ни одного unsafe-кода, который не доказан корректным. Раньше unsafe закрывали ревью и тестами, теперь предлагается доказательство, исключающее undefined behavior.
Инструментов для этого четыре. Verus, Creusot, Aeneas и Kani. Начать Мацакис советует с доказательства, что код не паникует, и это снимает целый класс ошибок. Дальше добавляются ассерты на ожидаемый результат.
Дальше эта логика ведёт к Rust, где доказательство корректности стоит там, где сейчас стоит тест.
* Meta Platforms Inc. признана в РФ экстремистской организацией, её деятельность запрещена; Facebook и Instagram заблокированы. Meta AI и другие продукты компании — продукты этой организации.
Первоисточник