英伟达投资Harmonic 加速数学AI与可信推理发展
来源：拿铁不加冰 2026-01-16 09:41:00
芯片制造商英伟达近日加入初创企业Harmonic的投资者阵营，参与其C轮融资。本轮融资总额达1.2亿美元，使公司估值攀升至14.5亿美元。Harmonic专注于研发用于解决复杂数学问题的人工智能系统，其技术不仅限于数学领域，在代码生成与芯片设计方面也展现出广泛的应用前景。
长期稳定更新的攒劲资源： >>>点此立即查看<<<
目前，尽管大型语言模型在各类数学竞赛中表现突出，但尚难以对运算结果提供形式化验证。Harmonic提出的技术路径则强调完整且可验证的推理过程，弥补了现有模型仅依赖token预测的局限。该公司推出的名为“亚里士多德”的人工智能模型，能够基于基础公理进行推导，并输出具备数学严谨性的解答。
除英伟达外，本轮投资还吸引了爱默生集团作为新投资方加入。原有投资方瑞比特资本、红杉资本、指数创投及凯鹏华盈亦继续跟投。Harmonic首席执行官图多尔•阿基姆表示，此次合作将显著提升“亚里士多德”模型的性能，加速数学人工智能在高风险、关键领域的落地应用。
资金将主要用于支付大规模算力需求，同时支持团队扩张。公司计划将员工人数由不足30人增至50至75人，以加强技术研发与产品迭代。目前，其应用程序编程接口仍处于免费测试阶段，尚未公布具体的商业化时间表和收费模式。
Harmonic成立于2024年，创始投资人包括美国在线券商Robinhood的首席执行官弗拉德•特内夫。他在公开声明中指出，未来绝大多数软硬件系统有望由人工智能自动生成并完成形式化验证，而当前的发展阶段仍处于这一变革的初期。
随着人工智能向更高层次的逻辑与推理能力演进，Harmonic所探索的方向为数学自动化和可信AI提供了新的可能性。
侠游戏发布此文仅为了传递信息，不代表侠游戏网站认同其观点或证实其描述
