英伟达投资AI创企Harmonic，专注解决数学难题

1月15日消息，据科技媒体Axios报道，芯片制造商英伟达（Nvidia）近日投资了专注于开发解决数学问题的人工智能系统的初创公司Harmonic，正式成为其投资者之一。

尽管大型语言模型在数学竞赛中的表现日益出色，但Harmonic认为，能够对运算结果进行形式化验证的人工智能系统，依然拥有巨大的市场潜力。

Harmonic透露，英伟达参与了该公司最新一轮的C轮融资。此轮融资总额高达1.2亿美元，推动公司估值跃升至14.5亿美元。

除了现有投资方瑞比特资本（Ribbit Capital）、红杉资本（Sequoia Capital）、指数创投（Index Ventures）和凯鹏华盈（Kleiner Perkins）外，爱默生集团（Emerson Collective）也以新投资方的身份加入了本轮融资。

Harmonic表示，其名为“亚里士多德”（Aristotle）的模型不仅能攻克数学难题，在代码编写和芯片设计领域也展现出广泛的应用潜力。

Harmonic首席执行官图多尔·阿基姆在发给Axios的声明中表示：“英伟达的支持将助力我们提升‘亚里士多德’模型的性能，加速在数学领域的探索步伐，并推动各行各业借助数学人工智能的力量，解决那些关键且高风险的难题。”

该公司计划将部分融资用于扩充团队规模，员工数量将从目前不足30人增加至50到75人。不过，大部分资金将用于支付训练模型所需的高额算力资源费用。

大型语言模型的工作原理是预测下一个标记（token），而非基于一套基础公理进行逻辑运算。相比之下，Harmonic的技术方案不仅能解决问题，还能以可验证的方式呈现完整的推理过程。

据了解，Harmonic成立于2024年，其创始投资人包括美国在线券商Robinhood的首席执行官弗拉德·特内夫。特内夫在一份声明中表示：“我们预见未来的图景——绝大多数软硬件都将由人工智能生成并经过形式化验证，而我们的征程才刚刚起步。”

目前，Harmonic的应用程序编程接口（API）仍处于免费测试阶段。该公司表示，尚未最终确定“亚里士多德”模型的收费模式与正式上线时间。