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