Agent 驱动形式化验证对比传统代码评审：盲测实证结果称已非常接近万能

Doug（@0xdoug）团队以 blinded agents 盲测方式对比 Agent 驱动的形式化验证与传统代码评审，并称实证数据支持前者已非常接近万能。配图以“一键修复一切”梗讽刺业界对简单解法既渴望又抵触的态度，但具体数据仍需查看长文或图片原文。