No sabemos cómo los modelos de IA toman decisiones o si son buenos. Con las pruebas ZK, podemos probarlo criptográficamente. Bienvenido a la era de la IA verificable.