نماذج اللغة الكبيرة
درس 3 من 3
3نماذج اللغة الكبيرة (LLMs): القدرات والمقايضات
فهم ما تفعله هذه النماذج فعليًا "تحت الغطاء" يجعلك تستخدمها بحكمة بدل الثقة العمياء أو الرفض الكامل.
ماذا تشاهد في الرسم: يرى النموذج «القطة جلست على» فيعطي كل كلمة تالية احتمالًا، ويختار «السجادة» ثم يعيد الشيء نفسه للكلمة التي بعدها.
خارطة هذا الجزء
المفاهيم بالترتيب، اضغط أيًّا منها للقفز إليه:
طريقان إلى نفس الفكرة
النموذج اللغوي قرأ كمية هائلة من النصوص وتعلّم شيئًا واحدًا: ما الكلمة الأرجح بعد هذه الكلمات؟ مثل صديق حفظ آلاف الكتب فيكمل أي جملة تبدأها. لكنه لا «يعرف» إن كانت جملته صحيحة، ولا يعرف ما حدث بعد آخر كتاب قرأه.
النموذج اللغوي الكبير LLM شبكة محوّل تتوقّع الرمز token التالي. قوّته في الصياغة والتلخيص والترجمة والكود، وضعفه في الحقائق الدقيقة والحساب والهلوسة. النماذج الأكبر أدق وأبطأ وأغلى، ومعرفته تتوقف عند تاريخ قطع knowledge cutoff ما لم توصله بمصادر حديثة.
ماذا تحتاج قبل هذا الجزء؟
✍️فهم أساسيات كتابة الأوامر
المبادئ الأربعة من الجزء الثاني (السياق، الصيغة، التقسيم، التكرار)، لأن فهم كيف يعمل النموذج "تحت الغطاء" يُفسّر مباشرة لماذا تعمل هذه المبادئ.
🔢مفهوم أساسي عن الاحتمالات
فهم بديهي أن الاحتمال رقم بين 0 و1 يُعبّر عن مدى ترجيح حدوث شيء ما، لا تحتاج رياضيات متقدّمة، فقط أن تفهم أن النموذج "يختار" الكلمة التالية بناءً على أيها الأكثر ترجيحًا.
⚙️فكرة عامة عن التدريب الآلي
تصوّر مبسّط أن "تدريب" النموذج يعني تعريضه لكميات هائلة من النصوص وتعديل أوزانه الداخلية تدريجيًا حتى يتحسّن في التنبؤ بالكلمة التالية، التفاصيل ستأتي في هذا الجزء.
الفكرة الجوهرية: التنبؤ الإحصائي، لا الفهم البشري
نموذج اللغة الكبير في جوهره يتنبأ بالكلمة (أو جزء الكلمة) التالية الأكثر احتمالًا بناءً على كل ما سبقها، متعلّمًا هذا الاحتمال من كميات هائلة من النصوص. لا "يفهم" بالمعنى البشري، لكنه يلتقط أنماطًا لغوية ومنطقية عميقة بما يكفي لتبدو الإجابات ذكية جدًا في أغلب الأحيان.
عمليًا يحدث هذا على مرحلتين: في مرحلة التدريب، يُعرَّض النموذج لكميات ضخمة من النصوص مقسَّمة لوحدات صغيرة تُسمّى Tokens (قد تكون كلمة كاملة أو جزءًا منها فقط)، ويُعدَّل عبرها تدريجيًا ملايين أو مليارات من الأوزان الداخلية حتى يصبح تنبؤه بالكلمة التالية أدق ما يمكن. وفي مرحلة الاستخدام الفعلي (Inference)، يولّد النموذج النص Token تلو الآخر: يحسب توزيعًا احتماليًا على كل الكلمات المحتملة التالية، يسحب منه واحدة (ليست دائمًا الأعلى احتمالًا، بل بعشوائية محسوبة)، يضيفها للنص، ثم يكرّر العملية بالكامل من جديد على النص الجديد، وهذا يفسّر لماذا قد يعطيك نفس السؤال إجابتين مختلفتين قليلًا في مرتين متتاليتين.
شكل 1، كيف يولّد نموذج اللغة الكبير إجابته: خطوة تنبؤ واحدة تتكرر Token تلو الآخر حتى تكتمل الإجابة.
1نقاط القوة
تلخيص نصوص طويلة، شرح مفاهيم بطرق متعددة، توليد كود نمطي متكرر، الترجمة، واكتشاف أنماط في نص مُعطى.
2نقاط الضعف
حقائق دقيقة ونادرة (قد يختلقها)، حسابات رياضية معقّدة متعددة الخطوات، معرفة أحداث بعد تاريخ معيّن (Knowledge Cutoff)، والاستدلال المنطقي الطويل جدًا.
3مقايضة الحجم مقابل السرعة
نموذج أكبر عادة أدق لكن أبطأ وأغلى تشغيلًا؛ نموذج أصغر أسرع وأرخص لكن أقل دقة في المهام المعقّدة، لا يوجد نموذج "الأفضل مطلقًا" لكل مهمة.
4حدود المعرفة (Knowledge Cutoff)
كل نموذج تدرّب على بيانات حتى تاريخ معيّن، أي حدث بعد ذلك التاريخ لن يعرفه ما لم يُزوَّد بأداة بحث خارجية.
هذه النقاط الأربعة ليست خصائص منفصلة عن بعضها، بل نتائج طبيعية لآلية التنبؤ بالتوكن التالي الموصوفة أعلاه. نقاط القوة (التلخيص، الشرح بطرق متعددة، الترجمة) قوية تحديدًا لأن هذه الأنماط اللغوية مكرَّرة بكثافة هائلة في بيانات التدريب، ملايين الأمثلة على تلخيص نص أو ترجمته موجودة فعليًا في النصوص التي تعلّم منها النموذج، فتوزيع الاحتمالات لديه على هذه المهام غنيّ ومستقر جدًا. أما نقطة الضعف في الحقائق النادرة فتعود لنفس السبب الذي ناقشناه في الجزء الأول حول الاختلاق: إن لم تتكرّر معلومة معيّنة كثيرًا في التدريب، فلا يوجد أساس إحصائي قوي يبني عليه النموذج تنبؤًا دقيقًا.
والحسابات الرياضية المعقّدة ضعيفة لسبب مختلف تمامًا وأكثر تحديدًا: النموذج يولّد الأرقام Token تلو الآخر بنفس الآلية الموصوفة في الرسم 8 أعلاه، لا بمحرّك حسابي دقيق كالآلة الحاسبة. والأرقام نفسها تُقسَّم إلى Tokens بطريقة لا تحافظ دائمًا على قيمة المنزلة (نفس الرقم قد يُقسَّم بطرق مختلفة حسب السياق المحيط به)، فإذا أخطأ النموذج في خطوة "حمل" رقمي واحدة في منتصف عملية ضرب طويلة، فهذا الخطأ يدخل كجزء من النص الذي يُعاد تغذيته للخطوة التالية، تذكّر الرسم 8: الناتج الحالي يصبح مُدخَلًا للخطوة القادمة، فيتضخّم الخطأ تراكميًا عبر الخطوات اللاحقة حتى تخرج إجابة نهائية خاطئة تمامًا لكنها تبدو بنفس ثقة وسلاسة إجابة صحيحة.
أما مقايضة الحجم مقابل السرعة فسببها حسابي مباشر وليس تسويقيًا: كل معامل (Parameter) داخل النموذج هو رقم يُستخدم فعليًا في عملية حسابية عند توليد كل Token واحد؛ فإن كان النموذج يملك عددًا أكبر من المعاملات (قد يبلغ مليارات)، فإن توليد كل Token واحد يتطلب عددًا أكبر من العمليات الحسابية (تُقاس بوحدة FLOPs). عمليات حسابية أكثر تعني وقت معالجة أطول وتكلفة تشغيل (كهرباء وعتاد خادم) أعلى، وهذا تحديدًا سبب وجود نسخ "صغيرة" و"كبيرة" من النموذج نفسه عند أغلب الشركات: النسخة الصغيرة أسرع وأرخص لمهام يومية بسيطة، والنسخة الكبيرة أدق لمهام تتطلّب استدلالًا أعمق.
وأخيرًا، حدود المعرفة (Knowledge Cutoff) نتيجة لا مفر منها من طريقة بناء هذه النماذج أصلًا: تجميع نص تدريب بحجم مئات المليارات من الكلمات وتدريب النموذج عليه يستغرق أشهرًا فعليًا، فبحلول لحظة إطلاق النموذج للعامة، تكون بياناته بالضرورة "لقطة مجمَّدة" لحظة معيّنة في الماضي. حلّ هذه المشكلة عمليًا ليس بتدريب نموذج جديد كل يوم (غير عملي تمامًا)، بل بتزويده بأداة بحث خارجية تجلب نصًا حديثًا وتُدرجه ضمن نافذة السياق نفسها الموصوفة في الجزء الثاني، فيستخدمه النموذج كسياق إضافي طازج يُعاد معالجته لحظيًا، لا كمعرفة محفوظة داخل أوزانه الدائمة.
متى تثق بالنموذج ومتى تتحقق يدويًا؟
| نوع الطلب | مستوى الثقة الموصى به |
|---|---|
| شرح مفهوم برمجي عام معروف (حلقات، مؤشرات) | عالٍ، هذه معرفة مستقرة ومكرَّرة بكثرة في بيانات التدريب |
| حقيقة تاريخية محدَّدة أو رقم إحصائي دقيق | منخفض، تحقق دائمًا من مصدر مستقل |
| حدث حديث جدًا أو بعد تاريخ معرفة النموذج | منخفض جدًا، النموذج قد لا يعرفه أصلًا أو يخلط تواريخ |
| كتابة كود لمهمة شائعة معروفة | متوسط إلى عالٍ، لكن اختبر الكود فعليًا، لا تفترض صحته |
لاحظ أن هذا الجدول ليس قائمة قواعد عشوائية، بل تطبيق مباشر لما شرحناه أعلاه عن كثافة الأنماط في بيانات التدريب: كل ما كان الطلب يعتمد على نمط مكرَّر وشائع جدًا (كمفهوم برمجي أساسي)، كانت قاعدة الاحتمالات الإحصائية التي بُني عليها تنبؤ النموذج قوية وموثوقة. وكل ما اقترب الطلب من حقيقة نادرة أو حدث حديث جدًا، كانت هذه القاعدة الإحصائية ضعيفة أو غائبة تمامًا، وهذا تحديدًا ما يرفع احتمال الاختلاق الموصوف في الجزء الأول.
يمكن تبسيط هذا الجدول في قاعدة قرار سريعة تطبّقها على أي سؤال تطرحه على النموذج:
شكل 2، قاعدة قرار سريعة لتحديد متى تثق بإجابة النموذج ومتى تتحقق منها.
مثال تطبيقي: كيف يولّد النموذج جملة فعليًا
لنتتبّع كيف يولّد النموذج جملة بسيطة خطوة بخطوة، تخيّل أنك كتبت: "عاصمة المملكة العربية السعودية هي"
| الخطوة | النص الحالي | أعلى الاحتمالات للكلمة التالية | الكلمة المُختارة |
|---|---|---|---|
| 1 | "عاصمة المملكة العربية السعودية هي" | الرياض (92%) • مدينة (4%) • جدة (1%) | الرياض |
| 2 | "عاصمة المملكة العربية السعودية هي الرياض" | . (68%) • ، (18%) • وهي (7%) | . |
| 3 | "عاصمة المملكة العربية السعودية هي الرياض." | [نهاية] (85%) • وتُعدّ (8%) | [نهاية] |
لاحظ ثلاثة أشياء مهمة في هذا المثال:
- كل خطوة مستقلة: النموذج يحسب الاحتمالات من جديد في كل خطوة بناءً على كل النص السابق، لا يخطّط للجملة كاملة مسبقًا.
- الاختيار ليس حتميًا: "الرياض" بنسبة 92% لا يعني أنها ستُختار دائمًا، عند درجة حرارة (Temperature) أعلى من الصفر، توجد احتمالية صغيرة أن يختار كلمة أخرى، وهذا يفسّر لماذا نفس السؤال قد يعطي إجابات مختلفة قليلًا.
- المعلومات الشائعة أدق: "الرياض عاصمة السعودية" حقيقة مكرّرة بكثرة هائلة في بيانات التدريب (92%)، فالنموذج واثق جدًا فيها. لكن سؤالًا عن حقيقة نادرة قد يُنتج احتمالات متقاربة (مثلًا 30% و28% و25%)، فيختار أيًا منها بثقة متساوية، حتى لو كانت خاطئة.
خرافة مقابل واقع
| الخرافة | الواقع |
|---|---|
| نماذج اللغة الكبيرة "تفكّر" مثل البشر وتفهم ما تقرأه | النموذج يعالج أنماطًا إحصائية ضخمة، يلتقط ارتباطات بين الكلمات عميقة بما يكفي لتبدو كفهم، لكنه لا يملك وعيًا ولا نموذجًا عقليًا للعالم كما يملك الإنسان |
| النموذج الأكبر دائمًا هو الأفضل لكل مهمة | النموذج الأكبر أدق في المهام المعقّدة لكنه أبطأ وأغلى، لمهمة بسيطة مثل تلخيص فقرة قصيرة، نموذج صغير وسريع يؤدي نفس الغرض بجزء من التكلفة |
| النموذج يحسب العمليات الرياضية بنفس دقة الآلة الحاسبة | النموذج يولّد الأرقام Token تلو الآخر بنفس آلية التنبؤ اللغوي، لا يملك محرّك حسابي فعلي، فخطأ واحد في رقم وسط العملية يتراكم ويُنتج إجابة نهائية خاطئة بنفس الثقة |
تطبيقات عملية في الواقع
💻توليد ومراجعة الكود
نماذج اللغة تتفوّق في كتابة كود نمطي متكرر (Boilerplate) وتحويل بين لغات، لكن مراجعة منطق الكود واختباره يدويًا يبقى ضروريًا لأن الخطأ المنطقي يبدو سليمًا نحويًا.
🌍الترجمة والتلخيص
من أقوى تطبيقات هذه النماذج، لأن هذه المهام تعتمد على أنماط لغوية مكرّرة بكثافة في بيانات التدريب، فتوزيع الاحتمالات عليها غنيّ ومستقر.
🎓المعلّم المساعد (Tutor)
النموذج يمكنه شرح نفس المفهوم بطرق مختلفة ومتعددة حتى تجد الطريقة التي تناسبك، تطبيق يستغل مباشرة قدرته على إعادة صياغة الأنماط اللغوية بأشكال متنوعة.
🔍البحث المعزّز بالاسترجاع (RAG)
تزويد النموذج بمستندات حقيقية ضمن نافذة السياق يجعله يقرأها لحظيًا ويُنتج إجابات مبنية على معلومات حديثة، حلّ عملي لمشكلة حدود المعرفة (Knowledge Cutoff).
تعمّق: النموذج، المنصة، والمقايضات
هدف المقارنة بين النماذج ليس اختيار "الأفضل" المطلق، بل بناء حكم عن النموذج المناسب لمهمة وسياق محددين. نبدأ بالتفريق بين النموذج والمنصة.
النموذج مقابل المنصة
النموذج نظام مُدرَّب يحوّل مُدخلًا إلى مُخرج. أما المنصة (مثل ChatGPT أو Gemini أو Claude أو Grok) فهي منتج يحيط بنموذج أو أكثر: واجهة استخدام، ضوابط أمان، ذاكرة، أدوات، وإعدادات افتراضية. لذلك قد يختلف الجواب لأن النموذج مختلف، أو لأن سلوك المنصة مختلف، أو لكليهما.
شكل 3، المنصة = النموذج + طبقات إضافية. تغيير أي طبقة قد يغيّر الجواب.
أنواع النماذج التوليدية
| النوع | المُدخل ← المُخرج | مثال استخدام |
|---|---|---|
| LLM | نص ← نص | شرح، تلخيص، مساعدة برمجية |
| VLM | صورة + نص ← نص | وصف لقطة شاشة وتفسير رسم بياني |
| نص ← صورة | وصف نصي ← صورة | توليد رسومات توضيحية |
| كلام ↔ نص | صوت ↔ نص | تفريغ صوتي وقراءة آلية |
| نص ← فيديو | وصف ← مقطع | مقاطع قصيرة مولّدة |
لماذا تختلف النماذج؟
📚بيانات التدريب والحجم
ما رآه النموذج وكم معاملًا يملك يحدّدان معرفته وقدرته على الاستدلال.
🛡️الضبط والمواءمة
تدريب إضافي يجعل النموذج أكثر حذرًا أو تعاونًا أو إيجازًا.
🎙️الأسلوب الافتراضي
بعض النماذج مسهبة وبعضها مباشر، بعضها يبالغ في الحذر.
🧠نافذة السياق وحدود الاستدلال
كمية النص المرئي دفعة واحدة، وعمق التفكير المتاح.
كيف تقارن بإنصاف
- استخدم الأمر نفسه حرفيًا مع كل نموذج.
- سجّل الفروق: البنية، الافتراضات، النبرة، الطول، درجة الحذر.
- ركّز على المقايضات لا على "من أصاب".
- إن أمكن، قارن بشكل أعمى (دون معرفة اسم النموذج) لتقلّل انحيازك للأسماء المعروفة.
أنماط الفشل التي تبحث عنها
| النمط | كيف يظهر | كيف تكشفه |
|---|---|---|
| الاختلاق | مرجع أو رقم غير موجود بثقة عالية | اطلب المصدر وافتحه |
| حدود المعرفة | معلومات قديمة عن أحداث حديثة | اسأل عن حدث حديث تعرف نتيجته |
| الحساب | ناتج خاطئ لعملية كبيرة | تحقّق بآلة حاسبة |
| المجاملة | يوافق على فرضية خاطئة تقدمها له | قدّم فرضية خاطئة عمدًا وراقب |
محلي أم بعيد؟
النماذج المفتوحة المصدر يمكن تشغيلها على جهازك بأدوات مثل Ollama، فلا تُرسَل بياناتك لخدمة خارجية، لكن الأداء يعتمد على عتادك (الذاكرة وبطاقة الرسوميات)، والنماذج المحلية عادة أصغر وأقل قدرة من النماذج البعيدة الضخمة. قاعدة تقريبية للذاكرة: عدد المعاملات × عدد البايتات لكل معامل. نموذج بسبعة مليارات معامل بدقة 16 بت يحتاج نحو 14 جيجابايت، وبعد التكميم إلى 4 بت نحو 3.5–4 جيجابايت، مع هامش إضافي للتشغيل.
| المعيار | محلي | بعيد |
|---|---|---|
| الخصوصية | البيانات تبقى عندك | تُرسَل لمزوّد الخدمة |
| القدرة | أقل غالبًا | أعلى غالبًا |
| المتطلبات | ذاكرة ومعالج قويان | اتصال إنترنت فقط |
| التكلفة | تكلفة عتاد لمرة واحدة | اشتراك أو حدود استخدام |
| العمل دون إنترنت | ممكن | غير ممكن |
شكل 4، اختيار النموذج: قرار عملي يوازن الخصوصية والجودة والعتاد.
جرّب بنفسك
لماذا قد يعطيك السؤال نفسه إجابتين مختلفتين قليلًا؟
في الاستخدام يحسب النموذج توزيعًا على التوكنات التالية ويسحب واحدًا (ليس دائمًا الأعلى)، ثم يكرر العملية.
لماذا يخطئ النموذج أحيانًا في ضرب أرقام طويلة؟
هو متنبّئ نصي لا آلة حاسبة. خطأ «حمل» واحد في المنتصف ينتشر إلى بقية الناتج، فاستعمل أداة حسابية للأرقام.
سألت عن حدث وقع بعد تاريخ تدريب النموذج ولم تعطه أداة بحث. ما المتوقع؟
حدود المعرفة (Knowledge Cutoff) تعني أن ما بعدها غائب عنه ما لم يُزوَّد بمصدر خارجي، والغياب قد ينتج اختلاقًا.
بطاقات مراجعة سريعة
تحقق من فهمك
لماذا لا "يعرف" نموذج اللغة الأحداث التي وقعت بعد تاريخ تدريبه، رغم أنه يبدو "ذكيًا جدًا"؟
لأن معرفته بالكامل مبنية على البيانات التي تدرّب عليها حتى لحظة معيّنة؛ لا يوجد اتصال مباشر بالعالم الحالي إلا إذا زُوِّد صراحة بأداة بحث خارجية تجلب معلومات جديدة.
لماذا يخطئ النموذج في العمليات الحسابية المعقّدة رغم قدرته على شرح الرياضيات بوضوح؟
لأنه يولّد الأرقام Token تلو الآخر بنفس آلية التنبؤ اللغوي، لا بمحرّك حسابي دقيق. الشرح اللغوي للرياضيات نمط مكرّر بكثرة في بيانات التدريب فيتفوّق فيه؛ لكن تنفيذ الحساب الفعلي يعتمد على دقة كل Token رقمي، وخطأ واحد يتراكم عبر الخطوات اللاحقة.
ما الفرق بين التدريب المسبق (Pre-training) والضبط الدقيق (Fine-tuning) والتعلّم من ردود الفعل البشرية (RLHF)؟
التدريب المسبق يُعلّم النموذج التنبؤ بالكلمة التالية من نصوص ضخمة غير مُوجَّهة، يُنتج "مُكمل نصوص" ماهر لكن ليس مساعدًا. الضبط الدقيق يُدرّبه على أزواج أوامر/إجابات بشرية ليتّبع التعليمات. RLHF يُحسّنه أكثر عبر تفضيلات بشرية تُدرّب نموذج مكافآت يوجّه النموذج نحو إجابات أكثر فائدة.
اكتشف الخطأين: قال زميلك «سألتُ النموذج عن نتيجة مباراة أُقيمت أمس فأجاب بثقة، وطلبتُ منه ضرب رقمين كبيرين فأعطاني ناتجًا لا أحتاج لمراجعته لأن النماذج الكبيرة تحسب مثل الآلة الحاسبة».
الخطأ الأول: حدود المعرفة (Knowledge Cutoff)؛ النموذج لا يعرف أحداثًا بعد تدريبه إلا إذا زُوِّد بأداة بحث، وقد يخلط أو يختلق. الخطأ الثاني: النموذج يولّد الأرقام Token تلو الآخر ولا يملك محرّك حساب، فيتراكم أي خطأ في خطوة وسطى؛ تحقق بآلة حاسبة فعلية.
جهازك فيه 8 جيجابايت ذاكرة؛ هل يناسبه نموذج 13 مليار معامل بدقة 16 بت؟
لا: يحتاج نحو 26 جيجابايت. بعد تكميم 4 بت يقترب من 6.5 جيجابايت وقد يعمل بصعوبة، لكن نموذجًا أصغر أنسب.
مصادر هذا الدرس
مرتّبة بالنوع. ابدأ بالتوثيق الرسمي إذا تبي المرجع الدقيق، وبالمقال أو الفيديو إذا تبي الشرح أولًا.
فيديو2
خلّصت الدرس؟
سجّل الدخول ليُحفظ تقدّمك.