Much of the early work on the Mandelbrot set was of this type. You see something strange in the computer images, then you try to prove that it really happens.
Here is one example... "example: Pi and the Mandelbrot set" . .. LINKFrom conjecture in 1991 to paper in 2001.

