公司融资与估值 - 英伟达参与了Harmonic的C轮融资 此轮融资金额达1.2亿美元 公司估值因此升至14.5亿美元 [4] - 除英伟达外 本轮融资的投资者还包括新进入的爱默生集团 以及现有投资方瑞比特资本 红杉资本 指数创投和凯鹏华盈 [4] - 公司计划将大部分融资用于支付所需的算力资源费用 同时将员工数量从目前的不足30人增加至50到75人 [4] 公司技术与产品 - Harmonic专注于开发用于解决数学问题的人工智能系统 其名为“亚里士多德”的模型不仅能攻克数学难题 在代码编写和芯片设计领域也展现出应用潜力 [3][4] - 公司的技术方案不仅能解决问题 还能以可验证的方式呈现完整的推理过程 这与仅预测下一个token的大型语言模型工作原理不同 [5] - 公司的应用程序编程接口目前仍处于免费测试阶段 暂未确定“亚里士多德”模型的收费模式与付费上线时间 [5] 市场定位与发展前景 - 尽管大型语言模型在数学竞赛中表现出色 但能够对运算结果进行形式化验证的人工智能系统仍存在巨大市场空间 [3] - 公司首席执行官表示 英伟达的支持将助力提升“亚里士多德”的性能 加快数学领域的探索步伐 并推动各行业借助数学人工智能解决关键且高风险的难题 [4] - 创始投资人预见未来的图景是 绝大多数软硬件都将由人工智能生成并经过形式化验证 [5]