Harmonic 在 14 個月內從內部人士處獲得第三筆孖展
專注於人工智能的數學和推理能力
計劃探索軟件開發中的商業應用案例
Krystal Hu
路透11月25日 - 由 Robinhood 首席執行官弗拉德-特內夫（Vlad Tenev）聯合創辦的人工智能初創公司 Harmonic 已獲得 1.2 億美元的新一輪孖展，公司估值達 14.5 億美元，該公司將通過提高推理 能力來解決人工智能 "幻覺"（即錯誤或無意義的答案）問題。
勞倫-鮑威爾-喬布斯（Laurene Powell Jobs）的投資公司 Emerson Collective 也作為新的支持者加入了這 一輪孖展。
這筆交易標誌着該公司在14個月內的第三次重大孖展，使其孖展總額達到2.95億美元，凸顯了投資者對初創公司的濃厚興趣，這些初創公司甚至在擁有商業產品之前，就試圖使人工智能更加準確和可靠。
Harmonic正在開發一種被稱為 "數學超級智能"（Mathematical Superintelligence）的人工智能$(MSI)$，這種人工智能專注於高級推理，它聲稱 ，不存在困擾許多生成式人工智能模型的幻覺和其他事實錯誤。
該公司稱，其旗艦模型 "亞里士多德"（Aristotle）在合成數學證明（用於教授解決問題的計算機生成示例）上進行了訓練，並在今年7月的國際數學奧林匹克 (link)，與谷歌 (link)、OpenAI並駕齊驅，首席執行官圖多爾-阿希姆（Tudor Achim）表示，這一勝利有助於吸引投資者的興趣。
成立於2023年的Harmonic公司表示，它可以通過使用形式推理來實現這一目標，要求其人工智能以Lean4編程語言的計算機代碼形式輸出推理，並對代碼的正確性進行檢查。阿希姆表示，新資金的大部分將用於訓練模型所需的巨大計算能力。
通過專注於可驗證、無差錯的邏輯，Harmonic 公司表示，它的目標是在航空航天和金融等安全關鍵行業中建立對人工智能的信任，因為在這些行業中，錯誤可能會造成嚴重後果。
"首席執行官圖多爾-阿希姆（Tudor Achim）在接受採訪時說："消除幻覺的直接原因是，我們要求系統以代碼形式輸出推理，而不是以英語形式輸出推理。
Harmonic公司目前通過免費的API向公衆提供亞里士多德模型，開發者可以通過這個工具將模型插入自己的軟件中。該公司表示，數學家和研究人員一直在使用該工具檢查複雜的證明並加速新發現。Achim 表示，未來將探索商業化。
"他說："我認為，在軟件開發的某些領域，安全性和可靠性是最重要的。
(為便利非英文母語者，路透將其報導自動化翻譯為數種其他語言。由於自動化翻譯可能有誤，或未能包含所需語境，路透不保證自動化翻譯文本的準確性，僅是為了便利讀者而提供自動化翻譯。對於因為使用自動化翻譯功能而造成的任何損害或損失，路透不承擔任何責任。)