Anthropic 正在发布一个开源库 FlashProve，用于可证明推理。它在 Llama 4 Maverick 上进行了测试，这是一个拥有 400B 参数的专家混合模型。 Anthropic在2026年11月开源了一个叫FlashProve的库，用密码学证明一段文字确实由某组指