Harmonic進軍軟件與晶片驗證

由ROBINHOOD MARKETS INC - A行政總裁弗拉德·特內夫聯合創辦的AI初創公司Harmonic於周二上午將其亞里士多德模型擴展至軟件及晶片驗證領域。該專注於推理的AI平台跳出純數學證明，致力解決數碼基礎設施中的關鍵漏洞。此次業務擴張正值全球工程團隊對自動化錯誤檢測加強審視之際。