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

作者用 Astra 6、Opus 5.5 和新发布的 Sol 6.1 重写 Tasktron 工作流框架，数周尝试仍未得到更简洁的设计，模型反而不断引入重叠概念、散落可变状态和为每处改动加过度具体的测试。作者由此区分两类编程需求：vibe-coding 只需程序能跑通，而构建理论需要精确语言与语义，后者只能靠人亲自投入心智努力完成。