La clasificación de los grupos simples finitos está "atascada" porque el resultado central es demasiado complejo para caber cómodamente en el cerebro de cualquier individuo. Pero este no es un problema para los LLMs; por lo que la frontera de la CFSG podría pronto estar dominada por los LLMs