On the other hand, my experience is that the smartest people I know are very effective at simplifying / formalizing poorly defined problems and then solving the resultant well-defined problems.