突發消息:我們現在可以證明人工智慧是正確的。 DeepProve-1 是第一個可生產的 zkML 系統,能夠加密驗證完整的 LLM 推理。 Lagrange 成功證明了 OpenAI 的 GPT-2 的推理,將可驗證的人工智慧從理論轉向生產:🧵
203.81K