Google DeepMind تطلق AlphaProof Code وتثبت رياضيًا أمان كود بروتوكول Signal اللي يحمي محادثات المليارات

يوم 10 نوفمبر 2026 أعلنت Google DeepMind عن AlphaProof Code، نظام فيه خبراء بشر مع مجموعة وكلاء ذكاء اصطناعي يثبتون رياضيًا إن البرنامج يشتغل صح وبدون ثغرات.

جربوه على الكود الفعلي لبروتوكول Signal، اللي يحمي محادثات المليارات في تطبيقات مثل Signal وGoogle Messages.

الوكلاء شغالين بنموذج Gemini Carbon، وكتبوا أكثر من 6 ملايين سطر بلغة Lean، والخبراء راجعوا بس حوالي 1% من الشغل.

تقول DeepMind إن العملية أخذت 4 أسابيع بدل سنوات، ولما رجعوا ثغرتين قديمتين في نسخة تجريبية، النظام اكتشف إن النسخة غير آمنة.

المدير التقني في Signal قال إن هذا يعطيهم ثقة أكبر في الخصوصية، وDeepMind بتفتح ملفات التحقق للجميع.