العودة إلى المجموعةFlashProve يتيح التحقق من هوية النموذج بكلفة مرتفعة
يفحص نموذج Anthropic البحثي المفتوح الحسابات مقابل أوزان محددة مسبقًا؛ ولا يثبت صحة الإجابة.
أطلقت Anthropic في 2 نوفمبر FlashProve، وهو نموذج بحثي مفتوح المصدر يسمح للمتحقق بفحص مطابقة المخرجات لأوزان نموذج ملتزم بها مسبقًا، من دون الحصول على تلك الأوزان. وتبلغ النتيجة المعلنة لاختبار Llama 4 Maverick نحو 110 رموز مثبتة في الثانية على معالج H100 واحد، لكنها تتطلب وقتًا للمعالجة الرسومية يعادل نحو 70–95 ضعف الاستدلال المعتاد. وبذلك يصبح استبدال النموذج أسهل كشفًا، لا التحقق بلا كلفة.
يتعلق الضمان الحالي بنموذج ذي حسابات صحيحة وفك ترميز جشع، وسياق لا يتجاوز 1,024 رمزًا. وهو لا يثبت صحة الإجابة من حيث الوقائع، ولا يضمن أي إجابة محادثة مولدة بأخذ العينات. وتوضح Anthropic أيضًا أن الشيفرة التنفيذية السريعة لا تتمتع بالضمانات الشكلية المرتبطة ببروتوكول Lean والمتحقق الأبطأ. وهذه حدود مهمة قبل اعتبار النموذج الأولي ضمانًا للاستخدام الإنتاجي.