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