Harmonic 在 2025 年完成了一件罕见的事情：在没有任何收入的情况下，以 1.45 亿美元的估值完成了 120 亿美元的 C 轮融资。
这家公司由 Robinhood 首席执行官 Vlad Tenev 和 Tudor Achim 于 2023 年共同创立。 AI 该实验室正在追求一项雄心勃勃的目标——通过形式逻辑消除幻觉的数学超级智能。
无错误人工智能背后的天才
桥梁 AI 模型根据模式猜测答案。谐波's 亚里士多德引擎用数学方法证明了它们。
所有计算都使用 Lean4 编程语言进行验证，将推理转化为可验证的代码。没有猜测，没有臆想，只有可证明的逻辑。
这很重要，因为 AI 航空航天、金融或领域的错误 blockchain 可能造成生命损失和数十亿美元的损失。
谐波资金分解
| 圆形 | 金额 | 主要投资者 | 评估 | 日期 |
|---|---|---|---|---|
| C系列 | $ 120M | Ribbit Capital | $ 1.45B | 2025年XNUMX月XNUMX日 |
| B系列 | $ 100M | Kleiner Perkins | 〜$ 900M | 2025 年 7 月 |
| A系列 | $ 75M | 红杉资本 | 未公开 | 2024 年 XNUMX 月 |
| 总募集资金 | $ 295M | - | - | - |
为什么风险投资公司竞相投资 Harmonic？
Ribbit Capital 领投了本轮融资，Sequoia、Kleiner Perkins 和 Emerson Collective 作为新晋投资者也参与了投资。
这股势头令人震惊——短短14个月内就完成了三轮融资。——亚里士多德's 在 2025 年 7 月的国际数学奥林匹克竞赛中，该公司与谷歌和 OpenAI 展开正面较量，其优异表现巩固了投资者的信心。
目前，Harmonic 通过免费 API 提供 Aristotle。 数学家和研究人员 目前已用于验证复杂的证明。
联系 Harmonic
| 平台 | 链接 |
|---|---|
| 官方网站 | 和谐的乐趣 |
| /公司/谐波数学 | |
| Twitter（现为X） | @HarmonicMath |
这场赌局有何不同之处？
尚未盈利的独角兽公司通常会面临质疑。但 Harmonic 却是个例外。's 形式化验证方法解决了一个价值数十亿美元的问题：制造 AI 适用于关键任务系统，值得信赖。
这笔新资金将用于购置训练数学推理模型所需的大量计算资源。正如首席执行官图多尔·阿希姆所说，消除幻觉的关键在于将推理过程生成为代码，而不是…… 自然语言.
对于对安全要求较高的行业而言，'s 不仅仅是创新——它's 必要。
来源
奖金： 获得我们的 200 美元“AI 注册即可免费获得“精通工具包”！
