开发数学超级智能（MSI）的人工智能平台 Harmonic 宣布获得新一轮融资。继2024年9月以 3.25亿美元 估值完成A轮融资后，该公司此次在 约9亿美元 估值基础上再获 1亿美元 投资。
本轮融资由 Kleiner Perkins 领投，Paradigm Management、Ribbit Capital、Sequoia Capital、Index Ventures 及 Charlie Cheever 等知名机构与个人也参与了跟投。Harmonic表示，新资金将用于加速其AI模型 Aristotle 的商业化进程，并正式向用户开放该AI能力。
Harmonic成立于2023年，由Robinhood首席执行官 Vlad Tenev 支持，Tudor Achim 担任管理者。公司致力于研发具备超越人类水平数学推理能力的AI模型，专注于基本数学证明领域。
作为核心产品，Aristotle 是一款能将自然语言描述的数学问题转化为计算机可验证形式证明的AI引擎。该系统基于开源证明助手 Lean 4，能够生成准确的数学定义、定理及证明过程。
在训练数据方面，Harmonic摒弃了互联网现有数据集，转而使用自研的合成“问题-证明”对进行模型训练。测试显示，Aristotle在国际公认评估基准（如MiniF2F）中的成功率高达90%，展现出解决从高中到奥林匹克级别数学问题的卓越能力。