Learning to Paint a Theorem