← Back to feed

First Silicon, real chip bugs that AI models miss

AI · Studies · 2026-11-04 16:50

研究者收集86个开源芯片设计修复案例，用形式化检查器判定，发现最强配置仅干净捕获16例，且多数告警为误报，多数缺陷逃过所有模型。

Source: umwelt.vision

Auto-generated summary for reference only. RSS