There are notable examples of computers "proving" results discovered by mathematicians, what about the opposite:

Are there interesting theorems "discovered" by computers and proved by humans?

Possible example in graph theory is "Some Conjectures of Graffiti.pc (2004-07)," suggested by Joseph O'Rourke in another answer.

The question might not be well defined because "discovered" is controversial.