تقارير الذكاء الاصطناعي · Google DeepMind · 2026-11-10 · مدونة / تعليق

التحقق الشكلي من بروتوكول Signal باستخدام Gemini

العنوان الأصلي: Formal Verification of Signal’s Protocol with Gemini

استخدم باحثون في Google DeepMind إطار AlphaProof Code، وهو إطار وكيلي جديد، لتوجيه وكلاء الذكاء الاصطناعي في إثبات الخصائص الأمنية الرئيسية للشفرة البرمجية الكامنة وراء بروتوكول Signal إثباتًا رياضيًا. وقرر خبراء بشريون ما يجب إثباته وراجعوا المواصفات الأمنية، بينما نفّذ وكلاء الذكاء الاصطناعي الإثباتات في Lean. كما دقّق الوكلاء في الإثباتات وحدّدوا المجالات التي احتاجت إلى نظرة ثانية من إنسان.

اقرأ المصدر الأصلي ↗

جميع تقارير الذكاء الاصطناعي →