huangt 消息，Robinhood CEO Vlad Tenev 联合创立的 AI 初创公司 Harmonic 完成 1.2 亿美元融资，估值达 14.5 亿美元。本轮融资由 Ribbit Capital 领投，Sequoia、Kleiner Perkins 和新投资方 Emerson Collective 参投。
Harmonic 核心技术“数学超级智能 (MSI)”基于形式逻辑而非统计预测，旨在解决 AI 幻觉问题。其旗舰模型 Aristotle 在国际数学奥林匹克竞赛中表现优异，达到与谷歌和 OpenAI 领先研究实验室相当的水平。Aristotle 通过 Lean4 编程语言生成可验证的推理步骤，确保结论基于严格逻辑。该技术特别适用于航空航天和金融等高风险行业。目前 Aristotle 已通过免费 API 向开发者和数学家开放，商业化计划将在后期推出。
