他们尝试用 AI 将 C 代码转 Rust 代码时发现：

目前语言之间的完美转化是不可行的。

将一种语言翻译成另外一种语言(比如: C->Rust), 中间隔着程序员没写出来的存在于抽象空间中的对表征关系的逻辑描述。

比如：将 C 转成 Rust

如果要做到完美转换，AI 需要先由 C 代码逆向出这段代码对应的程序员想要的抽象描述。

这段描述，即使是程序员自己也不一定能表达清楚，还很可能充满未知 bug。 然而，我们还需要让 AI 从这种不完整的理解中推导出 Rust 代码，这就会无法避免碰到各种问题。
https://x.com/i/status/2049403042878157117