Hydro от AWS: компилятор должен ловить ошибки ИИ-агентов

Команда Hydro из AWS предлагает перенести проверку корректности кода за пределы «зоны доверия» ИИ-агентов — на уровень компилятора. Фреймворк на Rust ловит часть ошибок распределённых систем на этапе компиляции, а агенты уже пишут большую часть кода Hydro, включая PR на ~5000 строк.

• Hydro — открытый Rust-фреймворк для распределённых систем от AWS и UC Berkeley
• Агенты пишут большую часть кода Hydro, PR доходят до ~5000 строк
• Проверки на этапе компиляции дают агенту мгновенную обратную связь об ошибках
• Infinity: рантайм приостанавливает агента на время вызова инструмента, тест — 75 тыс. агентов на Raspberry Pi