英伟达投资AI创企Harmonic，专注解决数学难题
1月15日消息，据科技媒体Axios报道，芯片制造商英伟达（Nvidia）近日投资了专注于开发解决数学问题的人工智能系统的初创公司Harmonic，正式成为其投资者之一。
尽管大型语言模型在数学竞赛中的表现日益出色，但Harmonic认为，能够对运算结果进行形式化验证的人工智能系统，依然拥有巨大的市场潜力。
Harmonic透露，英伟达参与了该公司最新一轮的C轮融资。此轮融资总额高达1.2亿美元，推动公司估值跃升至14.5亿美元。
除了现有投资方瑞比特资本（Ribbit Capital）、红杉资本（Sequoia Capital）、指数创投（Index Ventures）和凯鹏华盈（Kleiner Perkins）外，爱默生集团（Emerson Collective）也以新投资方的身份加入了本轮融资。
Harmonic表示，其名为“亚里士多德”（Aristotle）的模型不仅能攻克数学难题，在代码编写和芯片设计领域也展现出广泛的应用潜力。
Harmonic首席执行官图多尔·阿基姆在发给Axios的声明中表示：“英伟达的支持将助力我们提升‘亚里士多德’模型的性能，加速在数学领域的探索步伐，并推动各行各业借助数学人工智能的力量，解决那些关键且高风险的难题。”
该公司计划将部分融资用于扩充团队规模，员工数量将从目前不足30人增加至50到75人。不过，大部分资金将用于支付训练模型所需的高额算力资源费用。
大型语言模型的工作原理是预测下一个标记（token），而非基于一套基础公理进行逻辑运算。相比之下，Harmonic的技术方案不仅能解决问题，还能以可验证的方式呈现完整的推理过程。
据了解，Harmonic成立于2024年，其创始投资人包括美国在线券商Robinhood的首席执行官弗拉德·特内夫。特内夫在一份声明中表示：“我们预见未来的图景——绝大多数软硬件都将由人工智能生成并经过形式化验证，而我们的征程才刚刚起步。”
目前，Harmonic的应用程序编程接口（API）仍处于免费测试阶段。该公司表示，尚未最终确定“亚里士多德”模型的收费模式与正式上线时间。
相关攻略
随着生成式AI与数字内容创作成为全球技术焦点，专业工作站正经历一次深刻的性能变革。近日，NVIDIA携手BOXX、戴尔、惠普、联想等全球顶尖工作站制造商，正式推出了全新一代NVIDIA RTX™工作站。这些系统不仅是硬件迭代，更是为应对生成式AI、复杂3D渲染及数字孪生等全栈计算挑战而量身打造的高性
英伟达的股价，周四又涨了。这已经是连续第七个交易日上扬，累计涨幅达到20%。市场资金对人工智能芯片赛道的热情，丝毫没有减退的迹象。 周四盘中，英伟达股价一度冲高4 7%，触及236 54美元，最终收于235 74美元，涨幅4 39%。这一轮凌厉的涨势，让公司的市值在短时间内增加了超过9000亿美元，
英伟达市值首次突破5 5万亿美元，刷新全球上市公司纪录，已超过德国名义GDP。其市值从1万亿到5 5万亿美元的攀升速度远超其他科技巨头。2025财年营收与利润均实现三位数增长，核心驱动力来自占据近90%市场份额的AI芯片。公司凭借CUDA开发者生态护城河，计划未来五年投入巨资开发AI大模型。
美股在AI热潮与权重股亮眼财报推动下收高，道指重返五万点。思科因AI订单大增股价飙升并计划裁员聚焦增长领域，英伟达连续上涨，福特储能业务受关注。热门中概股普遍承压。市场对企业盈利增长看法分化，地缘局势与经济数据影响大宗商品走势。
周四美股在AI交易热潮和零售数据提振下集体收高，道指重上5万点，标普与纳指创收盘新高。思科因战略转向AI并宣布裁员重组，股价大涨超13%。英伟达受需求预期及出口限制可能放宽推动，股价连续上涨，市值突破5 7万亿美元。欧洲股市亦全线上涨，但英镑因政治不确定性显著走低。
热门专题
热门推荐
钉钉文档官网 在探讨企业级协同办公解决方案时，钉钉文档无疑是备受瞩目的核心工具之一。作为阿里巴巴钉钉官方推出的旗舰级应用套件，它深度融合了在线文档编辑、智能表格、思维导图等多种高效创作工具。其核心优势在于与钉钉平台生态的无缝衔接，能够直接同步企业内部组织架构与通讯录，实现团队成员间的即时协作与信息流
在数字化转型浪潮中，高效、易用的数据分析工具已成为企业提升决策效率的关键。商汤科技推出的“办公小浣熊”智能助手，正是基于自研大语言模型打造的一款创新产品，旨在彻底降低数据分析的技术门槛。用户无需掌握编程知识或复杂操作，即可通过自然对话完成从数据查询、处理到可视化洞察的全流程，让数据价值触手可及。 办
在人工智能技术快速发展的今天，MiniMax作为一家专注于全栈自研的AI公司，正以其独特的技术路径和前瞻性的布局，在业界脱颖而出。公司致力于构建覆盖文本、图像、语音和视频的新一代多模态智能模型矩阵，这不仅体现了对核心底层技术自主权的深度掌控，也展现了对未来人机交互与内容生成形态的前瞻思考。 那么，M
ApolloCreditFund（ACRED）作为连接传统信贷与DeFi的桥梁，其价格受市场情绪、协议基本面及宏观环境影响。其价值逻辑根植于现实世界资产（RWA）的收益捕获与链上流动性释放。短期价格波动难以预测，但长期发展取决于信贷资产质量、协议安全性和市场采用度。投资者需关注其底层资产表现、代币经济模型及整个RWA赛道的发展趋势。
在数字化转型浪潮中，一套能够深度适配业务、彰显品牌特色的智能客服系统，已成为企业提升服务效率与用户体验的关键工具。然而，市场上许多解决方案往往模式固化，难以满足个性化需求。如何让AI客服不仅具备基础的自动化应答能力，更能承载独特的品牌文化与服务哲学？其核心在于系统是否支持深度的自定义与持续的AI训练