أطلقت Anthropic، الشركة المطوّرة لـ Claude، أداة FlashProve التي تمنح العملاء إيصالًا رقميًا يثبت أن إجابة الذكاء الاصطناعي صادرة عن النموذج الذي دفعوا مقابله.
أهم النقاط
كشفت Anthropic عن FlashProve، الذي يمكنه إنشاء براهين تشفيرية بسرعة تقارب 110 رموز في الثانية على وحدة H100 واحدة
أنشأ FlashProve براهين لطلب مكوّن من 1,024 رمزًا، بحجم برهان يقارب 19 ميغابايت
يستهلك FlashProve وقتًا على وحدة GPU يزيد بنحو 70 إلى 95 مرة عن تشغيل النموذج نفسه باستخدام vLLM
يُصدر FlashProve الإجابة وبرهانًا موجزًا مرتبطًا بالنموذج المُثبَت، ويمكن لجهة التحقق فحصه بسرعة أكبر من إعادة تشغيل النموذج كاملًا
نشر جورجيوس كونستانتوبولوس مقالًا عن هذا العمل. تطوّر Anthropic عائلة نماذج Claude، وقد عرضت أبحاثها أرقام الأداء وتصميم النظام.
الاستدلال القابل للإثبات يستهدف مشكلة الموجّه الخفي: «صادر عن النموذج»
قالت Anthropic إن المستخدمين لا يزالون عاجزين عن التحقق بسهولة مما إذا كانت إجابة ما صادرة عن النموذج المذكور، أو عن بديل أرخص، أو عن تدفّق رموز جرى العبث به. ويعالج نظامها للاستدلال القابل للإثبات ذلك من خلال إلزام مزوّد النموذج بالتعهّد باستخدام نموذج محدد، ثم تقديم إثبات تشفيري على أن الاستجابة صادرة عن النموذج ذي الأوزان التي التزم بها.
يركّز البحث على zkSNARKs، وهو نظام إثبات يتيح لطرف أن يثبت صحة إجراء عملية حسابية من دون كشف جميع البيانات الأساسية. وفي هذه الحالة، يؤكد الاستدلال القابل للإثبات أن النص قد وُلّد بواسطة نموذج محدد ذي أوزان محددة.
قالت Anthropic إن FlashProve أنشأ إثباتات لطلب من 1,024 رمزًا بحجم إثبات يقارب 19 ميغابايت. وأضافت الشركة أن وحدة H100 واحدة يمكنها إنشاء هذه الإثباتات لنموذج Llama 4 Maverick، وهو نموذج مزيج خبراء يضم 400 مليار مُعامل، بسرعة تقارب 110 رموز في الثانية.
اقرأ أيضًا: Anthropic تدفع لأستاذة جامعيين لاختبار Claude في مسارها نحو التوظيف
مكاسب السرعة لا تزال تأتي بتكلفة
لا تزال هذه الأرقام تنطوي على كلفة باهظة.
يستهلك FlashProve وقتًا على وحدات GPU يعادل نحو 70 إلى 95 ضعفًا مقارنة بتشغيل النموذج نفسه على vLLM، محرّك الاستدلال مفتوح المصدر الذي يستخدمه كثير من المطورين في بيئات الإنتاج. وهذا يعني أن الاستدلال القابل للإثبات ليس خيارًا افتراضيًا قريبًا لكل حركة مرور روبوتات الدردشة، بل هو خيار لأعباء العمل التي تتطلب مستوى عالٍ من الثقة، وعقود المؤسسات، والأنظمة الخاضعة للتنظيم، وخدمات الذكاء الاصطناعي الحساسة أمنيًا، حيث لا تقل أهمية هوية النموذج عن السرعة.
قدّمت Anthropic هذا العمل بوصفه جزءًا من مجموعة أوسع لأدوات الامتثال والسلامة، قائلةً إنه إذا واجهت مختبرات الذكاء الاصطناعي قواعد تحدد الأنظمة التي يمكنها خدمة مستخدمين بعينهم، فإن إثبات الاستدلال يمنح المدققين ما هو أكثر من وعد على لوحة معلومات، إذ يوفر إيصالًا تشفيريًا يثبت أن المخرجات صادرة عن النموذج الذي التزم به المزوّد.
من واجهات برمجة التطبيقات القائمة على «ثق بي» إلى مخرجات قابلة للتحقق
أصبح توزيع الذكاء الاصطناعي أكثر تعددًا للطبقات؛ فكثيرًا ما تصل المؤسسات إلى النماذج عبر البوابات والوسطاء وطبقات التنسيق بدلًا من الاتصال مباشرة بنقطة نهاية المختبر، ما يسهّل استبدال النماذج لأسباب تتعلق بضبط التكاليف أو زمن الاستجابة أو بفعل المهاجمين. وقد أمضت Anthropic هذه الدورة في إضافة مزايا مؤسسية وأمنية إلى Claude.
ينقل بحث يوم الثلاثاء هذا الجهد إلى طبقة أدنى: من تحديد من يمكنه استدعاء نموذج إلى التحقق مما إذا كان من الممكن إثبات مصدر المخرجات بعد وقوع الأمر. وهناك أيضًا جانب متعلق بالعملات المشفرة. فقد نشأت zkSNARKs من العائلة التقنية نفسها التي تشغّل أنظمة بلوكتشين المحافظة على الخصوصية، وتطبّق Anthropic هذه التقنية على استدلال الذكاء الاصطناعي بدلًا من التحويلات على السلسلة.
كيف يغيّر FlashProve سجل تدقيق الذكاء الاصطناعي
يقع FlashProve بين الاستدلال الاعتيادي والتحقق الرسمي.
يرسل العميل مطالبة، ويشغّل النموذج، ثم يصدر النظام الإجابة وإثباتًا موجزًا مرتبطًا بالنموذج الذي تم التعهّد به. وبعد ذلك، يستطيع مدقّق التحقق من الإثبات بسرعة أكبر بكثير من إعادة تشغيل النموذج كاملًا، مؤكدًا أن الاستجابة صادرة عن النموذج، من دون أن يضطر كل عميل إلى استضافة نموذج ضخم.
بالنسبة إلى مشتري الخدمات السحابية، تبرز أهمية الاستدلال القابل للإثبات عندما لا تكون Anthropic الطرف الوحيد في مسار الطلب. فقد يهتم بنك يستخدم Claude عبر وسيط، أو فريق حكومي يعتمد على بوابة داخلية، أقل بأسلوب الإجابة وأكثر بما إذا كان النموذج المذكور قد عالج الطلب فعلًا. ويمنح FlashProve هؤلاء المشترين وسيلة تقنية لاختبار هذا الادعاء، وإن ظلت التكلفة العائق الأساسي أمام انتشار أوسع.
اقرأ التالي: Anthropic تحصد 23.5 مليار دولار نقدًا قبل طرحها العام الأولي