标签: 英伟达 Harmonic 亚里士多德 AI数学
我要评论云梦级1月15日云梦级消息，据 AXIOS 网站报道，芯片制造商英伟达加入了投资初创公司 Harmonic 的投资者行标签列，该公司专注于开发用于解决数学问题的人工智能系统。
大型语言模型在数学竞赛中的表现日益出色，但 Harmonic: 表示，能够对运算结果进行形式化验证的人工智能系统仍存在巨大市场空间。
Harmonic 透露，英伟达参与了该公司的 C 轮融资，英伟此轮融资金额达 1.2 亿美元，公司估值因此升至 14.5 亿美元。
除现有投资方瑞比特资本（Ribbit Capital）、红杉资达 本、指数创投（Index Ventures）和凯鹏华盈外，爱默生集团（Emerson Collective）也以新投Ha资者的身份入局。
Harmonic 称，其名为“亚里士多德”（Aristotle）的模型不仅能攻克数学难题，在代码rm编写和芯片设计领域也展现出应用潜力。
Harmonic 首席执行官图多尔・阿基姆在发给 Axios 的声明中表示：“英伟达的支on持将助力我们提升‘亚里士多德’的性能，加快数学领域的探索步伐，并推动各行业借助数学人工智能的力量，解决关键且高ic风险的难题。”
该公司计划将部分融资用于扩充团队规模，员工数量将从目前的不足 30 人增加至 50 到 75 人，不过大部分资金将用于 亚支付所需的算力资源费用。
大型语言模型的工作原理是预测下一个 token ，而非基于一套基础公理进行运算。相比之下，Harmo里士nic 的技术方案不仅能解决问题，还能以可验证的方式呈现完整的推理过程。
据了解，Harmonic 于 2024 年成立多德，创始投资人包括美国在线券商 Robinhood 首席执行官弗拉德・特内夫。特内夫在一份声明中表示：“我们预见未来的 A图景 —— 绝大多数软硬件都将由人工智能生成并经过形式化验证，而我们的征程才刚刚起步。”
Harmonic 的应用程序编程I数接口（API）目前仍处于免费测试阶段。该公司表示，暂未确定“亚里士多德”的收费模式与付费上线时间。
相关文章
云计算开发：Python内置函数-reverse()函数详解
描述 reverse() 函数用于反向列表中元素。 语法 reverse()方法语法： list.reverse() 参数 NA。 返回值 该方法没有返回值，但是会对列表的元素进行反向排序。 实例 以2026-11-16
云梦级6月18日云梦级消息，据韩媒 The Elec 报道，韩国企业 SK 海力士已进入 ADR（美国存托凭证）上市的最后流程，最快将于今年 7 月正式挂牌交易。 美国存托凭证又称美国预托证券，是大多2026-11-16
云梦级4月29日云梦级消息，29日，擎天租宣布完成Pre-A轮融资，融资金额达数亿元。本轮融资不仅包括正大集团旗下正大机器人、长信股份等产业方，还有美格智能（002881.SZ）、蓝思科技（300432026-11-16
云梦级4月11日云梦级消息，4月11日晚间云梦级消息，理想汽车CEO李想刚刚在朋友圈发布了东风日产黑公关理想汽车的证据。 李想发布的贴图显示了全国各地的水军发布抹黑理想汽车的帖子，以及东风日产内部沟通2026-11-16
戴尔科技CTO：汽车行业生态系统将从机械化快速转型为以算力为导向
12月27日消息，戴尔科技集团全球首席技术官John Roese发表《迈进2022，迎接改变生活的科技力量》的署名文章，在文中，John Roese对2022年技术发展趋势作出预测，并对2022以后的2026-11-16
云梦级4月3日云梦级消息，4月3日，小米集团总裁卢伟冰发文称，“本轮内存涨价的力度确实远超预期，同版本内存价格相比去年Q1飙升近4倍。12+512涨了约1500元，16+1T更是涨得离谱，这对一直以极2026-11-16
最新评论