Исследователи выясняют, может ли автоматизированный перевод на базе ИИ безопасно переносить сложные критически важные кодовые базы C на язык Rust без изменения функциональности. Проект объединяет фаззинг и формальный анализ, чтобы преодолеть разрыв в доверии между кодом, созданным ИИ, и безопасностью промышленного уровня.