De classificatie van eindige eenvoudige groepen is "vastgelopen" omdat het kernresultaat te complex is om comfortabel in het brein van een individu te passen. Maar dit is geen probleem voor LLM's; dus de grens van CFSG kan binnenkort gedomineerd worden door LLM's.