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

作者引用 Faros 对 22000 名开发者、4000 个团队两年遥测数据的分析，指出 AI 采用率高的组织工程吞吐上升，但每位开发者的 bug 多 54%、PR 评审中位时长约增五倍、每个 PR 的事故数超三倍，并强调这些是相关性而非因果。