ألفا برُوف كود من ديب مايند يثبت رسمياً بروتوكول سيجنال خلال أربعة أسابيع

أظهر باحثو جوجل ديب مايند أن الذكاء الاصطناعي الوكلي يمكنه تسريع التحقق الرسمي بشكل كبير — وهو الإثبات الرياضي بأن البرمجيات تتصرف تماماً كما هو محدد. باستخدام إطار عمل جديد يسمى ألفا برُوف كود، تحققت الفرقة من الخصائص التشفيرية الأساسية لبروتوكول سيجنال في أربعة أسابيع فقط، وهي مهمة تستهلك تقليدياً شهوراً أو سنوات من جهد الخبراء.

غطى التحليل الضمانات الأساسية للبروتوكول مثل السرية الأمامية وأمان ما بعد الاختراق، التي تقوم عليها المراسلة المشفرة لمليارات المستخدمين عبر سيجنال وواتساب وجوجل مسجز. لم تُكتشف ثغرات جديدة؛ ومع ذلك، عند الاختبار ضد إصدارات سيجنال الأقدم ذات العيوب المعروفة، أشار ألفا برُوف كود بشكل صحيح إلى أنها غير قابلة للتحقق الرسمي.

لماذا هذا مهم للبنية التحتية للذكاء الاصطناعي ووحدات معالجة الرسوميات

يتطلب التحقق الرسمي على هذا النطاق حوسبة متوازية ضخمة للبحث عن البراهين، وإثبات النظريات، وتوليد الأمثلة المضادة. يعمل سير عمل ألفا برُوف كود الوكلي — حيث تقترح وكلاء الذكاء الاصطناعي خطوات البرهنة وتنقدها وتعدلها — على عناقيد وحدات معالجة رسوميات كثيفة. مع سعي المؤسسات نحو "سلاسل توريد برمجيات موثقة"، ستنمو الطلب بشكل حاد على بنية تحتية عالية الإنتاجية لتدريب واستدلال الذكاء الاصطناعي. سحابة وحدات معالجة الرسوميات من أيه آي جي بي يو (AiGpu) في وضع يمكّنها من خدمة هذه الأحمال مع ترابط منخفض الكمون وتكوينات معدنية مرنة.

تؤكد ديب مايند أن هذا مجرد إثبات مفهوم؛ يظل عميل سيجنال الكامل واعتمادياته غير موثقين. أصدرت الفرقة مواصفاتها وبراهينها لبذر جهود المجتمع. لاحظ كبير مسؤولي التكنولوجيا في سيجنال أن التحقق السابق غطى أجزاء أصغر من الكود، بينما يتيح نهج ديب مايند توسعاً كبيراً — مسار لن يؤدي إلا إلى زيادة كثافة الحوسبة.