AI 能写代码，谁来验证？AI 编程代理时代的自动化软件验证

Faros 2026 年研究分析 22,000 名开发者、4,000 个团队两年遥测数据，发现高 AI 采用率下每位开发者 bug 增加 54%、PR 中位审查时长约增五倍、每个 PR 的事故数超三倍。