Robinhood CEO的人工智能數學初創公司估值近9億美元——彭博社

Robinhood Markets Inc.首席執行官弗拉德·特涅夫希望"打造一個在數學解題能力上超越任何人類的人工智能"。

攝影師：克里斯·拉特克利夫/彭博社由Robinhood Markets Inc.首席執行官弗拉德·特涅夫聯合創立的人工智能初創公司Harmonic AI已籌集1億美元資金，旨在攻克一個時常困擾AI模型的難題：數學。

本輪B輪融資由凱鵬華盈領投，紅杉資本、Index Ventures和Paradigm跟投。擔任公司非執行主席的特涅夫表示，這筆交易使這家AI初創公司估值達到8.75億美元。Harmonic的CEO是曾領導自動駕駛初創公司Helm.ai的圖多爾·阿基姆。

這家總部位於加州帕洛阿爾託的初創公司由特涅夫和阿基姆於2023年創立，致力於開發能解決複雜數學問題的人工智能系統，打造該公司所稱的"數學超級智能"。Harmonic計劃在今年晚些時候向研究人員和公眾開放其旗艦AI模型"亞里士多德"。

“近期目標是打造一個數學解題能力超越任何人類的人工智能，“特涅夫告訴彭博新聞社，“終極目標則是解決尚未攻克的重要數學難題，並將其拓展至物理學和計算機科學領域。”

特內夫表示，Harmonic以數學為核心的方法應能使其優於大型語言模型——這些模型支撐着AI聊天機器人，但通常不擅長解決複雜數學問題。Harmonic還試圖通過形式化驗證（一種用於保證AI系統正確運行的數學方法）來消除幻覺問題，即聊天機器人編造信息的情況。

“我們可以確保模型的每一個輸出和推理步驟都經過驗證是正確的，”特內夫説。“這是一種非常不同的AI模型構建方法，我認為這將成為未來主導的方法。”

Harmonic此前已從紅杉資本和Index融資7500萬美元。新一輪融資使該公司估值略低於10億美元的“獨角獸”門檻。特內夫表示這是有意為之的選擇。

“永遠不要接受最高報價，”特內夫説，他在股票交易服務Robinhood 2021年首次公開募股前為其籌集了數十億美元資金。“追求估值最大化從來不是正確的選擇。”