极道 · 2026-11-03T09:13:00Z 可验证推理来了：Anthropic开源FlashProve 📝 内容提要 Anthropic 正在发布一个开源库 FlashProve，用于可证明推理。它在 Llama 4 Maverick 上进行了测试，这是一个拥有 400B 参数的专家混合模型。 Anthropic在2026年11月开源了一个叫FlashProve的库，用密码学证明一段文字确实由某组指 🏷️ 标签 anthropic 开源 阅读原文 生成长图 分享链接 已复制链接
