Robinhood CEO的AI初创公司Harmonic拓展业务

新闻要点

以下内容根据亚洲新闻台报道整理

美国财经媒体27日报道，由在线券商罗宾汉首席执行官弗拉德·特内夫联合创立的人工智能初创公司“哈蒙尼克”，宣布将旗下名为“亚里士多德”的模型应用范围从数学证明扩展至软件和芯片设计验证。随着人工智能在检测软件漏洞方面的应用日益受到关注，该公司正积极拓展这一领域。

该模型此前已被研究人员用于发现PHP编程语言中的关键漏洞，引发全球范围内的补丁修复热潮。哈蒙尼克目前正致力于开发其所谓的“数学超级智能”，旨在通过专注于推理的系统来减少AI产生的幻觉和事实性错误。据该公司介绍，现在的亚里士多德已具备验证C语言编写的软件以及Verilog语言编写的芯片设计的能力。

哈蒙尼克由英伟达风险投资部门、红杉资本和Ribbit Capital等机构支持，去年11月完成了1.2亿美元融资，估值达14.5亿美元。美国核聚变实验室DIII-D曾利用该模型，仅根据一篇研究论文和254字的提示词，在四小时内重建了反应堆控制软件的一部分。