Harmonic AI模型拓展至软件与芯片验证领域
由Robinhood联合创始人弗拉德·特涅夫创办的AI初创公司Harmonic于10月27日宣布，其Aristotle模型正从数学证明向软件及芯片设计验证领域延伸。此前发表的论文显示，该系统已具备国际数学奥林匹克竞赛水平的自动化定理证明能力。
AI辅助缺陷检测获行业关注
近期，研究人员利用AI工具发现主流Web编程语言漏洞并引发全球紧急修补，OpenAI等机构亦对此展开讨论。这一进展恰逢美国国家标准与技术研究院发布AI风险管理框架，AI辅助缺陷检测技术正受到更广泛审视。
布局芯片形式化验证市场
在芯片设计领域，Harmonic正式切入形式化验证市场。行业分析指出，AI在该场景中主要起补充作用而非替代现有方案，Synopsys等传统厂商早已提供相关工具，市场竞争格局已然形成。