代碼金屬,a 這家總部位於波士頓的新創公司利用人工智慧編寫程式碼並將其翻譯成其他程式語言,剛剛完成了來自新投資者和現有投資者的 1.25 億美元 B 輪融資。就在幾個月前,這家新創公司在 Accel 領投的 A 輪融資中籌集了 3,600 萬美元。
Code Metal 是新一波新創公司的一部分,旨在透過使用人工智慧產生程式碼並將其翻譯成程式語言來實現科技產業現代化。然而,關於人工智慧輔助程式碼的一個揮之不去的問題是,輸出是否良好,如果不良好,可能會產生什麼後果。
在過去的兩年裡,Antithesis、Code Rabbit、Synthesized、Theorem 和 Harness 等公司為其自動化、驗證、測試和保護人工智慧產生程式碼的方法獲得了數百萬美元的風險投資支援。這些新創公司正在銷售人工智慧「黃金鎬和鏟子」——服務於更大行業的技術工具。儘管其技術背後的一些方法尚未得到證實,但投資者願意打賭至少有一些方法會成功。
Code Metal 成立於 2023 年,專注於國防工業的代碼翻譯和代碼驗證。它的早期客戶有L3Harris、RTX(前身為雷神公司)和美國空軍。該新創公司也與日本電子公司東芝合作,並表示正在與一家大型晶片公司就跨晶片平台的代碼可移植性進行談判,但該公司拒絕透露是哪一家。
該新創公司的軟體平台將程式碼從 Python、Julia、Matlab 和 C++ 等高階程式語言轉換為低階語言或在特定硬體上運行的程式碼,如 Rust、VHDL 和晶片特定語言(如 Nvidia 的 CUDA)。
Code Metal 執行長 Peter Morales)曾在微軟和麻省理工學院林肯實驗室工作過,他表示,市場開始認識到這個行業的“大問題”,在不遠的將來,人工智慧生成的代碼可能會得到支持。這些問題之一是將舊程式碼移植到新應用程式。莫拉萊斯說,如果政府機構或國防承包商需要快速完成程式設計工作,但只能聘請專門從事傳統程式語言的工程師,那麼就會減慢每個人的速度。
Morales 引用了著名人工智慧研究員 Andrej Karpathy 最近在 X 上發表的一篇文章,他指出「將 C 移植到 Rust 背後的勢頭不斷增長」。卡帕蒂總結道:“我們最終可能會重寫曾經多次編寫的所有軟體的大部分內容。”
「這就是我們在一條推文中所做的一切,」莫拉萊斯說。
Code Metal 的投資者之一、B Capital 普通合夥人 Yan-David Erlich 表示,現實情況是,一些控制關鍵通信基礎設施(甚至衛星)的代碼“很舊,很困難,是用人們可能不再使用的編程語言編寫的。它需要現代化。”
“但是在翻譯過程中,”埃利希補充道,“你可能會引入錯誤——這是災難性的問題。”
Code Metal 表示,這就是其專有技術的用武之地。 Morales 表示,在翻譯的每一步,Code Metal 的軟體都會創建一系列測試工具(資料和工具的虛擬容器),用於評估程式碼並向客戶展示其工作原理。當被問及 Code Metal 的翻譯錯誤率時,莫拉萊斯表示,這在很大程度上取決於代碼轉換的難度,但對於當前運行 Code Metal 的管道來說,“無法生成錯誤。如果我們無法完成翻譯,軟體只會說,‘沒有解決方案’。”
該新創公司不想分享太多有關其方法的細節。然而,他並不羞於談論該業務的一個方面,那就是他的定價方法。










