AlphaProof של גוגל אימת את קוד Signal במהירות
AlphaProof Code של גוגל דיפמיינד אימת את קוד הליבה הקריפטוגרפי של Signal בארבעה שבועות בלבד, תהליך שלרוב נמשך שנים. הישג זה מדגים את הפוטנציאל של AI באבטחת תשתיות קריטיות.
AlphaProof Code, פיתוח של גוגל דיפמיינד, אימת מתמטית את קוד הליבה הקריפטוגרפי של אפליקציית המסרים Signal בארבעה שבועות, כך לפי The Decoder. תהליך אימות כזה נמשך בדרך כלל שנים רבות כאשר הוא מבוצע בשיטות מסורתיות.
סוכני AI המופעלים על ידי Gemini Carbon כתבו למעלה משישה מיליון שורות קוד הוכחה, ורק כאחוז אחד מהן דרש בדיקה אנושית. דיפמיינד מתכננת להרחיב את השיטה לתשתיות קריטיות נוספות, כמו רשתות חשמל ומכשירים רפואיים, מה שיכול לשפר משמעותית את אבטחתן.
קריאה נוספת ←