ההצפנה של Signal עברה בדיקה מתמטית בעזרת AI, בפרויקט של ארבעה שבועות
ההצפנה של אפליקציית המסרים Signal עברה בדיקה מתמטית שנעזרה בבינה מלאכותית, בפרויקט שנמשך ארבעה שבועות. לפי הדיווח, התוצאה מרמזת ש-AI עשוי להפוך את האימות הפורמלי, תהליך שנחשב יקר ואיטי במיוחד, למעשי הרבה יותר.