Klasyfikacja skończonych grup prostych jest "utknięta", ponieważ kluczowy wynik jest zbyt skomplikowany, aby zmieścić się w umyśle pojedynczego człowieka. Ale nie jest to problem dla LLM; więc granica CFSG może wkrótce być zdominowana przez LLM.