> (3) hopefully project something interesting back down to the problem you actually care about.

Indeed, and this is the step that standard mathematicians tend to balk at.