Harmonic Funding：120亿美元押注零错误 AI 无收入

Harmonic 在 2025 年完成了一件罕见的事情：在没有任何收入的情况下，以 1.45 亿美元的估值完成了 120 亿美元的 C 轮融资。

这家公司由 Robinhood 首席执行官 Vlad Tenev 和 Tudor Achim 于 2023 年共同创立。 AI 该实验室正在追求一项雄心勃勃的目标——通过形式逻辑消除幻觉的数学超级智能。

无错误人工智能背后的天才

桥梁 AI 模型根据模式猜测答案。谐波's 亚里士多德引擎用数学方法证明了它们。

所有计算都使用 Lean4 编程语言进行验证，将推理转化为可验证的代码。没有猜测，没有臆想，只有可证明的逻辑。

这很重要，因为 AI 航空航天、金融或领域的错误 blockchain 可能造成生命损失和数十亿美元的损失。

谐波资金分解

为什么风险投资公司竞相投资 Harmonic？

Ribbit Capital 领投了本轮融资，Sequoia、Kleiner Perkins 和 Emerson Collective 作为新晋投资者也参与了投资。

这股势头令人震惊——短短14个月内就完成了三轮融资。——亚里士多德's 在 2025 年 7 月的国际数学奥林匹克竞赛中，该公司与谷歌和 OpenAI 展开正面较量，其优异表现巩固了投资者的信心。

目前，Harmonic 通过免费 API 提供 Aristotle。 数学家和研究人员 目前已用于验证复杂的证明。

联系 Harmonic

这场赌局有何不同之处？

尚未盈利的独角兽公司通常会面临质疑。但 Harmonic 却是个例外。's 形式化验证方法解决了一个价值数十亿美元的问题：制造 AI 适用于关键任务系统，值得信赖。

这笔新资金将用于购置训练数学推理模型所需的大量计算资源。正如首席执行官图多尔·阿希姆所说，消除幻觉的关键在于将推理过程生成为代码，而不是…… 自然语言.

对于对安全要求较高的行业而言，'s 不仅仅是创新——它's 必要。