La classification des groupes simples finis est "bloquée" car le résultat central est trop complexe pour être facilement assimilé par l'esprit humain. Mais ce n'est pas un problème pour les LLM ; donc la frontière de la CFSG pourrait bientôt être dominée par les LLM.