验证将成为 AI 编程的下一瓶颈：为 AI 智能体提供更好的自查工具

构建“软件工厂”的团队应将验证视为 AI 编程的下一瓶颈，通过为编码 AI 智能体提供更完善的工具，让它们检查自身工作并降低风险。相关评论还指出，主流技术的采用速度仍稳定落后前沿 18-24 个月。