Tao is a good example of a (extremely good) problem solver that doesn't build theory.