Klasifikace konečných jednoduchých grup je "zaseklá", protože základní výsledek je příliš složitý na to, aby se pohodlně vešel do mozku jednotlivého člověka. Ale to není problém pro LLM; takže hranice CFSG může být brzy ovládnuta LLM