英伟达投资Harmonic并完成1.2亿美元C轮融资

英伟达加入对初创公司Harmonic的投资，Harmonic专注开发可解决数学问题并输出可验证推理过程的AI系统。公司完成1.2亿美元C轮融资，估值升至14.5亿美元，新投资者爱默生集团入局。其“亚里士多德”模型被认为在数学证明、代码编写及芯片设计等领域具应用潜力，英伟达的支持有望提升模型性能与落地能力。Harmonic计划扩充团队，但表示大部分资金将用于支付算力资源费用；其API仍处免费测试阶段，收费模式与上线时间尚未确定。

据Axios报道，英伟达加入初创公司Harmonic的投资者行列，支持其开发可对数学推理进行形式化验证的AI系统。Harmonic称英伟达参与其C轮融资，融资额1.2亿美元，估值升至14.5亿美元；原有投资方包括Ribbit、红杉、Index和凯鹏华盈，Emerson Collective为新进入者。公司模型“Aristotle”除解题外还面向代码编写与芯片设计，资金将用于扩招至50-75人并主要支付算力成本，API仍免费测试且尚未确定商业化时间表。