更新 1-Robinhood首席執行官創立的人工智能初創公司Harmonic進軍軟件和芯片設計驗證領域

路透社10月27日 - 由Robinhood首席執行官弗拉德·特內夫（Vlad Tenev）聯合創立的人工智能初創公司Harmonic周二表示，正將其“亞里士多德”（Aristotle）模型的應用範圍從數學證明擴展至軟件和芯片設計驗證領域，因為人工智能在檢測軟件缺陷方面的日益普及正引發越來越多的關注。

研究人員最近利用該技術發現了PHP中的關鍵漏洞，促使全球各地爭相修復這些漏洞。

詳情如下：

• 在英偉達（Nvidia）風險投資部門NVentures、紅杉資本（Sequoia）和 Ribbit Capital 的支持下，Harmonic 於去年 11 月完成了一輪 1.2 億美元的融資，公司估值達 14.5 億美元

• Harmonic正在開發其所謂的“數學超級智能”，這是一種專注于推理的人工智能系統，旨在減少“幻覺”和事實錯誤

• 該公司表示，Aristotle 現已能夠驗證用 C 語言編寫的軟件以及用 Verilog 語言編寫的芯片設計

• 美國聚變實驗室DIII-D表示，“亞里士多德”僅憑一篇研究論文和一條254個單詞的提示，便在四小時內重構了其反應堆控制軟件的一部分

• “亞里士多德”採用按使用量計費的定價模式

(為便利非英文母語者，路透將其報導自動化翻譯為數種其他語言。由於自動化翻譯可能有誤，或未能包含所需語境，路透不保證自動化翻譯文本的準確性，僅是為了便利讀者而提供自動化翻譯。對於因為使用自動化翻譯功能而造成的任何損害或損失，路透不承擔任何責任。)