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