有限簡單群的分類目前"卡住"了，因為核心結果過於複雜，無法輕易地容納在任何個體人類的腦中。但這對於LLMs來說並不是問題；因此，CFSG的前沿可能很快會被LLMs主導。