> but there were definitely times when I distracted myself from proofs that wouldn’t work by learning how to make beautiful diagrams in latex + tikz.

I have never, ever, regretted coming to the table with eye candy like this. Were some of those investigations the most "profitable" thing to be working on at the time? Probably not, but a good, clean visualization buys you so much cred with both your audience and yourself.