专注于形式化数学推理的人工智能初创公司Harmonic AI近日通过C轮融资成功筹集1.2亿美元（约合1728亿韩元）。该公司估值达14.5亿美元（约合2.088万亿韩元），计划加速推进其核心AI数学推理引擎“Aristotle”的商业化与性能升级。
Harmonic AI由罗宾汉（Robinhood）联合创始人弗拉德·特内夫（Vlad Tenev）共同创立，自2023年成立以来始终以开发具备超人类推理能力的“数学超级智能”为目标。其核心产品Aristotle基于数学形式化语言Lean 4的探针助手，能够将自然语言数学问题精准转换为可验证的形式化证明。
该公司的独特之处在于摒弃网络爬取数据，采用“自我学习循环”技术使AI自主生成问题-证明对。通过这种方式，Aristotle实现了从基础练习题到高难度数学定理的自主学习，最终成功达到国际数学奥林匹克竞赛水平。
事实上，Aristotle近期在IMO级别试题中展现出金牌得主级的解题能力，其卓越的数学理解力已获得验证。目前该引擎以API形式向科研人员与数学家开放，正广泛应用于多学科领域。近期新增的自然语言处理输入支持、辅助引理自动生成及用户界面优化等功能，显著提升了系统易用性与效率。
本轮融资由Ribbit Capital Management领投，红杉资本、Index Ventures、凯鹏华盈及Emerson Collective等机构跟投。Harmonic AI联合创始人弗拉德·特内夫强调：“Aristotle实证了超级智能在数学与量化分析领域的变革潜力”，并指出本轮融资将成为基于AI推理技术精准性与可靠性推动跨行业实践应用的重要转折点。
此前Harmonic AI曾于2024年9月完成7500万美元（约合1080亿韩元）A轮融资，2025年7月再获1亿美元（约合1440亿韩元）B轮投资，估值持续快速攀升。
凭借在人类级数学论证能力方面的突破性展示，Harmonic AI有望在科学研究、金融、医疗等注重数学精确性的领域进一步拓展“可信AI”的应用边界。这家以解决AI幻觉问题为使命的初创企业，预计将对基于形式化逻辑的AI技术格局产生深远影响。
