Researchers are investigating whether AI-driven automated translation can safely migrate complex, security-critical C codebases into Rust without compromising functional behavior. The project combines fuzzing with formal analysis to bridge the trust gap between clean-compiling AI code and production-ready safety.