AI रिपोर्ट्स · Google DeepMind · 2026-11-10 · ब्लॉग / टिप्पणी
Gemini के साथ Signal के प्रोटोकॉल का औपचारिक सत्यापन
मूल शीर्षक: Formal Verification of Signal’s Protocol with Gemini
Google DeepMind के शोधकर्ताओं ने नए एजेंटिक फ्रेमवर्क AlphaProof Code का उपयोग करके AI एजेंटों को Signal प्रोटोकॉल के कोड की प्रमुख सुरक्षा विशेषताओं को गणितीय रूप से सिद्ध करने के लिए निर्देशित किया। मानव विशेषज्ञों ने तय किया कि क्या सिद्ध करना है और सुरक्षा विनिर्देशों की समीक्षा की, जबकि AI एजेंटों ने Lean में प्रमाण तैयार किए। एजेंटों ने प्रमाणों का ऑडिट भी किया और उन हिस्सों को चिह्नित किया जिन्हें किसी मानव द्वारा दोबारा देखना आवश्यक था।