Классификация конечных простых групп "застряла", потому что основное утверждение слишком сложно, чтобы удобно уместиться в мозгу любого отдельного человека. Но это не проблема для LLM; поэтому на переднем крае CFSG вскоре могут доминировать LLM.