Срочные новости: Мы теперь можем доказать, что ИИ прав. DeepProve-1 — это первая готовая к производству система zkML, которая криптографически проверяет полное выведение LLM. Lagrange успешно доказал вывод GPT-2 от OpenAI, переводя проверяемый ИИ из теории в практику: 🧵
203,89K