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

Are there interesting conjectures "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.

**Added** This question may be a duplicate (or refinement) of (2) in Experimental Mathematics as Kristal Cantwell pointed out.

I am mainly interested in examples where the program is

designed to make conjectureswhich are not known identities to the program and later proved.