Anthropic تنشر FlashProve، نموذجًا بحثيًا يثبت أن الرد جاء من النموذج المطلوب فعلًا

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

وعلى هذه المشكلة نشرت Anthropic في 2 نوفمبر 2026 عملًا بحثيًا عن الاستدلال القابل للإثبات، ومعه نموذج أولي مفتوح المصدر باسم FlashProve برخصة Apache 2.0.

وتعمل الطريقة على مرحلتين. في المرحلة الأولى، وهي خارج وقت التشغيل، ينشر صاحب النموذج commitment قصيرًا على الأوزان، أي بصمة رياضية تلزمه بأوزان محددة دون أن تكشفها. وفي المرحلة الثانية، مع كل طلب، يُنتج ملف proof يثبت أن النموذج المرتبط بهذا الـ commitment هو الذي أنتج هذه التوكنات بعينها. ويستطيع أي شخص يملك الـ commitment والسؤال والرد أن يتحقق بنفسه. والإثبات من نوع zkSNARK مبني بدوال hash، ولذلك يصفه البحث بأنه مقاوم للحوسبة الكمية.

وأُجري القياس على نموذج Llama 4 Maverick باستخدام بطاقة H100 واحدة. ويتناسب عمل المُثبِت مع 17B بارامتر نشطة لكل توكن، لا مع الحجم الكامل البالغ 400B. والتحقق رخيص، إذ يستغرق نحو 17 ثانية على CPU، ويُحمّل الـ commitment مرة واحدة بحجم 6.5 ميجابايت.

لكن التكلفة كلها في الجهة الأخرى. فتوليد الـ proof يكلف ما بين 70 و95 مرة قدر التشغيل العادي، وحجمه نحو 19 ميجابايت لكل طلب، والسياق محدود بـ 1024 توكن فقط.

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