Anthropic cria prova criptográfica para provar qual IA respondeu

A Anthropic, empresa responsável pelo modelo de IA Claude, divulgou em 3 de novembro de 2026 um projeto de pesquisa chamado FlashProve. A proposta é simples de enunciar e difícil de implementar: criar uma prova matemática de que uma resposta específica foi de fato gerada por um determinado modelo de inteligência artificial, e não por outro mais barato ou menos capaz colocado no lugar sem aviso. A empresa publicou a especificação técnica e trechos de código em licença aberta, para que outros pesquisadores examinem e aprimorem a ideia, segundo reportagem do Olhar Digital.

Para quem usa IA no dia a dia de um escritório de advocacia ou de contabilidade, isso não é um detalhe de engenharia. É um sinal de que o mercado começa a tratar como problema algo que hoje é praticamente invisível: a possibilidade de um fornecedor anunciar acesso a um modelo avançado e, na prática, entregar outro mais barato por trás do mesmo contrato.

O que o FlashProve faz, em português simples

O sistema usa o conceito de inferência comprovável: uma forma de gerar, junto com a resposta da IA, um comprovante criptográfico de que aquele texto saiu de um modelo específico. A lógica lembra a assinatura digital que confirma quem enviou um e-mail, só que aqui a assinatura confirma qual IA produziu determinado conteúdo.

Para isso funcionar, cada empresa que desenvolve modelos precisaria publicar uma espécie de impressão digital de cada versão lançada. Depois, qualquer resposta gerada por aquele modelo poderia ser comparada a essa impressão digital e verificada por mecanismos criptográficos, inclusive localmente, no próprio computador de quem recebeu a resposta.

Um ponto importante para quem lida com segredo comercial e propriedade intelectual: a impressão digital não revela os pesos do modelo, ou seja, os valores internos que determinam seu comportamento. Anthropic e OpenAI mantêm esses pesos em sigilo, e o FlashProve foi desenhado para preservar esse sigilo mesmo permitindo a verificação.

Por que isso chega ao escritório e não só à engenharia

Advogados e contadores já incorporaram ferramentas de IA em tarefas como revisão de contrato, pesquisa de jurisprudência, minuta de parecer e cálculo tributário. Boa parte desses produtos é vendida com a promessa de usar um modelo específico, muitas vezes citado no material de marketing do fornecedor como diferencial de qualidade.

O problema que o FlashProve ataca é exatamente esse: a possibilidade de uma empresa anunciar o uso de uma IA avançada para reduzir custos e, depois, trocar silenciosamente por uma alternativa mais barata, sem que o cliente perceba a diferença no resultado entregue.

A Anthropic cita dois exemplos no próprio material de pesquisa que ajudam a traduzir o risco para a rotina de quem assina documentos:

• Um desenvolvedor afirma ter usado um modelo avançado de cibersegurança para revisar uma biblioteca de software em busca de falhas. Sem verificação, não há como confirmar se o modelo realmente usado tinha a capacidade anunciada.
• Uma empresa declara que seu plano de negócios foi aprovado por uma IA apropriada para a tarefa. O mesmo problema se aplica: a afirmação não tem como ser checada.

Transportando esses exemplos para o escritório, a lógica é a mesma de um parecer jurídico ou de uma análise fiscal gerada com apoio de IA: se o fornecedor da ferramenta anuncia o uso de um modelo de ponta para justificar o preço do serviço ou a confiabilidade do resultado, hoje não existe um jeito simples de confirmar isso. O FlashProve propõe fechar essa lacuna, ainda que apenas como prova de conceito.

O que ainda não existe, e por que isso importa na prática

Vale separar o que foi anunciado do que já está disponível. A Anthropic não divulgou plano de implementação do FlashProve em seus próprios serviços nem em plataformas de terceiros. Os próprios pesquisadores descrevem a publicação como um avanço intermediário, não como o fim de uma agenda de pesquisa: a intenção declarada é que outras equipes analisem, usem os componentes liberados em código aberto e ajudem a aperfeiçoar o sistema.

Isso significa que, por enquanto, nenhum contrato de software jurídico ou contábil no Brasil vai trazer uma cláusula de verificação FlashProve, porque a tecnologia simplesmente não está em produto nenhum. O valor da notícia para quem contrata essas ferramentas não está no que pode ser exigido hoje, e sim no sinal que ela dá: a indústria de IA está discutindo publicamente que a troca silenciosa de modelo é um problema real o bastante para justificar uma prova criptográfica.

O que dá para fazer agora, sem esperar o produto existir

Enquanto o FlashProve não vira ferramenta disponível, a lição prática para quem compra ou assina serviços de IA no escritório é anterior à tecnologia: pedir por escrito qual modelo está sendo usado, e não aceitar a resposta genérica de que "usamos inteligência artificial avançada".

Alguns pontos que fazem diferença num contrato de ferramenta jurídica ou contábil com IA:

1. Exigir que o fornecedor identifique, em contrato ou anexo técnico, o modelo e a versão usados no produto contratado.
2. Prever atualização obrigatória dessa informação sempre que o fornecedor trocar de modelo, com aviso prévio ao cliente.
3. Guardar, para cada parecer ou análise relevante gerada com apoio de IA, um registro de qual ferramenta e qual versão foram usadas naquele momento, como parte da diligência profissional sobre o próprio trabalho entregue.

Esse terceiro ponto importa especialmente para advogado e contador porque a responsabilidade pelo conteúdo final do parecer ou do cálculo continua sendo do profissional, não do fornecedor da IA. Documentar qual modelo apoiou aquele trabalho, mesmo sem uma prova criptográfica como o FlashProve, já reduz o risco de um cliente ou uma auditoria questionar depois a base técnica de uma decisão automatizada que passou pelo escritório.

O projeto da Anthropic está longe de virar prática de mercado, mas aponta uma direção clara: a confiança cega na palavra do fornecedor sobre qual IA está rodando por trás do produto tende a perder espaço para mecanismos de verificação, e quem contrata esses serviços profissionalmente sai na frente se já começar a cobrar essa transparência por contrato, mesmo antes de existir uma prova matemática para checá-la.

Fonte: Olhar Digital — IA