以下为上游提供的源文稿，可能存在识别错误。
乔木转写是基于源文稿的中文提炼，不是逐字翻译。请核对原文中的人名、数字与观点。
选一篇，慢慢读
从左侧挑一篇，正文会在这里排成书页。
We present Sable, an argument system and single-GPU prover for the statement that a committed, integer-quantized transformer produced a given token sequence from a given prompt, bit for bit. Sable fixes an integer function F O with no floating-point step, in which every rounding, normalization, softmax and sampling dec
阅读原文 · Tomer Solberg
向阳乔木 · opencode-go/deepseek-v4.1-flash
这篇论文解决的是一个挺实际的问题：怎么向别人证明「某个开源大模型的输出，确实是它算出来的」，而且能精确到每一个比特。 它来自密码学证明和 LLM 推理的交叉地带，作者是 Tomer Solberg，单作者论文。如果你关心可验证推理、模型审计，或者单纯想知道零知识证明这类工具在 32B 级别模型上跑得动跑不动，这篇值得看。 先说结论： Sable 不是零知识证...