英伟达投资初创公司Harmonic，后者专注开发解决数学问题的AI系统

IT之家 1 月 15 日消息，据 AXIOS 网站报道，芯片制造商英伟达（Nvidia）加入了投资初创公司 Harmonic 的投资者行列，该公司专注于开发用于解决数学 问题的人工智能系统。 Harmonic 称，其名为"亚里士多德"（Aristotle）的模型不仅能攻克数学难题，在代码编写和芯片设计领域也展现出应用潜力。 Harmonic 首席执行官图多尔・阿基姆在发给 Axios 的声明中表示："英伟达的支持将助力我们提升'亚里士多德'的性能，加快数学领域的探索步伐，并推动 各行业借助数学人工智能的力量，解决关键且高风险的难题。" 该公司计划将部分融资用于扩充团队规模，员工数量将从目前的不足 30 人增加至 50 到 75 人，不过大部分资金将用于支付所需的算力资源费用。 大型语言模型的工作原理是预测下一个 token ，而非基于一套基础公理进行运算。相比之下，Harmonic 的技术方案不仅能解决问题，还能以可验证的方式呈 现完整的推理过程。 据IT之家了解，Harmonic 于 2024 年成立，创始投资人包括美国在线券商 Robinhood 首席执行官弗拉德・特内夫。特内夫在一份声明中表示："我们 ...