Urgente: Agora podemos provar que a IA está correta. O DeepProve-1 é o primeiro sistema zkML pronto para produção a verificar criptograficamente uma inferência LLM completa. Lagrange provou com sucesso a inferência do GPT-2 da OpenAI, movendo a IA verificável da teoria para a produção: 🧵
204,08K