Класифікація скінченних простих груп «застрягла», оскільки основний результат надто складний, щоб комфортно вміститися в мозок будь-якої окремої людини. Але це не проблема для LLM; тому кордон CFSG незабаром може бути домінований LLM