בלוג

AlphaProof Code מאמת את הליבה הקריפטוגרפית של Signal בארבעה שבועות

AlphaProof Code של Google DeepMind אימת מתמטית את הליבה הקריפטוגרפית של Signal בארבעה שבועות, עבודה שלוקחת בדרך כלל שנים. מערכת הבינה המלאכותית בדקה קוד מכשירים אמיתי ומצאה שני באגים שהושתלו.