1月15日消息，据AXIOS报道，芯片制造商英伟达已加入初创公司Harmonic的投资方行列，这家公司专注于开发用于解决数学问题的人工智能系统。

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

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

除现有投资方瑞比资本、红杉资本、指数创投和凯鹏华盈外，爱默生集团也以新投资方的身份入局。

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

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

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

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

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

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