将计算力投入正确性

对于完全拥抱AI代理的开发者而言，瓶颈已从代码产量转向代码正确性。本文分析了正确性在三个层面（产品、架构、实现）可能失败的原因，并提出了将计算力主要用于验证而非生成代码的策略，同时介绍了三种验证模式。