I can confirm - I woke up to the resolution to my two hardest problems during PhD. Three, if you count "I should look for this kind of inequality" (which did turn out to exist), but I think that's more of an _idea_ than a solution.

The hard part is paying attention to it. With enough attention your mind will fix it.