英伟达投资AI创企Harmonic,专注解决数学难题
1月15日消息,据AXIOS报道,芯片制造商英伟达已加入初创公司Harmonic的投资方行列,这家公司专注于开发用于解决数学问题的人工智能系统。
尽管大型语言模型在数学竞赛中的表现日益出色,但Harmonic指出,能够对运算结果进行形式化验证的人工智能系统,依然存在巨大的市场空间。
Harmonic透露,英伟达参与了该公司的C轮融资,此轮融资额达12亿美元,公司估值因此升至145亿美元。
除现有投资方瑞比资本、红杉资本、指数创投和凯鹏华盈外,爱默生集团也以新投资方的身份入局。
Harmonic称,其名为“亚里士多德”的模型不仅能攻克数学难题,在代码编写和芯片设计领域也展现出应用潜力。
Harmonic首席执行官图多尔·阿基姆在发给Axios的声明中表示:“英伟达的支持将助力我们提升‘亚里士多德’的性能,加快数学领域的探索步伐,并推动各行各业借助数学人工智能的力量,解决关键且高风险的难题。”
该公司计划将部分融资用于扩充团队规模,员工数量将从目前的不足30人增加至50到75人,不过大部分资金将用于支付所需的算力资源费用。
大型语言模型的工作原理是预测下一个token,而非基于一套基础公理进行运算。相比之下,Harmonic的技术方案不仅能解决问题,还能以可验证的方式呈现完整的推理过程。
据了解,Harmonic于2024年成立,创始投资人包括美国在线券商Robinhood首席执行官弗拉德·特内夫。特内夫在一份声明中表示:“我们预见未来的图景——绝大多数软硬件都将由人工智能生成并经过形式化验证,而我们的征程才刚刚起步。”
Harmonic的应用程序编程接口目前仍处于免费测试阶段。该公司表示,暂未确定“亚里士多德”的收费模式与付费上线时间。
游乐网为非赢利性网站,所展示的游戏/软件/文章内容均来自于互联网或第三方用户上传分享,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系youleyoucom@outlook.com。
同类文章
DeepSeek宣布永久降价 梁文锋大幅让利远超市场预期
DeepSeek宣布其Pro模型API优惠将转为永久降价,调用成本大幅降低至原价的四分之一。同时,公司正进行高达500亿元的首轮融资,创始人梁文锋个人计划出资200亿元以强化控制权。降价与巨额融资相结合,旨在降低行业门槛、构建生态,并支撑其长期开源与AGI战略,展现了公司的长期主义视野。
国产600公斤推力涡扇发动机首飞成功 中国心实现自研突破
5月23日,搭载国产F406涡扇发动机的气象无人机首飞成功。该发动机推力600公斤级,由我国自主研制,拥有完整知识产权,实现了中小推力高端涡扇发动机的自主可控。其具备高空高速稳定运行能力,填补了国内相关技术空白,将为无人机及低空经济发展提供可靠动力支撑。
小米米家空调巨省电Pro大1.5匹价格降至1868元
2026年3月6日,备受期待的小米米家巨省电 Pro 空调 2026 款正式上市销售。作为新品,其大1 5匹型号的官方首发定价为2499元,性价比优势显著。 恰逢京东618年中购物节,这款新上市的空调迎来了绝佳的入手时机。消费者通过叠加平台提供的促销优惠与政府发放的节能补贴,最终到手价格可以做到更具
国产600公斤推力涡扇发动机成功完成首次飞行
5月23日,我国自主研制的600公斤推力级F406涡扇发动机成功完成首次飞行试验。发动机驱动气象无人机平稳飞行并安全返航,各项参数稳定。此次试飞标志着我国在中小推力高端涡扇发动机领域实现了自主可控与国产化突破,该发动机将为低空经济和无人体系提供关键动力支撑。
国产600公斤推力涡扇发动机首飞成功核心技术自主研制
5月23日,我国自主研制的600公斤推力级F406涡扇发动机成功完成首次飞行试验。该发动机以双发配置驱动一架先进气象无人机,全程工作平稳,安全返航。此次试飞标志着我国在中小推力高端涡扇发动机领域实现自主可控与国产化,将为低空经济与无人体系发展提供可靠动力。
- 日榜
- 周榜
- 月榜
1
2
3
4
5
6
7
8
9
10
相关攻略
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
热门教程
- 游戏攻略
- 安卓教程
- 苹果教程
- 电脑教程
热门话题

