In plane geometry, it is customary to say that checking proofs is a mechanical process but that finding new theorems is a creative activity. Citing J. Hadamard, "logic only sanctions the conquests of intuition."
We have now computer programs that can check the correctness of geometric statements (at least first order statements) and interactive geometry softwares are used routinely in geometry classes to teach elementary geometry. We can use these programs to discover new theorems, but is there any program that is able to find new geometric statements on its own? More precisely,
Is there any new and interesting result in plane geometry that has been produced by a computer program without any human intervention?
The answer may state such a result together with the relevant reference.
Of course, the software is always made by humans, but the result output by the machine should not be known prior to the start of the program and no intervention should happen during the execution of the program. Also, new and interesting is subjective. By new, I mean some result that is not an easy corollary of some theorem prior to the XXIe century. By interesting, probably the real test would be to produce several results sufficiently different from each others to show creativity and fit the taste of the many geometers on mathoverflow.