نشرت Google للتو وكلاء ذكاء اصطناعي للتحقق الرسمي من بروتوكول Signal — ليس مراجعةً للتصميم، بل للشيفرة الإنتاجية الفعلية التي تؤمّن مليارات الرسائل في Signal وGoogle Messages.
أنشأ وكلاء AlphaProof من DeepMind، المدعومون بـGemini Carbon، أكثر من 6 ملايين سطر من شيفرة Lean (لغة تُستخدم لإثبات صحة البرمجيات رياضيًا) خلال 4 أسابيع. تاريخيًا، كان إنجاز هذا المستوى من التحقق يستغرق سنوات من عمل فرق الخبراء.
حتى إن النظام اكتشف أخطاءً أُعيد إدخالها عمدًا — فقد أُعيد إدراج ثغرتين سبق إصلاحهما كاختبار، ورصد AlphaProof كليهما على أنهما غير آمنتين.
وصف المدير التقني في Signal هذا بأنه إنجاز كبير. إذا كنت مهتمًا بالتشفير أو ببنية الخصوصية التحتية أو بوكلاء الذكاء الاصطناعي الجديرين بالثقة، فهذا أهم تطور هذا الأسبوع.
والسؤال الآن: هل سيصبح التحقق الرسمي شائعًا، أم أن هذا كان مجرد استعراض تقني لمرة واحدة؟ 🔐
أنشأ وكلاء AlphaProof من DeepMind، المدعومون بـGemini Carbon، أكثر من 6 ملايين سطر من شيفرة Lean (لغة تُستخدم لإثبات صحة البرمجيات رياضيًا) خلال 4 أسابيع. تاريخيًا، كان إنجاز هذا المستوى من التحقق يستغرق سنوات من عمل فرق الخبراء.
حتى إن النظام اكتشف أخطاءً أُعيد إدخالها عمدًا — فقد أُعيد إدراج ثغرتين سبق إصلاحهما كاختبار، ورصد AlphaProof كليهما على أنهما غير آمنتين.
وصف المدير التقني في Signal هذا بأنه إنجاز كبير. إذا كنت مهتمًا بالتشفير أو ببنية الخصوصية التحتية أو بوكلاء الذكاء الاصطناعي الجديرين بالثقة، فهذا أهم تطور هذا الأسبوع.
والسؤال الآن: هل سيصبح التحقق الرسمي شائعًا، أم أن هذا كان مجرد استعراض تقني لمرة واحدة؟ 🔐