There is a lot of pattern-based theorem proving in the works of Ramanujan, Jacobi and Euler. This is beautiful mathematics, but this is not how usual mathematical research is done. Thinking like a mathematician often involves generalization, finding analogies between seemingly different theorems etc.

"Good mathematicians see analogies between theorems or theories. the very best ones see analogies between analogies." Stefan Banach.