越來越多的公司開始瞄準數學超級智能。
數學超智能初創公司Harmonic完成1.2億美元C輪融資，投資方包括英偉達
多知1月16日消息，致力于開發數學超級智能的初創公司Harmonic AI宣布，英偉達公司的風投部門NVentures參與了該公司于去年11月完成的1.2億美元C輪融資，此輪融資使其估值達到14.5億美元。
此次融資將用于加速Harmonic在開發“Aristotle”(亞里士多德)引擎方面的進展。該公司宣稱，該引擎是世界上最先進的數學推理引擎，能夠徹底消除AI幻覺問題。
Aristotle是一個專注于形式化數學推理的AI引擎。該引擎采用Lean?4證明輔助工具，使用戶能夠以計算機可驗證正確性的方式編寫數學定義、定理和證明，從而將自然語言數學問題轉化為形式化可驗證的證明。
數學超智能是該公司的核心理念，其AI具備匹配甚至超越人類的推理能力。其方法包括使用合成數據生成技術進行訓練——不是依賴于網絡抓取的數據，而是自主生成形式化的問題-證明對，從而實現遞歸式自我改進。
根據介紹，Aristotle 在 2025 年國際數學奧林匹克競賽中榮獲金牌。此外，它在代碼驗證基準測試中也取得了 96.8% 的準確率。
最近，Harmonic更進一步擴展了亞里士多德的能力，在AI編碼領域取得了一項新突破——在"可驗證代碼生成競技場"基準測試中達到了最先進的96.8%得分。該VERINA基準由加州大學伯克利分校和Meta Platforms Inc.的研究人員開發，是衡量可驗證代碼生成的高質量標準。
Harmonic認為，代碼生成已迅速成為大型語言模型最強大的用例之一。然而，使用非正式方法驗證正確性成本高昂且依賴人工，造成了與Aristotle已在數學領域開始著手解決的相同驗證瓶頸。
Harmonic 公司首席執行官Tudor Achim表示：“Aristotle在解決重大數學問題上的成功，以及其在完全自主定理證明方面的突破，證明了Harmonic在實現數學超智能方面正在快速推進。此輪融資將幫助我們提升Aristotle的能力，加速數學領域的發現進程，并使各行業能夠利用數學AI的力量來解決關鍵的高風險問題。”
除英偉達的NVentures外，此輪C輪融資的其他投資者還包括凱鵬華盈、Paradigm Management、Ribbit Capital Management、紅杉資本、Index Ventures Management以及Charlie?Cheever。
Harmonic成立于2023年，此次新融資之前，該公司曾在去年7月以90億美元估值完成1億美元的B輪融資，并于2024年9月完成了7500萬美元的A輪融資。
值得注意的是，越來越多的公司開始瞄準數學超級智能，如總部位于舊金山的人工智能初創公司Axiom，其創始人為斯坦福數學博士畢業生洪樂潼(Carina Hong)。在去年10月，該公司獲得了由 B Capital 領投的6400萬美元種子輪融資。
相關閱讀：
