Return to Question

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

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

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.

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