Anthropic تطلق FlashProve، نظاماً بناه Claude يثبت أي نموذج أنتج الإجابة
يثبت نموذج zkSNARK الأولي مخرجات Llama 4 Maverick بنحو 110 رموز في الثانية على وحدة H100 واحدة، أي نحو 70 إلى 95 ضعف زمن GPU للاستدلال العادي، مع نشر الشيفرة وتقرير تقني.
لماذا يهم
لا يستطيع المستخدمون اليوم التحقق من أن الإجابة جاءت من النموذج الذي يعلنه المزود لا من بديل أرخص أو من تدفق رموز معدَّل. وتقول Anthropic إن البراهين التشفيرية للاستدلال تحل ذلك مع إخفاء الأوزان، وقد تساعد في التحقق من الالتزام بمتطلبات وتيرة الذكاء الاصطناعي. والنظام أسرع بكثير من أنظمة الإثبات مفتوحة المصدر السابقة، وقد تولى Claude جزءاً كبيراً من التحسين، مع صياغة ضمانات الأمان بلغة Lean لتسهيل تدقيقها. ويبقى السؤال هل ستنخفض الكلفة الإضافية بما يكفي للاستخدام الروتيني.
حقائق رئيسية
- نحو 110 رموز في الثانية على وحدة H100 واحدة لنموذج Llama 4 Maverick (MoE بحجم 400B)
- حجم البرهان نحو 19 ميغابايت لكل طلب من 1,024 رمزاً
- نحو 70-95 ضعف زمن GPU لتشغيل النموذج على vLLM
- ضمانات الأمان مصاغة بلغة Lean
- نشر خمسة مخرجات بينها الشيفرة وتقرير تقني