CMU 等发布 SentryWard 验证 GPU kernel 正确性

2026年10月17日报道，CMU 等机构研究者发布 SentryWard，用于对 AI 编码 agent 生成的 GPU kernel 做形式化验证。团队随后分析流行库中的 85 个 GPU kernel，发现其中 32 个存在潜在的数据竞争、同步 bug 或资源生命周期违规。报道称，这类 bug 往往藏在罕见的执行调度里，kernel 即使通过 10 万次测试，仍可能在特定调度下产出错误结果或死锁。截至该报道，事件进展为工具发布及对流行库 kernel 的抽查结果，尚无后续修复或实际采用情况的报道。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。