# Mathematical concepts motivated by computational results

What are some interesting and important pure mathematics concepts, results or theorems that have been motivated, discovered, or proven using computers/computational methods?

I know little about these things, but I wonder whether there are perhaps some interesting results in say algebra, that were proven using automated proving systems. In number theory there's probably results that were motivated by an observation that was checked up to a large number, but I don't know of anything concrete. Lastly, the Mandelbrot set seems to be a good example of a concept that was found to be interesting after a visualization using computers.

The Erdos discrepancy problem was proved for the $c=2$ case by a method of SAT solving and a bit later fully proved by Terrence Tao.