有限単純群の分類は「停滞」しています。なぜなら、その核心的な結果があまりにも複雑で、個々の人間の脳に快適に収まりきれないからです。しかし、これはLLMにとって問題ではありません。そのため、CFSGの最前線は間もなくLLMに支配される可能性があります