英伟达投资初创公司 Harmonic，后者专注开发解决数学问题的 AI 系统

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

尽管大型语言模型在数学竞赛中的表现不断提升，Harmonic 指出，具备对运算结果进行形式化验证能力的人工智能系统仍拥有广阔的市场潜力。

据悉，英伟达参与了 Harmonic 的 C 轮融资，此轮融资总额达到 1.2 亿美元，使其公司估值攀升至 14.5 亿美元。

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

Harmonic 表示，其研发的名为“亚里士多德”（Aristotle）的 AI 模型不仅能够攻克高难度数学问题，还在代码生成与芯片设计等领域展现出广泛的应用前景。

Harmonic 首席执行官图多尔・阿基姆在致 Axios 的声明中表示：“英伟达的支持将帮助我们进一步提升‘亚里士多德’模型的性能，加速在数学人工智能领域的探索，并推动各行业利用这一技术应对关键且高风险的挑战。”

公司计划利用部分融资扩大团队规模，员工人数将从目前不足 30 人增长至 50 至 75 人，但大部分资金将主要用于支付高昂的算力资源成本。

与依赖预测下一个 token 的传统大语言模型不同，Harmonic 的技术不仅能求解问题，还能以逻辑严谨、可验证的方式输出完整的推理链条。

公开信息显示，Harmonic 成立于 2024 年，创始投资人包括美国在线券商 Robinhood 首席执行官弗拉德・特内夫。他在一份声明中提到：“我们正朝着一个未来迈进——绝大多数软硬件将由人工智能自动生成并经过形式化验证，而我们的旅程才刚刚开始。”

目前，Harmonic 的应用程序编程接口（API）仍处于免费测试阶段。公司尚未公布‘亚里士多德’模型的具体收费模式及正式上线时间。