专家质疑软件工厂编排思路称正确性无从获得

Dominik Tornow 引发热议，他直言当前流行的「软件工厂」思路是错的：正确性无法靠编排获得，无论更好的工作流、skills、更详细的指令，还是更多 agent 互相检查都行不通，因为「启发式无法认证启发式」。他还指出，给概率性的 agent 接上确定性工具，组合出的仍是概率性系统，工具自身的任何保证都无法穿越 agent 层而存活，保障将全部失效，正确性应依赖 property-based testing 等手段。

2026-09-20 ~ 2026-09-20 · 3 条相关

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