X

Robinhood首席执行官创立的AI公司拓展软件与芯片设计验证

人工智能初创公司Harmonic周二表示,将把其Aristotle模型的应用范围从数学证明扩展至软件和芯片设计验证。该公司由Robinhood首席执行官弗拉德·特内夫共同创立。

人工智能技术日益用于发现软件漏洞,相关应用也受到更多关注。研究人员近期曾利用这项技术发现PHP中的严重漏洞,促使全球展开修补工作。

Harmonic获得英伟达风险投资部门、红杉资本和Ribbit Capital支持。该公司去年11月完成1.2亿美元融资。