Show HN：First Silicon，AI 模型会漏掉的真实芯片缺陷

First Silicon 是一个基于开源芯片设计中 86 个真实修复（其中 84 个为真实缺陷）构建的基准，模型须在不知情的情况下写出 SystemVerilog 断言，再由形式化方法在有缺陷版和已修复版上对照验证。表现最好的 Claude Opus 5.5 在最大努力下也只干净地发现了 86 例中的 16 例（18.6%），默认设置下 84 个真实缺陷中有 67 个未被任何受测模型干净发现。它之所以重要，是因为它表明前沿模型在真实硬件验证上仍然薄弱，且最佳配置的报警中约三分之二是误报。

• Hacker News (AI)2026-11-04 16:50