Raciocínio verificável: a Anthropic abriu o código do FlashProve, um protótipo de pesquisa que usa provas de conhecimento zero para verificar se uma resposta foi gerada pelos pesos de um modelo específico; Claude ajudou a aprimorá-lo. O limite de contexto atual é de cerca de 1.024 tokens, e o projeto ainda está em fase de pesquisa. Vale acompanhar se o custo de geração das provas pode cair o suficiente para viabilizar o uso comercial, quais cenários de agentes ou pagamentos serão os primeiros a exigir uma «identidade verificável do modelo» e o progresso das reproduções independentes após a abertura do código. Não trate o protótipo como um sistema de autenticação pronto para produção nem ignore que o tamanho do contexto continua sendo um gargalo importante.