资讯
公开 · 已发布
Robinhood CEO 的 AI 初创公司 Harmonic 扩展至软件与芯片设计验证
由 Robinhood CEO Vlad Tenev 联合创立的 AI 初创公司 Harmonic 周二表示，正在将其 Aristotle 模型从数学证明扩展到软件和芯片设计验证，理由是用于检测软件缺陷的 AI 正受到越来越多的审视。
发布时间：
更新时间：
发生了什么
由 Robinhood CEO Vlad Tenev 联合创立的 AI 初创公司 Harmonic 周二表示，正在将其 Aristotle 模型从数学证明扩展到软件和芯片设计验证，理由是用于检测软件缺陷的 AI 正受到越来越多的审视。
已确认
全球影响 / 市场背景
Harmonic 在去年 11 月融资 $120M 后估值为 $1.45B，投资方包括 Nvidia 的风投部门、Sequoia 和 Ribbit。其进军软件与芯片设计审查领域，可能为需要发现代价高昂的编码错误的企业开辟新的收入来源。
分析师推断
在研究人员利用该技术发现 PHP 中的关键缺陷后，用于发现软件漏洞的 AI 工具正受到更多关注。这促使各方争相修补这些漏洞，显示出对代码和硬件设计自动化检查的需求。
分析师推断
下一步关注
- Harmonic 表示，Aristotle 现在能够验证用 C 编写的软件以及用 Verilog 编写的芯片设计，Verilog 是工程师在制造前用于对芯片建模的硬件描述语言。 已确认
- 关注 Harmonic 是否会公布付费客户或披露软件与芯片验证业务的收入，因为文章除 $120M 融资和 $1.45B 估值外未给出任何销售数据。 提议
- DIII-D 聚变实验室利用 Aristotle，仅凭一篇论文和一个 254 词的提示词，在四小时内重建了反应堆控制软件；此类快速重建的更广泛采用可能改变实验室采购工程服务的方式。 分析师推断
证据
- 原始来源链接不可用