85 个 GPU kernel 抽查 32 个有隐患，SentryWard 主攻 AI 生成代码验证

CMU 等机构研究者发布 SentryWard，对 AI 编码 agent 生成的 GPU kernel 做形式化验证。团队分析流行库的 85 个 GPU kernel，发现 32 个存在潜在数据竞争、同步 bug 或资源生命周期违规。这类 bug 常藏在罕见执行调度里，kernel 可能通过 10 万次测试仍在特定调度下产出错误结果或死锁。