أو ديلي ستار ديلي ريبورت: أطلقت Anthropic نظامًا مفتوح المصدر للتحقق من استنتاجات الذكاء الاصطناعي يُدعى FlashProve، مبنيًا على إثباتات الصفر المعرفة (zkSNARK)، وشارك في البحث أليساندرو كييسا، المؤسس المشارك في StarkWare. يستخدم هذا النظام أساليب تشفير متماثلة لتكنولوجيا ZK في البلوك تشين، مما يسمح للمستخدمين بالتحقق مما إذا كانت مخرجات الذكاء الاصطناعي تم إنشاؤها بواسطة النموذج المحدد دون الحاجة إلى الحصول على أوزان النموذج أو إعادة تشغيله.
أعلنت Anthropic أن Claude شارك في تحسين النظام، وقد تم فتح رمزه وإثباتاته التشكيلية بتنسيق Lean للوصول العام. لا يزال النظام في مرحلة نموذج بحثي، وتكاليف وقت GPU لإنشاء الإثباتات تبلغ حوالي 70–95 ضعف وقت الاستدلال العادي.
أظهرت الاختبارات أن FlashProve يمكنه توليد إثباتات بسرعة حوالي 110 رمزًا في الثانية على وحدة H100 GPU واحدة، مع إثبات فردي بحجم حوالي 19 ميغابايت لنموذج Llama 4 Maverick الذي يحتوي على 400 مليار معلمة تابع لـ Meta.