AI-generated Images of prover