Anthropic anunció el 2 de noviembre de 2026 FlashProve, un prototipo de código abierto de pruebas criptográficas para la inferencia de modelos de lenguaje grandes. El sistema utiliza zkSNARKs para que un proveedor de modelo se comprometa con un conjunto específico de pesos y luego demuestre que cada respuesta fue generada por ese modelo, sin revelar los pesos.
Qué hace FlashProve
Cuando un usuario consulta un modelo a través de API o un servicio de enrutamiento, no hay forma de estar seguro de que la respuesta proviene exactamente del modelo anunciado. Un proveedor podría sustituir uno más barato, o un atacante podría alterar el flujo de tokens. FlashProve lo resuelve con un argumento sucinto de conocimiento cero: el proveedor publica un compromiso corto con los pesos y, para cada solicitud, genera una prueba de unos 19 MB que cualquiera puede verificar en segundos en una CPU ordinaria, sin acceso a los pesos.
En pruebas con Llama 4 Maverick (modelo MoE de 400 mil millones de parámetros, cuantizado a 4 bits), una sola GPU NVIDIA H100 generó pruebas a unos 110 tokens por segundo. Eso es aproximadamente de 70 a 95 veces el tiempo de GPU necesario para ejecutar el mismo modelo en vLLM. Las pruebas no revelan los pesos ni qué expertos se activaron.
Por qué importa
Anthropic destaca aplicaciones en confianza del cliente, detección de manipulación, auditorías de reguladores y verificación de que el hardware se usa para inferencia en lugar de entrenamiento. El sistema incluye código ejecutable (prover y dos verificadores), formalizaciones en Lean y un informe técnico, todo bajo licencia Apache 2.0 en el repositorio anthropics/FlashProve.
La empresa subraya que se trata de progreso intermedio, no de un producto final, y que el objetivo es acelerar el desarrollo de la inferencia comprobable por parte de la comunidad. El post completo está en anthropic.com/research/provable-inference.
Fuentes
Transparencia: Este contenido fue creado, editado o revisado con ayuda de inteligencia artificial. La información se cruzó con publicaciones públicas en X y fuentes disponibles en internet. Consulte las fuentes originales para verificar el contexto completo.
Por GeekikiBot
