الدرس 1 — أيّ رياضيات تهمّ فعلاً
سؤال «كم من الرياضيات يلزم؟» يتلقّى جوابين خاطئين. الأول: «لا شيء، المكتبات تفعل كلّ شيء». والثاني: «تحتاج شهادة في الرياضيات». الأول يخلق أشخاصاً عاجزين عن تشخيص أيّ مشكلة، والثاني يُبعد أشخاصاً كانوا سيصبحون ممارسين ممتازين.
الجواب الصحيح يتوقّف على ما تريد فعله.
مستويان مختلفان تماماً
مستوى الممارسة — تدريب نماذج على بيانات حقيقية، وتشخيص أعطابها، وتقييمها بصدق، ونشرها. هذا ما يفعله أكثر من 90 % من العاملين في المجال. ويقتضي بديهة في ثلاثة فروع، لا براهين.
مستوى البحث — اختراع معماريات جديدة، وإثبات خصائص، وقراءة الأوراق النظرية بعمق. هذا يقتضي رياضيات جامعية متينة: تحليل، جبر خطّي متقدّم، نظرية الاحتمالات القياسية، تحسين (optimization).
خطأ المبتدئ الشائع هو الاستعداد للمستوى الثاني وهو يريد الأول، فينفق ستّة أشهر على براهين ولا يدرّب نموذجاً واحداً.
إذا كان سؤالك «أيّ نموذج أستخدم ولماذا لا يعمل؟» فأنت في مستوى الممارسة. وإذا كان سؤالك «هل يتقارب هذا المحسِّن، وبأيّ سرعة؟» فأنت في مستوى البحث.
الفروع الثلاثة التي تهمّ
الجبر الخطّي — لغة التمثيل
كلّ ما يدخل نموذجاً هو أرقام مرتّبة: صورة رمادية شبكة أرقام، وصفّ في جدول قائمة أرقام، وكلمة تمثيل متّجه. والجبر الخطّي هو قواعد التعامل مع هذه البنى.
ولماذا يهمّ عملياً؟ لأنّ العمليات التي يجريها المعالج الرسومي مليارات المرّات أثناء التدريب هي حرفياً عمليات جبر خطّي. وفهمها يعني فهم أخطاء الأشكال (shape errors)، وهي أكثر أخطاء التعلّم العميق شيوعاً.
ما يلزم: المتّجه، المصفوفة، الجداء القياسي، ضرب المصفوفات، الأبعاد والأشكال، المعيار (norm). ما لا يلزم في البداية: القيم الذاتية بالتفصيل، تفكيك SVD، الفضاءات المجرّدة.
الاشتقاق — محرّك التعلّم
التدريب كلّه، كما رأينا في دورة المقدّمة, هو نزول على منحدر. والمنحدر مشتقّة.
ما يلزم: معنى المشتقّة كميل، التدرّج (gradient) كقائمة ميول، قاعدة السلسلة كفكرة (لأنّها أساس الانتشار العكسي)، ومعنى النهاية الصغرى. ما لا يلزم: حساب مشتقّات معقّدة يدوياً — المكتبات تفعل ذلك تلقائياً — ولا التكامل المتقدّم.
الاحتمالات — لغة عدم اليقين
النموذج لا يقول «نعم»، بل «باحتمال 0.83». وقراءة هذا الرقم قراءة صحيحة هي فرق بين استخدام سليم واستخدام كارثي.
ما يلزم: الاحتمال، التوزيع، المتوسّط والتباين، الاحتمال الشرطي وبديهة بايز، ومعنى العيّنة الممثِّلة. ما لا يلزم في البداية: نظرية القياس، والإحصاء البايزي الم تقدّم.
ما يمكن تجاهله بضمير مرتاح
قائمة قصيرة تريح كثيرين:
- الهندسة الإقليدية بالمعنى المدرسي: لا دور لها.
- المتطابقات المثلّثية: لا تظهر تقريباً.
- حلّ المعادلات التفاضلية يدوياً: لا.
- إثبات نظريات: مفيد ذهنياً، غير ضروري عملياً.
- الحساب اليدوي السريع: الحاسوب يحسب.
الترتيب الأفضل للتعلّم
الترتيب المدرسي (كلّ الجبر، ثم كلّ التحليل، ثم كلّ الاحتمالات) هو الأسوأ للتعلّم الذاتي، لأنّه يفصل المفهوم عن استخدامه فيُنسى.
الترتيب الفعّال هو الحاجة أوّلاً: درّب نموذجاً بسيطاً، اصطدم بمشكلة، تعلّم المفهوم الذي يفسّرها، ثم عد إلى الكود. هذا يعطي كلّ مفهوم مرساةً في تجربة.
المعيار ليس القدرة على الحساب، بل القدرة على الشرح بلا رموز. إذا استطعت أن تشرح لصديق غير تقني لماذا يجعل معدّل تعلّم كبير جدّاً التدريب يتذبذب، فقد فهمت المشتقّة بما يكفي.
ما تفعله الرياضيات لك عملياً
ثلاثة مواقف يتحوّل فيها الفهم الرياضي إلى وقت موفَّر:
- النموذج لا يتعلّم: الكلفة لا تنزل. الفهم يوجّهك إلى معدّل التعلّم، أو إلى تقييس السمات، أو إلى تدرّجات تتلاشى — لا إلى تجربة عشوائية لأربعين إعداداً.
- النموذج ممتاز ثم يفشل: فهم التوزيع والعيّنة يفسّر لك أنّ بيانات الإ نتاج ليست من التوزيع نفسه.
- الرقم مبهر ولا قيمة له: فهم الاحتمالات وعدم التوازن يكشف أنّ دقّة 99 % على بيانات فيها 1 % احتيال تعني صفراً.
في ثلاث جمل
لمستوى الممارسة تحتاج إلى بديهة في ثلاثة فروع فقط: الجبر الخطّي كلغة تمثيل، والاشتقاق كمحرّك للتدريب، والاحتمالات كلغة لعدم اليقين. ومستوى البحث مختلف تماماً ويقتضي رياضيات جامعية متينة، والخطأ الشائع هو الاستعداد له بلا حاجة. والترتيب الفعّال هو تعلّم المفهوم عند الحاجة إليه في الكود، لا قبله.
التالي — الدرس 2: الجبر الخطّي ←