وداعاً C++: الذكاء الاصطناعي سيعيد كتابة الأكوار الحرجة بلغة Rust الآمنة

يقف عالم تكنولوجيا المعلومات الرقمية لا يزال على عكازات تم بناؤها في القرن الماضي. جزء ضخم من البنية التحتية الحرجة — من الأنظمة المصرفية إلى قواعد البيانات الحكومية — مكتوب باستخدام لغات C و C++. تمنح هذه اللغات المبرمجين قوة هائلة على ذاكرة الكمبيوتر، لكن، كما نعلم، السلطة الكبيرة تجلب أخطاء هائلة. حوالي 70 في المئة من جميع نقاط الضعف في البرامج الحديثة ترتبط بالتعامل غير السليم مع الذاكرة. هذه هي الثقوب التي تسلل الهاكرز من خلالها إلى الأنظمة المحمية لعقود من الزمن. في السابق، لم تكن لدينا طريقة للخروج: إعادة كتابة ملايين الأسطر من الكود القديم يدويًا كانت مكلفة جدًا وطويلة جدًا وممله فحسب للمهندسين المؤهلين.

تغيرت الحالة مع ظهور Rust. هذه لغة البرمجة، التي تم إطلاقها في عام 2015، تعد بنفس الأداء التي يقدمها C++، لكن مع "آليات الحماية" المدمجة التي تمنع فعليًا الأخطاء القاتلة عند التعامل مع الذاكرة. المشكلة أن Rust هي لغة معقدة، والخبراء بها أقل بكثير من عشاق البرمجة الكلاسيكية. وهنا يدخل الذكاء الاصطناعي على الساحة. مبادرة جديدة تسمى Great Refactor تقترح استخدام الشبكات العصبية لتنظيف أخيرًا هذه أسطبلات أوجيان من الكود القديم. الفكرة بسيطة: إذا لم يرغب الناس أو لم يتمكنوا من إعادة كتابة الإنترنت بطريقة آمنة، فليسمحوا للآلات بفعل ذلك.

أطلق معهد التقدم (Institute for Progress) مشروعًا بهدف تحويل 100 مليون سطر من الكود المفتوح إلى Rust بحلول عام 2030. يطلبون لهذا ما لا يقل عن 100 مليون دولار. قد يبدو المبلغ مثيرًا للإعجاب، لكن مدير المشروع هيربي برادلي من كامبريدج يضع كل شيء في نصابه بسرعة. وفقًا لحساباته، ستساعد هذه الاستثمارات في منع الهجمات الإلكترونية بإجمالي أضرار حوالي 2 مليار دولار. هذا ليس فقط عملية توفير، بل هو مسألة بقاء النظام البيئي الرقمي الذي يصبح هشًا بشكل متزايد تحت هجوم أدوات القرصنة الآلية.

من الناحية التقنية، لا تبدو المهمة خيالية كما كانت قبل بضع سنوات. تتعامل نماذج LLM الحديثة بشكل جيد مع ترجمة قطع صغيرة من الكود حتى 1000 سطر تقريبًا بدون إشراف. مع قليل من الإشراف البشري، تستطيع الشبكات العصبية بالفعل "معالجة" المشاريع حتى 5000 سطر. الصعوبة الرئيسية هنا ليست فقط جعل الكود يعمل. من المهم أن يكون "أسلوبيًا". في لغة المبرمجين، هذا يعني أن الكود يجب أن يبدو كما لو كتبه خبير حقيقي بـ Rust، متبعًا جميع أفضل الممارسات والتقاليد. إذا أنتجت الذكاء الاصطناعي عجينة غير مقروءة يستحيل الحفاظ عليها، فإن كل معنى إعادة الهيكلة يضيع.

دخلت وكالة الدفاع DARPA أيضًا اللعبة ببرنامجها TRACTOR. يستكشفون منهجًا هجينًا: دمج التحليل الثابت للكود الكلاسيكي، المصقول عبر العقود، مع نماذج التوليد الحديثة. هذا منطقي، لأن الشبكات العصبية عرضة للهلوسة، وفي مسائل أمان البرامج الحرجة، فإن سعر الخطأ ليس فقط موقعًا إلكترونيًا معطلاً، بل قد يكون انهيارًا محتملاً لأنظمة دعم الحياة. حتى الآن، تظهر نتائج الاختبارات الأولية أن الذكاء الاصطناعي يمكن أن يكون متدربًا ممتازًا، لكن دور المهندس الرئيسي لا يزال من نصيب البشر.

هناك أيضًا رأي متشكك. يخشى المطورون ذوو الخبرة من أن الهجرة الجماعية للكود إلى Rust ستخلق نقصًا في المتخصصين للحفاظ عليها. خبراء Rust قليلون، وإذا حصلنا فجأة على ملايين الأسطر الجديدة من الكود بهذه اللغة، من سيراقب ملاءمتها بعد خمس سنوات؟ علاوة على ذلك، التمويل الحكومي على هذا النطاق أمر ثقيل الحركة. ربما يتعين على القطاع الخاص أن يأخذ المبادرة بيده، خاصة وأن عمالقة التكنولوجيا مثل Google و Microsoft بدأوا بالفعل بتحويل مكوناتهم الرئيسية إلى Rust بمفردهم. مشروع Great Refactor، من ناحية أخرى، يستهدف "الذيل الطويل" من المكتبات الصغيرة التي يتم الحفاظ عليها من قبل زوج من المتطوعين والتي تشكل نقطة الأساس لنصف برامج العالم.

الملخص: هل ستكون الذكاء الاصطناعي هذا "السيف الفضي" الذي يقتل نقاط ضعف الذاكرة، أم أننا سنستبدل الأخطاء القديمة ببساطة بأخطاء جديدة تولدها الشبكات العصبية?