Yes and no.
The best examples are publications in the 1930s on automata theory and recursive functions by Turing, Church, et al.
But there have also been cases where professors developed a "cottage industry" of getting their graduate students to prove lots of theorems whose conditions were seldom, if ever met in any actual application.
I recommend the following article by Joseph Goguen:
Tossing algebraic flowers down the great divide