Robinhood CEO 的 AI 又拿了 1.2 亿估值 14.5 亿美元，主打“数学超级智能”

由 Vlad Tenev（Robinhood CEO）共同创立的 AI 产品 Harmonic，宣布完成 1.2 亿美元的 C 轮融资，公司估值达到约 14.5 亿美元。

Harmonic 的核心产品是其所谓的 “Mathematical Superintelligence (MSI)”——一种基于严格形式逻辑 (formal reasoning) 而不是传统统计预测的 AI 推理系统，目的是根本解决生成式 AI 常见的 “幻觉 (hallucinations)” 问题，使输出结果具备可验证性与高可靠性。

该公司的旗舰模型 Aristotle 已对外提供免费 API，研究人员和数学家可以通过它验证复杂数学证明、加速科研探索。据称 Aristotle 在 2025 年 7 月参加以合成数学证明训练的测试时，其表现达到了与 Google 和 OpenAI 等顶尖实验室相当的水平，这也成为吸引投资者关注的重要原因。

截至目前，Harmonic 在过去 14 个月已累计融资约 2.95 亿美元。虽然公司目前尚处于 “pre-revenue”（未实现营收）阶段，但其技术路线与潜在市场应用（尤其是对安全与可靠性要求极高的行业，如航空航天、金融等）让许多资本看好其未来商业化前景。

投资阵容方面，这轮融资由 Ribbit Capital 领投，老股东 Sequoia Capital 与 Kleiner Perkins 继续跟投，新加入的还有 Emerson Collective。

Harmonic 的目标是通过把 AI 推理 “变成代码 + 可验证逻辑” 的方式，为数学、科研、工程设计、金融建模等需要高精度与可验证性的领域提供可靠 AI 工具——如果成功，它或将成为行业建立信任安全的基石。