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?
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 conjectures which are not known identities to the program and later proved.