芯片制造商英伟达近期加入了对初创企业Harmonic的投资，参与了其C轮融资。本轮融资总额高达1.2亿美元，推动公司估值上升至14.5亿美元。Harmonic致力于研发用于解决复杂数学问题的人工智能系统，其技术不仅限于数学领域，在代码生成与芯片设计方面也展现出广泛的应用前景。

目前，尽管大型语言模型在各类数学竞赛中表现不俗，但仍难以对运算结果提供形式化验证。Harmonic提出的技术路径则强调完整且可验证的推理过程，弥补了现有模型仅依赖token预测的局限。该公司推出的名为“亚里斯多德”的人工智能模型，能够基于基础公理进行推导演绎，并输出具备数学严谨性的解答。

除了英伟达，本轮投资还吸引了爱默生集团作为新投资方加入。原有投资方瑞比特资本、红杉资本、指数创投及凯鹏华盈亦继续跟进。Harmonic首席执行官图多尔•阿基姆表示，此次合作将显著提升“亚里斯多德”模型的性能，加速数学人工智能在高风险、关键领域的落地应用。

所获资金将主要用于支付大规模算力需求，同时支持团队扩张。公司计划将员工人数由不足30人增至50到75人，以加强技术研发与产品迭代。目前，其应用程序编程接口仍处于免费测试阶段，尚未公布具体的商业化时间表和收费模式。

Harmonic成立于2024年，创始投资人包括美国在线券商Robinhood的首席执行官弗拉德•特内夫。他在公开声明中指出，未来绝大多数软硬件系统有望由人工智能自动生成并完成形式化验证，而当前的发展阶段仍处于这一变革的初期。

随着人工智能向更高层次的逻辑与推理能力演进，Harmonic所探索的方向为数学自动化和可信AI提供了新的可能性。