专家质疑软件工厂思路，正确性不能靠编排

Dominik Tornow 发文批评当前流行的「软件工厂」思路：更好的工作流、更详细的指令、更多 agent 互相检查等编排手段都无法带来正确性，因为「启发式无法认证启发式」，让 agent 自我验证如同垃圾场。他还指出，把概率性 agent 接上确定性工具，组合出的仍是概率性系统，工具本身的保证无法穿越 agent 层存活。相关观点在社区引发广泛讨论，其替代主张是依赖 property-based testing 等手段获得正确性。

2026-09-20 ~ 2026-09-21 · 4 条相关

• 概率性 Agent 配确定性工具，组合后 guarantees 全部失效 — blaizedsouza · 2026-09-20
• 启发式无法认证启发式:软件工厂的编排思路可能全错了 — blaizedsouza · 2026-09-20
• 软件工厂路线错了?专家:正确性不靠编排,靠 property-based testing — blaizedsouza · 2026-09-20
• 「Agent 自验=垃圾场」：软件工厂的正确性不能靠编排 — blaizedsouza · 2026-09-21