Breaking: Vi kan nu bevisa att AI har rätt. DeepProve-1 är det första produktionsklara zkML-systemet för att kryptografiskt verifiera en fullständig LLM-inferens. Lagrange har framgångsrikt bevisat slutsatsen av OpenAI:s GPT-2 och flyttat verifierbar AI från teori till produktion: 🧵
204,16K