先造验证器再让 Agent 磨代码：AI 编程范式正在换轨

Yuchen Jin（Jenner）提出，AI 编程正从“先写代码、再测试”转向“先构建验证器（verifier），再让 Agent 持续生成代码直到通过验证”。这一范式将工程重心从代码本身迁移到能够客观判定成败的验证环境，自动生成的价值取决于验证器设计的好坏。