Klassifiseringen av endelige enkle grupper er «fastlåst» fordi kjerneresultatet er for komplekst til å passe komfortabelt i en enkelt menneskehjerne. Men dette er ikke et problem for LLM-er; så grensen til CFSG kan snart bli dominert av LLM-er