**AI 能写代码，谁来验证？揭秘自动化软件验证新范式**

_AI Can Write the Code. Who Verifies It?_

> 随着 AI 编码代理的普及，代码生成速度远超团队审查能力，导致 Bug 率与生产事故激增。文章指出，单纯依赖人工审查已不可行，必须转向自动化软件验证。文中介绍了“超级能力（Superpowers）”的多智能体协作工作流与“RoboRev”的本地化持续审查框架，强调通过构建自动化的测试与验证体系，在保持开发速度的同时确保代码质量与安全。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-products
- **发布时间**：2026-10-18 02:31（北京时间）
- **原文**：[打开原文](https://mihaisplace.com/blog/ai-can-write-the-code-who-verifies-it)