فحص 4.7 ملايين تعريف في «لين»: وكلاء الذكاء الاصطناعي يبتعدون عن عمق البراهين نحو الفجوات الصريحة

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

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

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

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

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