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万美元种子轮融资。