FlashProve prueba si una respuesta de IA proviene de los pesos comprometidos
El prototipo abierto de Anthropic conecta pruebas de conocimiento cero con la procedencia del modelo, con límites importantes de implementación y decodificación.
Anthropic publicó FlashProve el 2 de noviembre como un prototipo de investigación de código abierto para inferencia demostrable. Un proveedor se compromete criptográficamente con los pesos de un modelo y aporta una prueba que vincula la respuesta con esos pesos sin revelarlos. La publicación incluye documentación del protocolo, código ejecutable y propiedades de seguridad formalizadas en Lean.
La evaluación reportada utiliza un modelo Llama 4 Maverick cuantizado y contextos de hasta 1.024 tokens. La prueba corresponde a una implementación entera con decodificación voraz; no cubre automáticamente la ejecución en punto flotante ni las respuestas obtenidas mediante muestreo. Anthropic también distingue las garantías de Lean de su verificador ejecutable más rápido, cuya equivalencia no está formalmente garantizada.
Para un equipo que compra acceso a modelos mediante intermediarios, la procedencia podría convertirse en un criterio útil de aceptación: ¿produjo esta respuesta el cálculo contratado? No demuestra que la respuesta sea correcta, imparcial ni apropiada para una decisión. La siguiente pregunta práctica es si el modelo exacto, la decodificación, la longitud del contexto y el costo de verificación se ajustan al flujo previsto.