Transformers 本质是采样器：代码生成重试开销大，形式化难降失败率

一场关于 LLM 代码生成能力上限的讨论认为，Transformers 本质是采样器，生成 N 个样本中若有 k 个失败，工程 harness 只能通过验证与重试应对。形式化不能改变失败率，语言模型架构在严格规则编程任务中的结构性失败难以靠工程包装根治。