Canonical結合LLM研究大型C程式庫自動轉譯為Rust

系統軟體長期仰賴 C 語言，但大型程式庫往往累積數十萬行程式碼，人工改寫不僅耗時，也可能引入難以察覺的相容性與安全問題。Canonical 與英國布里斯托大學因此嘗試結合大型語言模型與程式驗證，讓轉向具記憶體安全特性的 Rust 更可行。

雙方已啟動為期 3 年的研究合作，目標是打造可將大型 C 程式碼庫自動轉譯為 Rust 的平臺。系統將利用 LLM 產生轉換結果，再以程式驗證及行為比對確認新舊版本功能一致，藉此降低遷移風險、人工成本與大規模系統軟體現代化的門檻。