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