英伟达投资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）仍处于免费测试阶段。该公司表示，尚未最终确定“亚里士多德”模型的收费模式与正式上线时间。
相关攻略
IT之家 3 月 26 日消息，英伟达昨日（3 月 25 日）发布 GeForce 596 02 版本热修复显卡驱动，专门修复《明日方舟：终末地》游戏画面卡顿问题。IT之家注：在发布节奏方面，英伟达
文｜投资者网2026年3月，旧金山歌剧院的包厢里，黄仁勋一句 "这就是有钱的感觉 "，道尽英伟达当下的行业地位——既是AI浪潮的 "造王者 "，更是掌控行业走向的顶级金主。当全球AI企业疯狂争夺算力底座时，
IT之家 3 月 19 日消息，英伟达今日宣布，为 GeForce NOW 带来一轮更新，内容分为两部分：新增游戏、VR 串流体验升级。新加入的游戏包括 Pearl Abyss 开发的开放世界作品《
IT之家 3 月 27 日消息，YouTube 频道 Red Gaming Tech 在最新一期视频中，爆料称相比较 RTX 50 系列，英伟达 RTX 60 系列显卡纯光栅性能提升约 30~35%
IT之家 3 月 28 日消息，据中国台湾地区媒体《电子时报》昨天报道，随着 2026 年第二季度将至，越来越多集成电路设计大厂跳出来直言，先进制程产能在云端 AI 的庞大需求下变得越来越吃紧，3n
热门专题
热门推荐
微信文件助手网页版轻量使用入口地址是https: filehelper weixin qq com，支持多端同步、界面简洁、传输稳定且资源占用低。微信文件助手网页版轻量使用入口地
在使用adobe photoshop进行设计工作时，安装新字体能为作品增添丰富多样的风格和视觉效果。以下为您详细介绍安装新字体的具体步骤。首先，您需要获取新字体文件。字体文件通常以
我的世界里面有很多的mod，模组中所有内容的合成都是不一样的，今天给大家带来了游戏里面的光谱世界模组合成图鉴分享，还有小伙伴不清楚，那么下面就是具体的内容 我的世界光谱世界合成表大
IT之家 3 月 26 日消息，英伟达昨日（3 月 25 日）发布 GeForce 596 02 版本热修复显卡驱动，专门修复《明日方舟：终末地》游戏画面卡顿问题。IT之家注：在发布节奏方面，英伟达
BOSS直聘网页版登录入口为https: www zhipin com ，支持直接输入网址、搜索引擎正式链接、地域分站及手机扫码登录四种方式。BOSS直聘网页版登录入口在哪里？这