人工智能平台 Harmonic 近日完成 1.2亿美元 C轮融资，由 Ribbit Capital Management 领投，Sequoia Capital Operations、Index Ventures Management、Kleiner Perkins Caufield & Byers 及 Emerson Collective 等机构参投。该公司成立于2023年，估值已达 14.5亿美元。
核心业务与技术优势
Harmonic 由 Robinhood CEO Vlad Tenev 与 Tudor Achim 联合创立，专注于形式化数学推理AI。其核心产品 Aristotle 引擎基于 Lean 4 证明助手，可将自然语言数学问题转化为可验证的正式证明。
技术创新在于训练过程不依赖互联网数据，而是自主生成题目与解答，实现从简单到复杂问题的渐进式能力跃升。Aristotle 已在国际数学奥林匹克竞赛中展现金牌水平，目前以 API 形式开放，并新增自然语言支持及自动词形还原（lemma）生成功能。
资金用途
本轮融资将用于加速先进数学推理模型研发，并在高可靠性要求行业推广 Aristotle AI 应用。