Última hora: Ahora podemos demostrar que la IA es correcta. DeepProve-1 es el primer sistema zkML listo para producción que verifica criptográficamente una inferencia LLM completa. Lagrange ha demostrado con éxito la inferencia de GPT-2 de OpenAI, moviendo la IA verificable de la teoría a la producción: 🧵
203.84K