大语言模型可验证推理取得进展
Anthropic 报告了在将 zkSNARK（一种强大的密码学证明）用于大语言模型可验证推理方面的进展，并称该技术特别适合可验证推理。这一方向值得关注，因为可验证推理有望让模型运行结果变得可审计，是在结果需要被核查而非仅凭信任的场景中迈向可信部署的一步。
报道来源
- Anthropic Research2026-11-02 00:00
Anthropic 报告了在将 zkSNARK（一种强大的密码学证明）用于大语言模型可验证推理方面的进展，并称该技术特别适合可验证推理。这一方向值得关注，因为可验证推理有望让模型运行结果变得可审计，是在结果需要被核查而非仅凭信任的场景中迈向可信部署的一步。