Comment by voidfunc

Because it means mathematical discovery can largely be automated away from academics. This is the beginning.