Não sabemos como os modelos de IA tomam decisões ou se são boas. Com as provas ZK, podemos provar isso criptograficamente. Bem-vindo à era da IA verificável.