AlphaProof Code تتحقق من النواة التشفيرية لتطبيق Signal في أربعة أسابيع
تحقق نظام AlphaProof Code من Google DeepMind رياضياً من النواة التشفيرية لتطبيق Signal في أربعة أسابيع، وهو عمل يستغرق عادةً سنوات. وفحص نظام الذكاء الاصطناعي كود الأجهزة الفعلي واكتشف خطأين مزروعين.
أعلنت Google DeepMind عن AlphaProof Code، وهو نظام ذكاء اصطناعي يثبت رياضيًا أن البرمجيات تفي بمواصفات الأمان الخاصة بها دون أخطاء. وأظهر الباحثون ذلك على بروتوكول التشفير الخاص بـ Signal، وأتموا في أربعة أسابيع عملاً يستغرق عادةً سنوات. تحقق النظام من الكود الفعلي لجوهر التشفير الذي يعمل على أجهزة المستخدمين، وليس فقط التصميم النظري.
كيف عمل التحقق
بعد أن حدد الخبراء متطلبات أمنية رسمية، كتب وكلاء الذكاء الاصطناعي المبنية على Gemini Carbon أكثر من 6 ملايين سطر بلغة الإثبات Lean. وحددوا نحو 1% من قاعدة الكود للمراجعة البشرية. واكتُشف خطآن مزروعان عمداً للاختبار فوراً. كما تساعد وكلاء الذكاء الاصطناعي في AlphaProof Code على إنشاء المواصفات، ثم على إثبات أن كود البرنامج يلبيها بشكل مستقل.
التداعيات الأوسع
توقفت جهود التحقق السابقة عند مرحلة التصميم النظري، وفقاً لتدوينة باحثَي DeepMind Pushmeet Kohli و Swarat Chaudhuri. قال Ehren Kret، CTO في Signal، إن النهج يعزز الثقة في خصوصية البيانات مع تزايد تهديدات الذكاء الاصطناعي. تخطط DeepMind لتوسيع الطريقة إلى شبكات الكهرباء والأجهزة الطبية عبر أنظمة مثل CodeMender.
المصادر: The Decoder
SiTech — تطوير ويب مدعوم بالذكاء الاصطناعي
نبني مواقع سريعة وعصرية وندمج الذكاء الاصطناعي في سير عمل الشركات. لديك مشروع أو سؤال؟ يسعدنا مساعدتك.