數(shù)學(xué)超智能初創(chuàng)公司Harmonic完成1.2億美元C輪融資，投資方包括英偉達(dá)

　　多知1月16日消息，致力于開發(fā)數(shù)學(xué)超級智能的初創(chuàng)公司Harmonic AI宣布，英偉達(dá)公司的風(fēng)投部門NVentures參與了該公司于去年11月完成的1.2億美元C輪融資，此輪融資使其估值達(dá)到14.5億美元。

　　此次融資將用于加速Harmonic在開發(fā)“Aristotle”(亞里士多德)引擎方面的進(jìn)展。該公司宣稱，該引擎是世界上最先進(jìn)的數(shù)學(xué)推理引擎，能夠徹底消除AI幻覺問題。

　　Aristotle是一個(gè)專注于形式化數(shù)學(xué)推理的AI引擎。該引擎采用Lean?4證明輔助工具，使用戶能夠以計(jì)算機(jī)可驗(yàn)證正確性的方式編寫數(shù)學(xué)定義、定理和證明，從而將自然語言數(shù)學(xué)問題轉(zhuǎn)化為形式化可驗(yàn)證的證明。

　　數(shù)學(xué)超智能是該公司的核心理念，其AI具備匹配甚至超越人類的推理能力。其方法包括使用合成數(shù)據(jù)生成技術(shù)進(jìn)行訓(xùn)練——不是依賴于網(wǎng)絡(luò)抓取的數(shù)據(jù)，而是自主生成形式化的問題-證明對，從而實(shí)現(xiàn)遞歸式自我改進(jìn)。

　　根據(jù)介紹，Aristotle 在 2025 年國際數(shù)學(xué)奧林匹克競賽中榮獲金牌。此外，它在代碼驗(yàn)證基準(zhǔn)測試中也取得了 96.8% 的準(zhǔn)確率。

　　最近，Harmonic更進(jìn)一步擴(kuò)展了亞里士多德的能力，在AI編碼領(lǐng)域取得了一項(xiàng)新突破——在"可驗(yàn)證代碼生成競技場"基準(zhǔn)測試中達(dá)到了最先進(jìn)的96.8%得分。該VERINA基準(zhǔn)由加州大學(xué)伯克利分校和Meta Platforms Inc.的研究人員開發(fā)，是衡量可驗(yàn)證代碼生成的高質(zhì)量標(biāo)準(zhǔn)。

　　Harmonic認(rèn)為，代碼生成已迅速成為大型語言模型最強(qiáng)大的用例之一。然而，使用非正式方法驗(yàn)證正確性成本高昂且依賴人工，造成了與Aristotle已在數(shù)學(xué)領(lǐng)域開始著手解決的相同驗(yàn)證瓶頸。

　　Harmonic 公司首席執(zhí)行官Tudor Achim表示：“Aristotle在解決重大數(shù)學(xué)問題上的成功，以及其在完全自主定理證明方面的突破，證明了Harmonic在實(shí)現(xiàn)數(shù)學(xué)超智能方面正在快速推進(jìn)。此輪融資將幫助我們提升Aristotle的能力，加速數(shù)學(xué)領(lǐng)域的發(fā)現(xiàn)進(jìn)程，并使各行業(yè)能夠利用數(shù)學(xué)AI的力量來解決關(guān)鍵的高風(fēng)險(xiǎn)問題。”

　　除英偉達(dá)的NVentures外，此輪C輪融資的其他投資者還包括凱鵬華盈、Paradigm Management、Ribbit Capital Management、紅杉資本、Index Ventures Management以及Charlie?Cheever。

　　Harmonic成立于2023年，此次新融資之前，該公司曾在去年7月以90億美元估值完成1億美元的B輪融資，并于2024年9月完成了7500萬美元的A輪融資。

　　值得注意的是，越來越多的公司開始瞄準(zhǔn)數(shù)學(xué)超級智能，如總部位于舊金山的人工智能初創(chuàng)公司Axiom，其創(chuàng)始人為斯坦福數(shù)學(xué)博士畢業(yè)生洪樂潼(Carina Hong)。在去年10月，該公司獲得了由 B Capital 領(lǐng)投的6400萬美元種子輪融資。

　　相關(guān)閱讀：

　　專攻數(shù)學(xué)超級智能的Harmonic獲7500萬美元投資，紅杉領(lǐng)投，CEO：將是下一個(gè)AI前沿

　　AI初創(chuàng)公司Axiom獲6400萬美元種子輪投資，CEO：我們起點(diǎn)是AI數(shù)學(xué)家