تصنيف المجموعات البسيطة المنتهية "عالق" لأن النتيجة الأساسية معقدة جدا بحيث لا تناسب دماغ أي إنسان بشكل مريح. لكن هذا ليس مشكلة لنماذج اللغة الكبيرة (LLMs); لذا قد تهيمن على حدود CFSG قريبا نماذج اللغة الكبيرة