AI 创企 Harmonic 获 1.2 亿美元融资，Ribbit Capital 领投

Robinhood 联合创始人 Vlad Tenev 创立的 AI 初创公司 Harmonic 宣布完成 1.2 亿美元融资，公司估值达 14.5 亿美元。

本轮融资由 Ribbit Capital 领投，Sequoia、Kleiner Perkins 和 Emerson Collective 参投。

Harmonic 的核心技术为“数学超级智能 (MSI)”，基于形式逻辑而非统计预测，旨在解决 AI 幻觉问题。其旗舰模型 Aristotle 在**数学奥林匹克竞赛中表现突出，水平与谷歌、OpenAI 等**实验室相当。

Aristotle 使用 Lean4 编程语言生成可验证的推理步骤，确保结论符合严格逻辑，适用于航空航天、金融等高风险领域。

目前，Aristotle 已通过免费 API 向开发者和数学家开放，商业化计划将在后续阶段推出。