FlashProve

FlashProve 可验证推理：400B 模型也能出证明，代价是慢 72 倍

FlashProve 可验证推理：Anthropic 开源原型用零知识证明，让 400B 的 Llama 4 每次输出都能被独立核对，速度 110 tokens/秒，但开销是原生推理的 72 到 95 倍。