DoNews1月15日消息，據(jù) AXIOS 網(wǎng)站報(bào)道，芯片制造商英偉達(dá)加入了投資初創(chuàng)公司 Harmonic 的投資者行列，該公司專注于開發(fā)用于解決數(shù)學(xué)問題的人工智能系統(tǒng)。
大型語言模型在數(shù)學(xué)競(jìng)賽中的表現(xiàn)日益出色，但 Harmonic 表示，能夠?qū)\(yùn)算結(jié)果進(jìn)行形式化驗(yàn)證的人工智能系統(tǒng)仍存在巨大市場(chǎng)空間。
Harmonic 透露，英偉達(dá)參與了該公司的 C 輪融資，此輪融資金額達(dá) 1.2 億美元，公司估值因此升至 14.5 億美元。
除現(xiàn)有投資方瑞比特資本（Ribbit Capital）、紅杉資本、指數(shù)創(chuàng)投（Index Ventures）和凱鵬華盈外，愛默生集團(tuán)（Emerson Collective）也以新投資者的身份入局。
Harmonic 稱，其名為“亞里士多德”（Aristotle）的模型不僅能攻克數(shù)學(xué)難題，在代碼編寫和芯片設(shè)計(jì)領(lǐng)域也展現(xiàn)出應(yīng)用潛力。
Harmonic 首席執(zhí)行官圖多爾?阿基姆在發(fā)給 Axios 的聲明中表示：“英偉達(dá)的支持將助力我們提升‘亞里士多德’的性能，加快數(shù)學(xué)領(lǐng)域的探索步伐，并推動(dòng)各行業(yè)借助數(shù)學(xué)人工智能的力量，解決關(guān)鍵且高風(fēng)險(xiǎn)的難題?！?/p>
該公司計(jì)劃將部分融資用于擴(kuò)充團(tuán)隊(duì)規(guī)模，員工數(shù)量將從目前的不足 30 人增加至 50 到 75 人，不過大部分資金將用于支付所需的算力資源費(fèi)用。
大型語言模型的工作原理是預(yù)測(cè)下一個(gè) token ，而非基于一套基礎(chǔ)公理進(jìn)行運(yùn)算。相比之下，Harmonic 的技術(shù)方案不僅能解決問題，還能以可驗(yàn)證的方式呈現(xiàn)完整的推理過程。
據(jù)了解，Harmonic 于 2024 年成立，創(chuàng)始投資人包括美國(guó)在線券商 Robinhood 首席執(zhí)行官弗拉德?特內(nèi)夫。特內(nèi)夫在一份聲明中表示：“我們預(yù)見未來的圖景 —— 絕大多數(shù)軟硬件都將由人工智能生成并經(jīng)過形式化驗(yàn)證，而我們的征程才剛剛起步。”
Harmonic 的應(yīng)用程序編程接口（API）目前仍處于免費(fèi)測(cè)試階段。該公司表示，暫未確定“亞里士多德”的收費(fèi)模式與付費(fèi)上線時(shí)間。
