Comment by foota

Let's throw these deep learning models at the classification of simple finite groups and see if they can come up with something shorter than 1000 pages.