LLM 编程与理论构建：为何编码智能体难以帮人建立理论

作者用 Astra 6、Opus 5.5 和新发布的 Sol 6.1 重写 Tasktron 工作流框架，数周尝试仍无法让模型产出紧凑简洁的代码，反而不断引入重叠概念、散落的可变状态和过度具体的测试。作者由此区分两类编程需求：vibe-coding 只需程序能跑，而构建理论需要精确语义和深度心智投入，后者正是编码智能体难以替代的。