ידיעות בינה מלאכותית בנושא SIGNAL FOUNDATION
חוקרי Google DeepMind השתמשו בסוכני AI ובמודל Gemini 4 Carbon כדי להוכיח מתמטית שחלקים מקוד ההצפנה של Signal מאובטחים, ויצרו יותר מ-3 מיליון שורות הוכחה. התהליך ארך ארבעה שבועות — עבודה שהייתה לוקחת לבני אדם שנים. זו הפעם הראשונה שבה פרוטוקול הצפנה שנפרס באופן נרחב מאומת פורמלית. אותו פרוטוקול מגן גם על WhatsApp ו-Google Messages, כלומר על הודעות של מיליארדי אנשים.
חוקרים ב-Google DeepMind השתמשו בסוכני AI כדי להוכיח באופן מתמטי שפרוטוקול ההצפנה של Signal עובד כמו שצריך. זה לקח להם ארבעה שבועות במקום שנים, ועשוי להוביל בעתיד לאימות אבטחה אוטומטי המובנה בכלי פיתוח.
מרדית ויטאקר, נשיאת Signal Foundation, מתריעה כי סוכני AI מאיימים על הפרטיות, התחרות הטכנולוגית ואבטחת המידע. לטענתה, הפריסה ההמונית של מערכות אוטונומיות תאפשר לחברות דומיננטיות לחזק את כוחן ותיצור נקודות תורפה אבטחתיות מהותיות, כשהסכנה הגדולה היא יצירת תלות במנגנוני שליטה חיצוניים.
