Notizia dell'ultimo minuto: ora possiamo dimostrare che l'IA è corretta. DeepProve-1 è il primo sistema zkML pronto per la produzione in grado di verificare crittograficamente un'intera inferenza LLM. Lagrange ha dimostrato con successo l'inferenza del GPT-2 di OpenAI, portando l'IA verificabile dalla teoria alla produzione: 🧵
203,82K