Klassificeringen av ändliga enkla grupper är "fast" eftersom kärnresultatet är för komplext för att bekvämt passa i någon enskild människas hjärna. Men detta är inget problem för LLM:er; så gränsen för CFSG kan snart domineras av LLM:er