AI 智能体 Specula 自动发现 249 个 bug，但专家质疑其根本方法

tianyin_xu · x · 2026-08-14

Specula 是一个智能体系统，自动从代码生成 TLA+ 规范，通过模型检查发现并发 bug。在 48 个开源系统（包括 MongoDB、Etcd 等）中发现 249 个 bug，其中 207 个是新 bug。但分布式系统专家 Murat Demirbas 在博客中提出批评，认为 Specula 让智能体驱动关键决策是根本缺陷，缺乏组合性，更像智能模糊测试。作者 Tianyin Xu 回应称批评合理，承认 Specula 是工具而非终极答案，未来需要将人类智能地放回循环中。