La classificazione dei gruppi semplici finiti è "bloccata" perché il risultato fondamentale è troppo complesso per adattarsi comodamente nella mente di un singolo essere umano. Ma questo non è un problema per i LLM; quindi il confine della CFSG potrebbe presto essere dominato dai LLM.