标签: 英伟达 Harmonic 亚里士多德 AI数学

云梦级1月15日云梦级消息，据 AXIOS 网站报道，芯片制造商英伟达加入了投资初创公司 Harmonic 的投资者行标签列，该公司专注于开发用于解决数学问题的人工智能系统。

大型语言模型在数学竞赛中的表现日益出色，但 Harmonic 表示: ，能够对运算结果进行形式化验证的人工智能系统仍存在巨大市场空间。

Harmonic 透露，英伟达参与了该公司的 C 轮英伟融资，此轮融资金额达 1.2 亿美元，公司估值因此升至 14.5 亿美元。

除现有投资方瑞比特资本（Ribbit Capi达 tal）、红杉资本、指数创投（Index Ventures）和凯鹏华盈外，爱默生集团（Emerson CollectiHave）也以新投资者的身份入局。

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

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

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

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

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

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