Breaking: Тепер ми можемо довести, що ШІ має рацію. DeepProve-1 — це перша готова до виробництва система zkML, яка криптографічно перевіряє повний висновок LLM. Лагранж успішно довів висновок GPT-2 від OpenAI, перемістивши перевірений ШІ від теорії до виробництва: 🧵
203,82K