英伟达投资Harmonic，加码可信AI与推理运算布局
免费影视、动漫、音乐、游戏、小说资源长期稳定更新！ 👉 点此立即查看 👈
芯片制造商英伟达近期加入了对初创企业Harmonic的投资，参与了其C轮融资。本轮融资总额高达1.2亿美元，推动公司估值上升至14.5亿美元。Harmonic致力于研发用于解决复杂数学问题的人工智能系统，其技术不仅限于数学领域，在代码生成与芯片设计方面也展现出广泛的应用前景。
目前，尽管大型语言模型在各类数学竞赛中表现不俗，但仍难以对运算结果提供形式化验证。Harmonic提出的技术路径则强调完整且可验证的推理过程，弥补了现有模型仅依赖token预测的局限。该公司推出的名为“亚里斯多德”的人工智能模型，能够基于基础公理进行推导演绎，并输出具备数学严谨性的解答。
除了英伟达，本轮投资还吸引了爱默生集团作为新投资方加入。原有投资方瑞比特资本、红杉资本、指数创投及凯鹏华盈亦继续跟进。Harmonic首席执行官图多尔•阿基姆表示，此次合作将显著提升“亚里斯多德”模型的性能，加速数学人工智能在高风险、关键领域的落地应用。
所获资金将主要用于支付大规模算力需求，同时支持团队扩张。公司计划将员工人数由不足30人增至50到75人，以加强技术研发与产品迭代。目前，其应用程序编程接口仍处于免费测试阶段，尚未公布具体的商业化时间表和收费模式。
Harmonic成立于2024年，创始投资人包括美国在线券商Robinhood的首席执行官弗拉德•特内夫。他在公开声明中指出，未来绝大多数软硬件系统有望由人工智能自动生成并完成形式化验证，而当前的发展阶段仍处于这一变革的初期。
随着人工智能向更高层次的逻辑与推理能力演进，Harmonic所探索的方向为数学自动化和可信AI提供了新的可能性。
热门专题
热门推荐
PAAL代币揭秘：深度解析Web3社区治理的核心钥匙 在去中心化自治组织的浪潮中，谁真正掌握了项目的话语权？PAAL代币提供了一套系统化的答案。它不仅是生态内流转的价值媒介，更是开启链上治理大门的核心凭证。通过持有并质押PAAL代币，用户能够对协议升级、资金分配乃至战略方向等关键事务投出决定性的一票
CTSI代币深度解析：Cartesi网络的灵魂与价值引擎 在飞速演进的Web3世界中，区块链的可扩展性始终是制约其大规模应用的核心瓶颈。Cartesi网络以其独特的“链下计算”方案脱颖而出，而驱动这一精密生态运转的核心燃料，正是CTSI代币。它不仅仅是一种支付媒介，更是集成了支付结算、网络安全、去中
SUI区块链技术深度解析：如何重塑高性能公链格局 当谈到下一代高性能区块链时，SUI区块链凭借其革命性的技术架构，已成为行业无法绕开的焦点。其核心竞争力并非源于单一优化，而是由Move编程语言、以对象为核心的数据模型以及并行执行引擎三者深度协同构成的完整技术体系。更引人注目的是其共识层的创新——Na
Mintlayer与Solidity：两套智能合约体系的核心差异与未来展望 在Web3蓬勃发展的今天，智能合约的重要性已经毋庸置疑。当我们提起这一概念，以太坊的Solidity语言和EVM虚拟机几乎是绕不开的首选。然而，随着比特币生态的复兴，一种基于UTXO模型的创新方案——Mintlayer，正凭
比特币周线RSI跌至27 8：重演2022年熊市见底信号？ 近期，比特币市场正弥漫着一种历史性的熟悉感。技术分析领域的焦点指标——周线相对强弱指数（RSI）——已下探至27 8的关键位置。这一数值正无限逼近2022年6月熊市期间确认市场超卖的阈值。市场分析师普遍认为，这种技术指标的趋同性，可能是一个