O que é: Geração de Provas (em IA)