AI-generated Images of axioms