Graffiti is a computer program which makes conjectures in graph theory, written by Siemion Fajtlowicz. Research on conjectures produced by Graffiti has led to over 60 publications by other mathematicians.

https://en.wikipedia.org/wiki/Graffiti_(program)