Breaking : Nous pouvons maintenant prouver que l'IA est correcte. DeepProve-1 est le premier système zkML prêt pour la production à vérifier cryptographiquement une inférence complète de LLM. Lagrange a réussi à prouver l'inférence du GPT-2 d'OpenAI, passant de l'IA vérifiable de la théorie à la production : 🧵
203,84K