AI Coding 的工程转折:从“生成得更快”到“可被验证地生成”
AI Coding 的瓶颈已经不在生成侧。Claude Code、Cursor 能在几十分钟内修改几十个文件,但人的 Review 能力并没有同步放大。蚂蚁数科在两个真实项目中的实践给出了一个值得注意的信号:40 万行 Rust 新项目从第一天内建约束与验证闭环,60 万行 C++ 存量项目先重建事实源和质量门禁再引入 Agent,改造后代码缺陷率从 20% 以上压降至个位数。这组数据的因果链不在模型更强,而在于验证能力终于跟上了生成能力。AI Coding 的工程转折,是从“让 AI 写得更快...