I think it's intriguing that they took an experimental approach to what is originally a theoretical problem: Generate lots of examples with a computer and see if you notice any patterns.
Once the stuff you think about is abstract enough, you may start thinking of objects with properties P, Q, and R, showing all kinds of wonderful results before somebody else shows that there are no objects having properties P, Q, and R, or that there only are trivial ones.