突发消息:我们现在可以证明人工智能是正确的。 DeepProve-1 是第一个可生产的 zkML 系统,能够加密验证完整的 LLM 推理。 Lagrange 成功证明了 OpenAI 的 GPT-2 的推理,将可验证的人工智能从理论转向生产:🧵
203.81K