Anthropic ने FlashProve जारी किया, यह साबित करने के लिए एक ओपन-सोर्स प्रोटोटाइप कि जवाब किस मॉडल ने बनाया

Anthropic ने प्रमाणित इन्फ़रेंस पर शोध प्रकाशित किया: एक क्रिप्टोग्राफ़िक प्रमाण (zkSNARK) कि कोई जवाब मॉडल वेट्स के एक खास कमिट किए गए सेट से आया है। इसे वह उपयोगकर्ता भी जाँच सकता है जिसके पास वेट्स नहीं हैं। पोस्ट के अनुसार, इससे यह पता लगाने में मदद मिल सकती है कि किसी रूटिंग सेवा ने चुपचाप मॉडल बदल दिया है या किसी हमलावर ने उसके साथ छेड़छाड़ की है; साथ ही, इससे मूल्यांकनकर्ताओं और नियामकों को यह जाँचने का तरीका मिल सकता है कि उन्हें कौन-सा मॉडल परोसा जा रहा है।

• मापा गया परिणाम (Anthropic के आँकड़े): Llama 4 Maverick (400B पैरामीटर वाला mixture of experts, 4-bit वेट्स) पर, एक H100 लगभग 110 टोकन प्रति सेकंड की दर से प्रमाण बनाता है। हर 1,024-टोकन अनुरोध के लिए लगभग 19 MB लगते हैं। Anthropic का कहना है कि vLLM पर मॉडल चलाने के मुकाबले इसमें GPU समय लगभग 70–95 गुना लगता है, और इससे पहले के ओपन-सोर्स सिस्टम इससे कई गुना धीमे हैं।
• सत्यापन: क्लाइंट लगभग 6.5 MB का कमिटमेंट डाउनलोड करता है। प्रमाण की जाँच में GPU के बिना, 24-कोर CPU पर लगभग 17 सेकंड लगते हैं। प्रमाण वेट्स उजागर नहीं करता, लेकिन आर्किटेक्चर छिपाता भी नहीं है।
• सीमाएँ: प्रमाण इन्फ़रेंस के दौरान नहीं, बल्कि उसके बाद बैच में बनाए जाते हैं। Anthropic इसे जारी शोध का एक मध्यवर्ती पड़ाव बताता है, न कि शोध-कार्य का समापन।
• Apache 2.0 के तहत जारी: ब्लॉग पोस्ट, एक तकनीकी रिपोर्ट, प्रोटोकॉल का विवरण, तेज़ C++ verifier और Lean verifier वाला prover, तथा शीर्ष-स्तरीय सुरक्षा दावों के Lean proofs। Anthropic का कहना है कि Claude ने अनुकूलन के अधिकांश काम किए और Lean कथन इसलिए दिए गए हैं ताकि लोग इसके दावों का ऑडिट कर सकें।
• संदर्भ: Anthropic का कहना है कि उसके Frontier Safety Roadmap का 30 सितंबर, 2026 तक प्रमाणित-इन्फ़रेंस प्रोटोटाइप बनाने का लक्ष्य एक अलग परियोजना के ज़रिए पूरा हुआ। वह परियोजना इन्फ़रेंस ट्रैफ़िक पर हस्ताक्षर करती है और किसी भरोसेमंद सर्वर पर इन्फ़रेंस को दोबारा गणना करती है। यह काम उसी लक्ष्य को एक अलग तरीके से हासिल करने की कोशिश करता है।