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