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