Die Klassifikation der endlichen einfachen Gruppen ist "festgefahren", weil das zentrale Ergebnis zu komplex ist, um bequem in das Gehirn eines einzelnen Menschen zu passen. Aber das ist kein Problem für LLMs; daher könnte die Grenze der CFSG bald von LLMs dominiert werden.