Razonamiento verificable: Anthropic ha publicado como código abierto FlashProve, un prototipo de investigación que utiliza pruebas de conocimiento cero para verificar si una respuesta fue generada por los pesos de un modelo específico; Claude participó en su mejora. Actualmente, el límite de contexto es de unos 1024 tokens y el proyecto sigue en fase de investigación. Conviene seguir de cerca si el coste de generar pruebas puede reducirse hasta ser viable comercialmente, qué situaciones de uso de agentes o pagos exigirán primero que «la identidad del modelo sea verificable» y cómo avanza la reproducción por parte de terceros tras su publicación como código abierto. No hay que confundir directamente el prototipo con un sistema de autenticación listo para producción, ni pasar por alto que la longitud del contexto sigue siendo un cuello de botella importante.