AI رپورٹس · Google DeepMind · 2026-11-10 · بلاگ / تبصرہ
Gemini کے ذریعے Signal کے پروٹوکول کی باضابطہ تصدیق
اصل عنوان: Formal Verification of Signal’s Protocol with Gemini
Google DeepMind کے محققین نے AlphaProof Code، ایک نئے ایجنٹک فریم ورک، کی مدد سے AI ایجنٹس کی رہنمائی کی تاکہ Signal پروٹوکول کے پیچھے موجود کوڈ کی اہم سکیورٹی خصوصیات کو ریاضیاتی طور پر ثابت کیا جا سکے۔ انسانی ماہرین نے طے کیا کہ کیا ثابت کرنا ہے اور سکیورٹی کی تفصیلات کا جائزہ لیا، جبکہ AI ایجنٹس نے Lean میں ثبوت مکمل کیے۔ ایجنٹس نے ثبوتوں کا آڈٹ بھی کیا اور ان حصوں کی نشاندہی کی جنہیں کسی انسان کی دوبارہ نظر درکار تھی۔