AI 资讯 Anthropic 开源 FlashProve：模型回答可验证，但证明成本高昂 FlashProve 用零知识证明把一次回答绑定到预先承诺的模型权重。Anthr… 2026-11-04AI 资讯4 分钟阅读
