Harmonic進軍軟體與晶片驗證

由ROBINHOOD MARKETS INC - A執行長弗拉德·特涅夫共同創立的AI新創Harmonic於週二上午將其亞里斯多德模型擴展至軟體與晶片驗證領域。該專注於推理的AI平台跨出純數學證明，致力解決數位基礎設施中的關鍵漏洞。此次業務擴張正值全球工程團隊對自動化漏洞檢測加強審查之際。