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