Não sabemos como os modelos de IA tomam decisões ou se são bons. Com provas ZK, podemos prová-lo criptograficamente. Bem-vindo à era da IA Verificável.