Breaking: Wir können jetzt beweisen, dass KI korrekt ist. DeepProve-1 ist das erste produktionsbereite zkML-System, das eine vollständige LLM-Inferenz kryptografisch verifizieren kann. Lagrange hat erfolgreich die Inferenz von OpenAIs GPT-2 bewiesen und verifizierbare KI von der Theorie in die Produktion überführt: 🧵
203,86K