当AI写代码后，验证成了新瓶颈

一位开发者回顾两个月来在 OpenCode 中使用 OpenAI 的 Sol 5.6 和 Astra 模型对话的经历，称生成实现已不再是瓶颈，验证改动是否真正解决问题才是难点。 他称智能体常为并非需求的设计选择叠加防御性检查、锁和测试，例如对数据库整数反复做类型校验；这些额外代码在评审、CI 和后续智能体上下文中持续产生成本。 他称类型检查、lint 和测试通过并不能证明新增代码属于本次改动。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。