مهمة أي نموذج توليدي، مُجرَّدة من مخططات البُنية المعمارية، هي دائماً مسألة الإحصاء الأساسية نفسها: تعلّم التوزيع الاحتمالي الذي استُخلصت منه البيانات الحقيقية، بدقة كافية بحيث يمكنك سحب عينة جديدة منه تبدو وكأنها جاءت من المكان نفسه. تحلّ نماذج GAN وVAE والانتشار جميعها تلك المسألة نفسها — إنها فقط تسلك طرقاً رياضية مختلفة تماماً للوصول إلى هناك.
ثلاثة طرق مختلفة للهدف نفسه: تعلّم توزيع على بيانات حقيقية، ثم أخذ عينة نقطة جديدة منه.
GAN: تحويل التوليد إلى منافسة
تتجنّب الشبكة التوليدية التنافسية (GAN) مسألة التوزيع الاحتمالي بالكامل تقريباً، بتحويل التوليد إلى لعبة بين لاعبين. تحوّل شبكة مولِّدة ضوضاء عشوائية إلى عينة مزيّفة؛ وتُدرَّب شبكة مميِّزة على التفريق بين العينات الحقيقية والمزيّفة. تُدرَّب المولِّدة على خداع المميِّزة؛ وتُدرَّب المميِّزة على عدم الانخداع. رسمياً، إنها لعبة ميني-ماكس على دالة قيمة، والنقطة الثابتة النظرية — حيث تُطابق المولِّدة توزيع البيانات الحقيقية تماماً ولا يمكن للمميِّزة إلا التخمين بنسبة 50/50 — هي توازن ناش.
عملياً، يصعب الوصول إلى ذلك التوازن بموثوقية. يمكن أن يتذبذب التدريب بدلاً من أن يتقارب، وهناك نمط فشل معروف يُسمى انهيار الأنماط يحدث عندما تجد المولِّدة حفنة صغيرة من المخرجات تخدع المميِّزة الحالية بموثوقية وتتوقف عن الاستكشاف أكثر — تخدع اللعبة تقنياً، بينما تُمثِّل التنوع الفعلي للتوزيع الحقيقي تمثيلاً ناقصاً بشدة.
VAE: نموذج احتمالي صادق، مُقرَّب
يسلك المُرمِّز التلقائي التغايري (VAE) الطريق الأكثر مباشرة: يفترض أن كل نقطة بيانات تُولَّد من متغير كامن مخفي z، ويحاول تعلّم تلك العملية التوليدية بشكل صحيح. المشكلة أن حساب التوزيع اللاحق الحقيقي على z بالنظر إلى نقطة بيانات مُشاهَدة يتعذّر حسابه لأي شيء أكثر تعقيداً من أبسط النماذج. إجابة VAE هي تدريب شبكة ثانية لتقريب ذلك التوزيع اللاحق، وبدلاً من تعظيم احتمالية البيانات مباشرةً (وهو ما لا تستطيعه)، تُعظِّم حدّاً أدنى قابلاً للإثبات لها — الحدّ الأدنى للدليل (ELBO) — الذي ينقسم بوضوح إلى حدّ إعادة بناء وحدّ تباعد KL يُبقي الفضاء الكامن المُتعلَّم قريباً من توزيع سابق بسيط وحسن السلوك.
حدّ KL ذاك هو ما يجعل الفضاء الكامن مفيداً حقاً: يُبقي الأشياء المتشابهة قريبة من بعضها ويمنع النموذج من مجرد حفظ نقاط معزولة، وهو سبب دعم فضاءات VAE الكامنة للاستيفاء السلس بين مُدخلين مختلفين تماماً، وهي إحدى أكثر خصائص الطريقة فائدة.
نماذج الانتشار: التوليد كعملية تراجع مُتحكَّم بها
يسلك نموذج الانتشار طريقاً ثالثاً مختلفاً تماماً. العملية الأمامية ثابتة ولا تتطلب أي تدريب على الإطلاق: خذ صورة حقيقية وأضف كمية صغيرة من ضوضاء غاوسية، مرات عديدة، حتى لا يتبقى شيء يمكن التعرّف عليه. الشيء الوحيد الذي يُتعلَّم فعلياً هو العملية العكسية — شبكة مُدرَّبة على التنبؤ، في كل خطوة، بالضوضاء التي أُضيفت للتو، بحيث يمكن طرحها مرة أخرى. شغّل تلك العملية العكسية المُتعلَّمة بدءاً من ضوضاء عشوائية خالصة، وستُولِّد عينة جديدة تماماً.
العملية الأمامية ثابتة ولا تحتاج إلى تدريب. الشيء الوحيد الذي يتعلمه نموذج الانتشار فعلياً هو كيفية تشغيلها بشكل عكسي.
يرتبط هذا مباشرةً بحساب التفاضل والتكامل العشوائي: عملية إضافة الضوضاء الأمامية هي معادلة تفاضلية عشوائية، وتتعلم الشبكة فعلياً دالة الدرجة اللازمة لتشغيل النسخة العكسية-الزمنية من تلك المعادلة. إنه هدف تدريب أكثر استقراراً بكثير من لعبة GAN التنافسية — لا شبكتان تتقاتلان، فقط شبكة واحدة تتعلم التنبؤ بالضوضاء — وهو السبب الرئيسي وراء أن نماذج الانتشار أصبحت النهج المهيمن لتوليد الصور.
النمط الذي يستحق التذكر عبر الثلاثة جميعاً: يتجنّب GAN نمذجة التوزيع مباشرةً ويستخدم منافسة بدلاً من ذلك؛ يُنمذجه VAE بصدق لكن عليه تقريب خطوة يتعذّر حسابها؛ ويحوّل نموذج الانتشار التوليد إلى تنبؤات إزالة ضوضاء صغيرة وسهلة كثيرة بدلاً من واحدة صعبة.
ما لا يزال مفتوحاً حقاً
ثلاثة أسئلة في هذا المجال ليس لها إجابات محسومة بعد، حتى على مستوى البحث. التقييم أصعب مما يبدو — لا يوجد رقم واحد يلتقط بموثوقية ما إذا كانت عينة مُولَّدة جيدة فعلياً؛ تُقارن مقاييس قياسية مثل FID إحصائيات تمثيلات ميزات مُتعلَّمة، لا حكماً بشرياً حقيقياً، ومن المعروف أنها قابلة للتلاعب. قابلية التحكم — التوجيه الموثوق لما يُولِّده النموذج عبر مُوجِّه أو إشارة اشتراط، بدلاً من التأثير عليه بشكل عام — لا تزال مجال بحث نشط بدلاً من مسألة هندسية محسومة. وأعمق سؤال مفتوح يتعلق بـالحدود النظرية: ما إذا كانت هذه النماذج قادرة على تعميم حقيقي يتجاوز توزيع تدريبها، أو ما إذا كان ما يبدو جِدَّة هو استيفاء مُتطوِّر ضمنه — سؤال حول القدرات الأساسية للنماذج، وليس تنفيذها الحالي فقط.
لا شيء من هذا سبب لمعاملة المجال على أنه غير صارم — بل العكس تماماً. معرفة أين توجد الأسئلة المفتوحة بالضبط هو ما يُميِّز الفهم الحقيقي للذكاء الاصطناعي التوليدي عن مجرد القدرة على استخدام الأدوات دون معرفة كيفية عملها. إذا كانت دراسة الأسس الرياضية للذكاء الاصطناعي في الدراسات العليا هي وجهتك أو وجهة طالبك، فهذا بالضبط العمق الذي نُدرِّس عنده — انظر تدريسنا للذكاء الاصطناعي في الدراسات العليا أو مسار التعلم الكامل هنا.
أسئلة شائعة
لماذا حلّت نماذج الانتشار محل GAN إلى حدّ كبير في توليد الصور؟
غالباً بسبب استقرار التدريب. نموذج GAN هو لعبة تنافسية بين شبكتين دون ضمان أن تستقر — يمكن أن تتذبذب أو تنهار إلى إنتاج حفنة صغيرة فقط من المخرجات (انهيار الأنماط). يُدرِّب نموذج الانتشار شبكة واحدة مقابل هدف إزالة ضوضاء ثابت وحسن السلوك، وهو أكثر موثوقية للتحسين بكثير، مقابل الحاجة إلى خطوات كثيرة لتوليد عينة واحدة.
ماذا تعني "التغايرية" فعلياً في المُرمِّز التلقائي التغايري (VAE)؟
تشير إلى الاستدلال التغايري — تقنية لتقريب توزيع احتمالي معقد جداً بحيث يتعذّر حسابه بدقة. لا يستطيع نموذج VAE حساب التوزيع اللاحق الحقيقي على الرموز الكامنة لمُدخل معين مباشرةً، لذا يُدرِّب شبكة ثانية لتقريب ذلك التوزيع، ويُحسِّن حدّاً أدنى قابلاً للإثبات لاحتمالية البيانات (ELBO) بدلاً من الاحتمالية نفسها.
هل يمكن للنماذج التوليدية أن تُنشئ شيئاً جديداً حقاً، أم أنها فقط تُعيد تركيب بيانات التدريب؟
هذا سؤال بحثي مفتوح حقاً، وليس محسوماً. تتعلم هذه النماذج توزيعاً احتمالياً على بيانات تدريبها وتأخذ عينات منه — مما قد يُنتج تركيبات لم تُشاهَد من قبل، لكن التوزيع نفسه مُشكَّل بالكامل بما دُرِّب عليه. ما إذا كان هذا يُشكِّل جِدَّة حقيقية أو استيفاءً بالغ التطور أمر مُختلَف عليه، والإجابة الصادقة أنها تعتمد على تعريف "الجديد" الذي أنت مستعد لقبوله.

عن الكاتب
Sudershan Soni
المؤسس والمدرّس الرئيسي في موستاك — مدرّس رياضيات وعلوم وعلوم حاسوب و STEM حاصل على الماجستير بخبرة تتجاوز 20 عاماً، يدرّس الطلاب من اختبار +11 و GCSE حتى A-Level وما بعده، عبر الإنترنت حول العالم.
اقرأ الملف الكامل