Escaping the Quicksand: A Call to Arms
لمعالجة المخاطر المتصاعدة للديون التقنية التي تفاقمت بسبب التطوير المدفوع بالذكاء الاصطناعي، تدعو الورقة البحثية إلى تحول براغماتي من المواصفات القائمة حصرياً على النثر إلى مزيج مرن من الاختبارات، والمواصفات القابلة للتنفيذ، والبراهين الصورية، مدعومة ببنية تحتية دلالية جديدة لإنشاء حلقات تغذية راجعة أكثر فعالية لكل من المهندسين البشر ومهندسي الذكاء الاصطناعي.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل عالماً تُبنى فيه الآلات غير المرئية للحياة الحديثة — بنوكنا، ومستشفياتنا، وشبكات الطاقة، وشبكات الاتصالات — على أساس يغوص ببطء في الرمال. هذا هو الواقع الذي يواجه صناعة الحوسبة اليوم. لعقود من الزمن، كانت الطريقة القياسية لبناء البرمجيات هي كتابة وصف تقريبي لما ينبغي للبرنامج أن يفعله، ثم كتابة الكود، وأخيراً اختباره عبر تشغيله مع مدخلات متنوعة لمعرفة ما إذا كان سيتعطل. هذه الطريقة، المعروفة باسم التطوير القائم على "الاختبار وتصحيح الأخطاء"، سمحت للتكنولوجيا بالازدهار، لكنها تترك الأنظمة مليئة بالعيوب الخفية. ولأن الأوصاف الأصلية غالباً ما تكون غامضة ومكتوبة بلغة عادية، فلا يمكن للآلات التحقق منها، ولأن الاختبار لا يمكنه تغطية سوى جزء ضئيل من المليارات من الطرق الممكنة التي قد يتصرف بها البرنامج، فإن العديد من الأخطاء تتسلل عبر الفجوات. ومع بدء الذكاء الاصطناعي في كتابة المزيد من الكود، يهدد هذا المسار بتسريع هذه الدورة، مما يخلق أنظمة جديدة هائلة التعقيد والهشاشة، مبنية على "رمال متحركة" من خيارات تصميم تعود لعقود مضت، عندما كانت الهجمات السيبرانية نادرة وقدرة الحوسبة شحيحة.
يجادل باحثان، وهما بيتر سيويل من جامعة كامبريدج وجان بيشون-فارابود من جامعة آروس، بأن الصناعة عالقة في حلقة خطيرة منذ خمسة وسبعين عاماً. ويلاحظان أنه بينما أصبحنا مَهَرة للغاية في كتابة الكود، فقد أهملنا التعريفات الدقيقة لما ينبغي لهذا الكود أن يحققه. يعتمد النهج الحالي على المواصفات النثرية — وهي فقرات نصية تصف سلوك النظام. وبينما يسهل على البشر قراءة هذه الفقرات، إلا أنها بطبيعتها غامضة وغير مكتملة. قد يفسر القارئ البشري جملة ما بطريقة، بينما يفسرها جهاز أو إنسان آخر بطريقة مختلفة. ولأن هذه الأوصاف لا يمكن اختبارها مباشرة بواسطة الكمبيوتر، يضطر المطورون إلى التخمين بشأن السلوك الصحيح، وغالباً ما يعودون إلى فحوصات بسيطة مثل "هل يتوقف البرنامج عن العمل؟" بدلاً من التحقق مما إذا كان البرنامج يقوم بالفعل بالشيء الصحيح. وتخلق هذه الفجوة بين النية المكتوبة والكود الفعلي كمية هائلة من "الدين التقني"، وهو تكلفة خفية تتجلى في الثغرات الأمنية وفشل الأنظمة التي يمكن للمهاجمين استغلالها.
يقترح المؤلفان أن الحل ليس في التخلي عن الاختبار، بل في تغيير كيفية استخدام المواصفات. فبدلاً من كتابة فقرات غامضة، يقترحان إنشاء مواصفات قابلة للتنفيذ، بمعنى أنها مكتوبة بصيغة يمكن للكمبيوتر تشغيلها. تخيل مواصفات تعمل كحكم حي أثناء عملية التطوير. فبينما يتم كتابة الكود أو توليده، تعمل هذه المواصفات القابلة للتنفيذ جنباً إلى جنب معه، لتتحقق فوراً مما إذا كان سلوك الكود يطابق القواعد المقصودة. إذا حاول الكود القيام بشيء تحظره المواصفات، سيقوم النظام بالتنبيه فوراً. وهذا يخلق حلقة تغذية راجعة أكثر إحكاماً، مما يسم يسمح للمطورين بالإمساك بالأخطاء أثناء حدوثها بدلاً من الانتظار لأسابيع. يمكن تطبيق هذا النهج بطرق مختلفة: يمكن للمرء أن يبدأ بالكود ويكتب مواصفات لتطابقه، أو يبدأ بالمواصفات ويولد كوداً يناسبها، أو يبني كليهما معاً. المفتاح هو أن المواصفات ليست مجرد وثيقة للقراءة، بل هي أداة للاستخدام.
ومع ذلك، يقر الباحثان أن هذا ليس مجرد مفتاح بسيط يمكن تبديله. فمن أجل جعل هذا يعمل على نطاق واسع، تحتاج مجتمع الحوسبة إلى بناء طبقة جديدة من البنية التحتية. حالياً، لا توجد تعريفات مقبولة عالمياً وقابلة للقراءة آلياً لسلوك العديد من التقنيات الأساسية، مثل لغة البرمجة C، ولغة Rust، أو التعليمات التي تشغل رقائق الكمبيوتر. وبينما نجح بعض الباحثين في إنشاء هذه التعريفات لأجزاء محددة من النظام، لا يوجد إطار عمل موحد يربط بينهم جميعاً. ويشير المؤلفان إلى أن بناء هذه البنية التحتية هو تحدٍ يتعلق بالحجم والتعاون؛ فهو يتطلب جهداً منسقاً هائلاً من الجامعات والحكومات وشركات التكنولوجيا لإنشاء وصحة وصيانة هذه التعريفات الدقيقة لكامل طبقات تكنولوجيا الحوسبة، من الأجهزة (Hardware) وصولاً إلى الخدمات السحابية.
كما يتناول البحث دور الذكاء الاصطناعي. ويحذر المؤلفان من أن مجرد استخدام الذكاء الاصطناعي لكتابة المزيد من الكود دون هذه الحلقات الأفضل للتغذية الراجعة لن يؤدي إلا إلى تفاقم المشكلة. يمكن للذكاء الاصطناعي توليد الكود بسرعة أكبر من البشر، ولكن إذا بُني هذا الكود على أسس مهتزة واختُبر فقط بالطرق القديمة غير الفعالة، فإنه سيقوم ببساطة بإنشاء أنظمة أكبر ذات أخطاء خفية أكثر. وعلى العكس من ذلك، إذا استُخدم الذكاء الاصطناعي للمساعدة في توليد وفحص هذه المواصفات القابلة للتنفيذ، فقد يصبح أداة قوية لتحسين جودة البرمجيات. ويتصور المؤلفان مستقبلاً يساعد فيه الذكاء الاصطناعي في إنشاء مواصفات صارمة، حيث تُستخدم تلك المواصفات للتحقق من صحة كل من الكود المكتوب بشرياً والكود المولد بواسطة الذكاء الاصطناعي. وهذا سيسمح بزيادة تدريجية في الثقة، بدءاً من الاختبارات البسيطة وصولاً إلى البراهń الرياضية الأكثر تعقيداً لصحة الكود، وكل ذلك دون مطالبة كل مطور بأن يصبح عالم رياضيات.
وعلى الرغم من المسار الواضح للمضي قدماً، يجادل المؤلفان بأن الصناعة قد تعطلت بسبب عدم التوافق في الحوافز. فشركات التكنولوجيا مدفوعة بإصدار المنتجات بسرعة للاستحواذ على حصة في السوق، بينما تقع مخاطر الفشل في الغالب على عاتق المجتمع والمستخدمين النهائيين. إن بناء البنية التحتية القوية اللازمة لمنع هذه الإخفاقات أمر مكلف ويستغرق وقتاً طويلاً، ولا ترغب شركة واحدة في تحمل التكلفة الكاملة لإصلاح المشكلات التي تؤثر على الجميع. ويدعو الباحثون إلى جهد جماعي، يشبه المشاريع واسعة النطاق التي نشهدها في الفيزياء أو البيولوجيا، لتمويل وتنسيق إنشاء هذه البنية التحتية الدلالية. ويقترحون أنه بينما التكلفة كبيرة، إلا أنها تمثل جزءاً ضئيلاً من الإنفاق الحالي على الذكاء الاصطناعي، وهي ضرورية لتأمين مستقبل الحوسبة. وبدون هذا التحول، ستظل الصناعة محاصرة في دورة بناء أنظمة تزداد تعقيداً على أسس ضعيفة جداً لدعمها، مما يترك المجتمع عرضة لمخاطر مستمرة.
يختتم المؤلفان بأن الأدوات والأساليب لحل هذه المشكلة موجودة بالفعل. لقد أثبت الباحثون بنجاح كيفية تعريف سلوك الأنظمة المعقدة والتحقق منها بثقة عالية. ما ينقص هو الإرادة لجلب هذه الأساليب إلى الممارسة اليومية وبناء البنية التحتية المشتركة التي تجعلها متاحة للجميع. وتعد الورقة بمثابة دعوة للعمل لمجتمع البحث، وقادة الصناعة، ووكالات التمويل للتعاون في هذه المهمة. ومن خلال الانتقال من الأوصاف الغامضة إلى المواصفات الدقيقة والقابلة للتنفيذ، يمكن لعالم الحوسبة الهروب من رمال "الدين التقني" المتحركة وبناء مستقبل ليس أكثر ابتكاراً فحسب، بل هو أيضاً أكثر أماناً وموثوقية بشكل جوهري.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.