Przełom: Teraz możemy udowodnić, że AI ma rację. DeepProve-1 to pierwszy gotowy do produkcji system zkML, który kryptograficznie weryfikuje pełne wnioskowanie LLM. Lagrange pomyślnie udowodnił wnioskowanie GPT-2 OpenAI, przenosząc weryfikowalne AI z teorii do produkcji: 🧵
203,84K