英伟达投资Harmonic,加码可信AI与推理运算布局

免费影视、动漫、音乐、游戏、小说资源长期稳定更新! 👉 点此立即查看 👈
芯片制造商英伟达近期加入了对初创企业Harmonic的投资,参与了其C轮融资。本轮融资总额高达1.2亿美元,推动公司估值上升至14.5亿美元。Harmonic致力于研发用于解决复杂数学问题的人工智能系统,其技术不仅限于数学领域,在代码生成与芯片设计方面也展现出广泛的应用前景。
目前,尽管大型语言模型在各类数学竞赛中表现不俗,但仍难以对运算结果提供形式化验证。Harmonic提出的技术路径则强调完整且可验证的推理过程,弥补了现有模型仅依赖token预测的局限。该公司推出的名为“亚里斯多德”的人工智能模型,能够基于基础公理进行推导演绎,并输出具备数学严谨性的解答。
除了英伟达,本轮投资还吸引了爱默生集团作为新投资方加入。原有投资方瑞比特资本、红杉资本、指数创投及凯鹏华盈亦继续跟进。Harmonic首席执行官图多尔•阿基姆表示,此次合作将显著提升“亚里斯多德”模型的性能,加速数学人工智能在高风险、关键领域的落地应用。
所获资金将主要用于支付大规模算力需求,同时支持团队扩张。公司计划将员工人数由不足30人增至50到75人,以加强技术研发与产品迭代。目前,其应用程序编程接口仍处于免费测试阶段,尚未公布具体的商业化时间表和收费模式。
Harmonic成立于2024年,创始投资人包括美国在线券商Robinhood的首席执行官弗拉德•特内夫。他在公开声明中指出,未来绝大多数软硬件系统有望由人工智能自动生成并完成形式化验证,而当前的发展阶段仍处于这一变革的初期。
随着人工智能向更高层次的逻辑与推理能力演进,Harmonic所探索的方向为数学自动化和可信AI提供了新的可能性。
游乐网为非赢利性网站,所展示的游戏/软件/文章内容均来自于互联网或第三方用户上传分享,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系youleyoucom@outlook.com。
同类文章
AI能从单份血样检出多种神经疾病
来源:科技日报科技日报讯 (记者刘霞)由瑞典隆德大学领衔的国际研究团队,研发出一款新的人工智能(AI)模型。该模型仅需一份血液样本,便能精准识别多种神经退行性疾病。团队期望,该AI模型未来能实现“一
褪去虚火,脑机接口方能释放长远价值
来源:科技日报2026年开年,马斯克宣称脑机接口产品将于年内启动量产,引爆全球市场情绪。国内资本随即扎堆追捧,脑机接口相关概念股大幅走高,行业短期炒作虚火蔓延。进入3月,脑机接口迎来多重利好:脑机接
黎万强、洪锋退出小米科技股东名单
人民财讯4月7日电,企查查APP显示,近日,小米科技有限责任公司发生工商变更,原股东小米联合创始人黎万强、洪锋退出,同时,注册资本由18 5亿元减至约14 8亿元。 企查查信息显示,该公司成立于20
新闻分析|“阿耳忒弥斯2号”任务为何只绕月不登月
新华社北京4月7日电 新闻分析|“阿耳忒弥斯2号”任务为何只绕月不登月 新华社记者张晓茹 美国东部时间6日18时40分许(北京时间7日6时40分许),执行美国“阿耳忒弥斯2号”载人绕月飞行任
“链接未来·智汇静安”区块链创新应用优秀场景分享(四)| 信医基于区块链与隐私计算的真实世界研究数据产品
聚焦数字技术,释放创新动能。为集中展示静安区区块链技术从“实验室”走向“应用场”的丰硕成果,挖掘一批可复制、可推广的行业解决方案,加速构建区块链产业生态闭环,静安区数据局特推出“静安区区块链创新应用
- 日榜
- 周榜
- 月榜
相关攻略
2015-03-10 11:25
2015-03-10 11:05
2021-08-04 13:30
2015-03-10 11:22
2015-03-10 12:39
2022-05-16 18:57
2025-05-23 13:43
2025-05-23 14:01
热门教程
- 游戏攻略
- 安卓教程
- 苹果教程
- 电脑教程
热门话题

