FlashProve testa se uma resposta de IA veio dos pesos comprometidos
O protótipo aberto da Anthropic conecta provas de conhecimento zero à procedência do modelo, com limites importantes de implementação e decodificação.
A Anthropic publicou o FlashProve em 2 de novembro como um protótipo de pesquisa de código aberto para inferência demonstrável. Um provedor assume um compromisso criptográfico com os pesos de um modelo e fornece uma prova que vincula uma resposta a esses pesos, sem revelá-los. A publicação inclui documentação do protocolo, código executável e propriedades de segurança formalizadas em Lean.
A avaliação relatada usa um modelo Llama 4 Maverick quantizado e contextos de até 1.024 tokens. A prova trata de uma implementação inteira com decodificação gulosa; não cobre automaticamente a execução em ponto flutuante ou respostas obtidas por amostragem. A Anthropic também diferencia as garantias de Lean de seu verificador executável mais rápido, cuja equivalência não é formalmente garantida.
Para uma equipe que compra acesso a modelos por intermediários, a procedência poderia virar um critério útil de aceitação: o cálculo contratado produziu esta resposta? Isso não estabelece que a resposta seja correta, imparcial ou adequada a uma decisão. A próxima pergunta prática é se o modelo exato, a decodificação, o tamanho do contexto e o custo de verificação atendem ao fluxo pretendido.