资讯
公开 · 已发布
Robinhood CEO 的 AI 初创公司 Harmonic 扩展至软件与芯片设计验证
由 Robinhood CEO Vlad Tenev 联合创立、并获得 Nvidia 旗下风投部门 NVentures、Sequoia 和 Ribbit Capital 支持的 AI 初创公司 Harmonic 表示，正在将其 Aristotle 模型从数学证明扩展到软件和芯片设计验证领域。
发布时间：
更新时间：
发生了什么
由 Robinhood CEO Vlad Tenev 联合创立、并获得 Nvidia 旗下风投部门 NVentures、Sequoia 和 Ribbit Capital 支持的 AI 初创公司 Harmonic 表示，正在将其 Aristotle 模型从数学证明扩展到软件和芯片设计验证领域。
已确认
全球影响 / 市场背景
Harmonic 正在推动 AI 进入检查软件和芯片设计错误的领域，这项任务对产品安全至关重要。如果买家采用该技术，需求可能会转向自动化验证工具，而远离较慢的人工审查，从而影响软件和芯片制造商的成本。
分析师推断
Harmonic 去年 11 月以 $1.45B 估值筹集了 $120M，显示投资者对以减少幻觉（即编造或错误答案）为目标的推理型 AI 的强力支持。Nvidia 风投部门的参与表明芯片行业对验证工具的兴趣。
分析师推断
下一步关注
- Harmonic 表示，Aristotle 现在可以验证用 C 编写的软件和用 Verilog 编写的芯片设计，Verilog 是一种用于设计芯片的硬件描述语言。 已确认
- 美国聚变实验室 DIII-D 表示，Aristotle 从一篇研究论文和一个 254 词提示中，在四小时内重建了其反应堆控制软件的一部分。 已确认
- 关注软件和芯片公司是否采用 Aristotle 的基于使用量的定价，即客户按使用量付费，这可能将验证预算转向 AI 工具。 分析师推断
证据
- 原始来源链接不可用