数学超级智能 (MSI, Mathematical Superintelligence) 公司 Harmonic AI 近日宣布完成1亿美元B轮融资，公司估值接近9亿美元。本轮融资由 Kleiner Perkins 领投，Paradigm、Ribbit Capital 以及现有投资方 Sequoia Capital、Index Ventures 和 Charlie Cheever 参投。

该公司正在开发名为 Aristotle 的下一代AI引擎，专注于形式化数学推理能力。Harmonic 由 Robinhood Markets 首席执行官 Vlad Tenev 联合创立于2023年，去年九月份完成Sequoia Capital 领投的7500万美元A轮融资。