Claude Opus 5 发布后，编程模型的战场从「写出代码」转向「验证代码」