Create your own!
When Barbie runs her proof automation on Skipper's laptop, the screen starts blinking. "Oh no!" says Barbie. "It couldn't prove the Riemann hypothesis. Gosh, research is hard, maybe I should start with something more tractable." "I thought I was going to be famous overnight!" cries Skipper. "Now I'll have to find some tractable theorems to prove!"