This reminds me of this quote by Alfréd Rényi (often misattributed to his friend, Paul Erdős)

“A mathematician is a device for turning coffee into theorems”