I think a very good example is **Kepler Conjecture**:

http://en.wikipedia.org/wiki/Kepler%27s_conjecture

This conjecture stated that the most "tight" stack of same balls have only two kinds of arrangement with a fixed density.

Every physicist knows that it's true, no mathmaticans ever proved it.

Fortunately, Hales used computers to step forward a little little bit.