Kernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous Silicon
تقترح الورقة لغة توصيف رسمي تسمى "عقود النواة" (Kernel Contracts) لتحديد وقياس والتحكيم في التباينات في سلوك نواة تعلم الآلة عبر منصات الأجهزة المختلفة من خلال توفير إطار عمل معياري لتحديد أخطاء الدقة، والترتيب، والذاكرة.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك تبني ناطحة سحاب ضخمة وعالية التقنية باستخدام آلاف الروبوتات المتخصصة المختلفة. بعض الروبوتات خبراء في رص الطوب، وبعضها في تركيب الزجاج، وأخرى في تمديد الأسلاك الكهربائية.
لإتمام بناء المبنى، تفترض أن كل روبوت يتبع نفس القواعد الأساسية للفيزياء. ولكن في عالم الذكاء الاصطناعي (AI)، هذه "الروبوتات" هي في الواقع قطع صغيرة من البرمجيات تسمى النواة (kernels)، و"الفيزياء" التي تتبعها هي في الواقع الرياضيات.
المشكلة: "الكاذب الصامت"
هذا هو الجزء المرعب: في الذكاء الاصطناعي، هذه الروبوتات الرياضية هي "كاذبة صامتة".
إذا وضع روبوت البناء طوبة بالخطأ بإزاحة بوصتين إلى اليسار، فستلاحظ ذلك فوراً. ولكن إذا ارتكب روبوت رياضي في الذكاء الاصطناعي خطأً مجهرياً ضئيلاً في عملية حسابية واحدة — كأن يقوم بتقريب رقم بشكل مختلف قليلاً عما كان مفترضاً — فإن المبنى لن ينهار على الفور. بدلاً من ذلك، سيبدو ناطحة السحاب مثالية من الخارج، ولكن في أعماق أساساتها، تكون الرياضيات "غير دقيقة" قليلاً.
ومع استمرارك في البناء للأعلى والأعلى، تتراكم تلك الأخطاء الصغيرة. وفي النهاية، يبدأ المبنى بأكمله (نموذج الذكاء الاصطناعي الخاص بك) في الميل، أو تتوقف المصاعد عن العمل، أو يتصرف بطرق لا يمكن لأحد تفسيرها.
حالياً، عندما يفشل نموذج ذكاء اصطناعي، يقضي المهندسون أسابيع في الجدال: "هل كان الخطأ من روبوت NVIDIA؟ أم من روبوت AMD؟ هل تعب الروبوت الرياضي أم أنه تمت برمجته بشكل خاطئ؟" لا يوجد "كتيب قواعد" يحسم هذا الجدل.
الحل: "العقد"
تقترح هذه الورقة طريقة لوقف هذا الجدال عبر منح كل روبوت رياضي عقداً مكتوباً قبل أن يبدأ العمل فعلياً.
فكر في الأمر مثل عقد قانوني لمقاول مستقل. بدلاً من مجرد قول: "هيا، اذهب وابنِ جداراً"، يقول العقد:
- النطاق: "أنت تبني جداراً بارتفاع 10 أقدام بالضبط."
- الدقة: "يجب أن تستخدم أسمنتاً عالي الجودة، وليس النوع الرخيص."
- التفاوت المسموح: "إذا كان هناك طوبة مائلة بأكثر من شعرة، يجب عليك التنبيه. إذا كانت مائلة بسنتيمتر واحد، فقد خرقت العقد."
- العقوبة (التوقيع): "إذا فشلت، سنعرف بالضبط كيف فشلت (مثلاً: 'الجدار متذبذب للغاية' أو 'اللون خاطئ')."
العائلات الأربع لـ "الوعود المنكوثة"
تحدد الورقة أربع طرق رئيسية لـ "إخلال" هذه الروبوتات الرياضية بعقودها:
- غش الدقة (العائلة A): يعد الروبوت باستخدام حاسبة عالية القدرة ولكنه يستخدم سراً حاسبة بسيطة وتقليدية لتوفير الوقت. هذا يجعل الرياضيات "ضبابية".
- فوضى الترتيب (العائلة B): في الرياضيات، هي نفسها . ولكن في رياضيات الذكاء الاصطناعي عالية السرعة، يمكن لترتيب جمع الأرقام أن يغير الكسور العشرية الصغيرة في النهايات. هذا الروبوت يعد بنتيجة ثابتة ولكنه يعطي نتيجة مختلفة في كل مرة تطلب منه ذلك.
- ارتباك المترجم (العائلة C): هذا يشرح مثل مدير يعطي الروبوت مجموعة من التعليمات، لكن مترجم المدير قام بالخطأ بتغيير "اتجه يساراً" إلى "اتجه يميناً". الروبوت ينفذ ما أُمر به تماماً، لكن التعليمات نفسها قد تحورت.
- التعامل مع "الخطأ" (العائلة D): ماذا يحدث إذا طُلب من الروبوت القيام بشيء مستحيل، مثل "القسمة على صفر"؟ بعض الروبوتات تصرخ طلباً للمساعدة (تطلق خطأً)، وبعضها يتظاهر بأن شيئاً لم يحدث، وبعضها يكتفي بالتخمين. العقد يجبرهم على التصريح بدقة عما سيفعلونه.
لماذا يهم هذا؟
بينما نبني نماذج ذكاء اصطناعي أكبر فأكبر (مثل ChatGPT أو الجيل القادم من النماذج فائقة الذكاء)، فإننا نستخدم المزيد والمزيد من أنواع شرائح الكمبيوتر المختلفة من شركات مختلفة (NVIDIA، AMD، Intel، Apple).
بدون عقود النواة (Kernel Contracts)، نحن نبني مستقبل الذكاء على أساس من "الأكاذيب الصامتة". توفر هذه الورقة المخطط التفصيلي لـ "قسم مراقبة الجودة" للذكاء الاصطناعي، مما يضمن أنه بغض النظر عن الشريحة التي تستخدمها، فإن الرياضيات ستكون صادقة، موثقة، والأهم من ذلك، قابلة للتنبؤ.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.