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