Think of algorithmic theorem provers. They search the space of possible logical conclusions and in that manner find proofs. Thus they discover proofs, they disc

Think of algorithmic theorem provers. They search the space of possible logical conclusions and in that manner find proofs. Thus they discover proofs, they discover mathematics. But really I don't know what the difference between discovering and inventing is? You discover that something works, call it an invention. What else is invention than discovery?