Notícias de última hora: Agora podemos provar que a IA está correta. DeepProve-1 é o primeiro sistema zkML pronto para produção a verificar criptograficamente uma inferência completa de LLM. A Lagrange provou com sucesso a inferência do GPT-2 da OpenAI, movendo a IA verificável da teoria para a produção: 🧵
203,88K