«أنثروبيك» تطرح «فلاش بروف»: إثبات رياضي يمنع تبديل النماذج الذكية سراً لخفض التكاليف

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

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

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

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

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

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

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