有限简单群的分类被认为是“卡住了”，因为核心结果过于复杂，无法舒适地适应任何个体人类的大脑。但这对LLMs来说不是问题；因此，CFSG的前沿可能很快会被LLMs主导。