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

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

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

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

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

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

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

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

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

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

(责任编辑：碳中和行动)