A Anthropic apresentou, em 2 de novembro de 2026, o FlashProve, um protótipo de pesquisa que utiliza criptografia para verificar se uma resposta foi realmente produzida por determinado modelo de inteligência artificial. O trabalho aborda um problema cada vez mais relevante para empresas e usuários: como comprovar que um serviço entregou uma resposta do sistema prometido.
Hoje, quem utiliza uma aplicação de IA normalmente depende da identificação informada pelo fornecedor. A qualidade do texto, por si só, não permite demonstrar qual modelo foi executado. O FlashProve tenta acrescentar uma camada de verificação técnica a essa relação de confiança.
Como funciona a verificação de modelos de IA?
A pesquisa se baseia em um tipo de prova criptográfica conhecido como zkSNARK. Em termos simplificados, o provedor publica previamente um compromisso digital associado aos parâmetros de um modelo, sem precisar revelar esses parâmetros.
Quando o usuário faz uma solicitação, o sistema produz uma prova de que a resposta corresponde ao processamento daquele modelo comprometido. Um verificador pode conferir essa evidência utilizando o compromisso público, a entrada e a saída da interação.
A ideia é criar uma forma de demonstrar a origem computacional da resposta sem exigir que o usuário tenha acesso aos pesos proprietários do modelo. Isso não significa, porém, que o conteúdo seja verdadeiro: provar qual modelo respondeu é diferente de provar que a resposta está correta.
O que os experimentos da Anthropic mostraram?
Em demonstração técnica divulgada pela equipe, uma GPU Nvidia H100 produziu provas para o modelo Llama 4 Maverick, de aproximadamente 400 bilhões de parâmetros em arquitetura mixture-of-experts. No cenário descrito, a geração de provas chegou a cerca de 110 tokens por segundo, com arquivos de aproximadamente 19 MB para uma solicitação de 1.024 tokens.
Apesar do avanço, a produção das provas ainda demanda recursos computacionais expressivos em comparação com a inferência comum. Os resultados se referem às condições específicas do experimento e não devem ser extrapolados automaticamente para qualquer modelo ou infraestrutura.
Possíveis aplicações para empresas e auditorias
A verificação criptográfica pode ajudar a identificar substituições silenciosas de modelos em serviços contratados, apoiar auditorias de sistemas automatizados e oferecer evidências sobre o cumprimento de determinadas especificações técnicas.
Em sistemas corporativos e públicos, a proposta pode contribuir para rastreabilidade e controle de fornecedores. Mesmo assim, a tecnologia não substitui verificações de privacidade, segurança, viés, qualidade das decisões e governança de dados.
FlashProve já pode ser usado em produção?
O FlashProve foi apresentado como protótipo experimental de código aberto, com documentação e componentes disponibilizados para pesquisa. A Anthropic não anunciou sua adoção como recurso disponível nos serviços comerciais da empresa. O próprio repositório identifica o projeto como artefato de pesquisa sem manutenção contínua.
Fontes: publicação técnica da Anthropic, 2/11/2026 e repositório do FlashProve no GitHub.