01 क्या हुआ
10 नवंबर 2026 को, Google DeepMind ने घोषणा की कि उसके शोधकर्ताओं ने AlphaProof Code का उपयोग करके Signal प्रोटोकॉल कोड के प्रमुख सुरक्षा गुणों को गणितीय रूप से सिद्ध किया है। इस प्रक्रिया में चार सप्ताह लगे, जिसमें पहले विशेषज्ञ टीमों को वर्षों लगते थे। Gemini Carbon द्वारा संचालित AI एजेंटों ने छह मिलियन से अधिक पंक्तियों का Lean कोड तैयार किया, यह सत्यापित करते हुए कि संकलित कार्यान्वयन सुरक्षा गारंटी को पूरा करता है। पिछली औपचारिक पुष्टि डिज़ाइन स्तर पर रुक जाती थी; यह कार्यान्वयन स्तर पर व्यापक रूप से तैनात क्रिप्टोग्राफ़िक प्रोटोकॉल का पहला AI-संचालित सत्यापन है। कंपनी ने सत्यापन कलाकृतियों को ओपन-सोर्स कर दिया है।
02 मुख्य विवरण
- AlphaProof Code मानव और AI के बीच सत्यापन कार्य को वितरित करने के लिए AI एजेंटों का उपयोग करता है।
- इसने Signal के संकलित कोड को सत्यापित किया, न कि केवल इसके डिज़ाइन को, एक सामान्य भेद्यता अंतर को पाटने के लिए।
- Gemini Carbon ने सुरक्षा साबित करने के लिए छह मिलियन से अधिक पंक्तियों का Lean कोड तैयार किया।
- पहले ठीक किए गए बग को स्वचालित रूप से पहचान लिया गया, जो सिस्टम की प्रभावशीलता की पुष्टि करता है।
03 यह क्यों महत्वपूर्ण है
यह प्रदर्शित करता है कि AI कुछ हफ्तों में गहन औपचारिक कोड सत्यापन कर सकता है, जिसके लिए पहले वर्षों की आवश्यकता होती थी।
04 किनके लिए महत्वपूर्ण है
एआई एजेंट डेवलपर्स, वॉइस इंटरफ़ेस डेवलपर्स, बुनियादी ढांचा अभियंता, devOps विशेषज्ञ और डेटा इंजीनियर.