牛透社 7 月 10 日消息，专注于形式化数学推理的人工智能公司 Harmonic AI 宣布完成 1 亿美元 B 轮融资，由硅谷传奇风投凯鹏华盈领投，Paradigm Management、Ribbit Capital 及原有投资者红杉资本、Index Ventures Management 和查理·奇弗跟投。

Harmonic AI 由 Robinhood Markets Inc. 首席执行官弗拉德·特涅夫于 2023 年联合创立，目前估值接近 9 亿美元，正在开发基于 Lean 4 证明助手的 AI 推理引擎，其旗舰产品“亚里士多德”系统在 MiniF2F 基准测试中实现 90% 的解题成功率，覆盖高中数学至国际数学奥林匹克竞赛难度。本轮资金将用于加速该系统的商业化进程。