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)][1]," suggested by Joseph O'Rourke [in another answer][2].

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](https://mathoverflow.net/questions/12085/experimental-mathematics) as Kristal Cantwell pointed out.

>I am mainly interested in examples where the program is _designed to make conjectures_ which are not known identities to the program and later proved.


  [1]: http://www.math.uiuc.edu/~west/regs/graffiti.html
  [2]: https://mathoverflow.net/questions/87114/87128#87128