A classificação dos grupos simples finitos está "presa" porque o resultado central é demasiado complexo para caber confortavelmente na mente de qualquer ser humano individual. Mas isso não é um problema para os LLMs; assim, a fronteira da CFSG pode em breve ser dominada pelos LLMs