美国国防部建议使用AI自动将C代码转换为Rust