שבוע לאחר ש-OpenAI הפילה 722 כתבי יד מתמטיים שנכתבו על ידי מודל בינה מלאכותית שלא פורסם, קהילת ההצפנה מתווכחת על שאלה שרוב האנשים הגישו במסגרת מדע בדיוני: האם מערכת בינה מלאכותית יכולה לשבור בסופו של דבר את ההצפנה שמגינה על האינטרנט? לפי דו"ח של סיינטיפיק אמריקן, המומחים באמת מפוצלים.

הוויכוח נובע ממהדורת השיא של OpenAI, שבה כל מאמר נכתב על ידי מודל שהציבור לא יכול לגשת אליו. התפוקה הייתה רחוקה מלהיות ללא רבב - OpenAI משכה שלושה מהמסמכים תוך יום עקב טעות בסימן, ומתמטיקאים עדיין בוחנים את השאר - אבל קנה המידה והחריפות של העבודה הטרידו חוקרים שהניחו שמתמטיקה שנוצרה על ידי מכונה רחוקה שנים. סיקרנו את השחרור הראשוני של 722 כתבי היד ואת המשיכות שלאחר מכן כפי שקרו.

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

דאגה של 15 אחוז

מתמטיקה היא הבסיס לקריפטוגרפיה. כל הודעה מוצפנת וכניסה לבנק מסתמכים על בעיה מתמטית שלדעתה כמעט בלתי אפשרי להפוך אותה. מת'יו גרין, קריפטוגרף מאוניברסיטת ג'ונס הופקינס, שם מספר על הדאגה בפוסט במדיה החברתית ימים לאחר הפרסום: הוא רואה סיכוי של בערך 15 אחוז שהעולם עלול לאבד אמון באלגוריתמים קיימים של הצפנה של מפתח ציבורי - המערכות המאפשרות לדפדפנים ליצור חיבורים מאובטחים ולאמת זהויות דיגיטליות מבלי לשתף מפתח סודי מראש.

לפחד יש תקדים היסטורי. קריפטוגרפים חשבו פעם שמפתחות RSA של 512 סיביות בטוחים, עד שמסננת שדה המספרים הקלה באופן דרמטי את פיצוחם ואילצה את התעשייה להאריך מפתחות - 2,048 סיביות הם כעת המינימום המקובל. החשש של גרין הוא שבינה מלאכותית יכולה למצוא קיצור דרך דומה בקריפטוגרפיה של עקומה אליפטית, המאבטחת חלק גדול מהאינטרנט ורוב מטבעות הקריפטו, על ידי איתור מבנה שבני אדם החמיצו במשך עשרות שנים.

הספקנים: אין הוכחה לפריצת דרך

הרבה קריפטוגרפים מובילים לא רואים סיבה לדאגה. יהודה לינדל, פרופסור באוניברסיטת בר-אילן וראש תחום הקריפטוגרפיה ב-Coinbase, כתב כי אין כל עדות לפריצת דרך נגד הבעיות המתמטיות העומדות בבסיס ההצפנה המודרנית. דן בונה, פרופסור לקריפטוגרפיה בסטנפורד, ציין שאף אחד מ-722 המסמכים של OpenAI לא עוסק בכלל בקריפטוגרפיה.

Govind Pimpale, עמית מחקר ב-Foundation for American Innovation, הודה בפשטות במצב הנוכחי: שום אלגוריתם שנפרס כעת לא נשבר על ידי AI. הדאגה שלו היא מבנית ולא מיידית - קריפטוגרפיה של מפתח ציבורי נשענת על קומץ בעיות מתמטיות שנחקרו על ידי קהילות קטנות, ומכונות יכולות להשקיע הרבה יותר מאמץ על המטרות הצרות האלה מאשר חוקרים אנושיים אי פעם.

מה שהראיות מראות בפועל

נקודת הנתונים הקונקרטית ביותר מגיעה מהדפסה מקדימה לאחרונה של פלוריאן טראמר, מדען מחשבים ב-ETH ציריך, ועמיתים לרבות שלושה חוקרים ב-Anthropic. הצוות העמיד מודלים מובילים של AI מול 191 אתגרי שבירת קוד, וטרמר אמר שברור שיכולת הניתוח ההצפנה של המודלים צומחת במהירות רבה.

חוקרים אחרים מפנים את הדאגה לסיכונים בטווח הקרוב יותר. אייל רונן מאוניברסיטת תל אביב, מחבר שותף במחקר ההצפנה, ציין כי בינה מלאכותית כבר טובה מאוד באיתור פרצות תוכנה - איום מיידי יותר מאשר הפסקות הצפנה היפותטיות, מכיוון שתוקפים נוקטים ברובם המכריע בדרך הקלה ביותר שיש, כמו גניבת מפתחות ממכונה שנפרצה. בארט פרנל, פרופסור לקריפטוגרפיה ב-KU Leuven, הוסיף כי קנה המידה חשוב: אפילו התקדמות מתמטית שהפכה את ההתקפות למהירות פי מיליארד עדיין יכולה להשאיר אותן בלתי מעשיות מבחינה חישובית מול מערכות מוגדרות כהלכה.

מדוע ההימור כה גבוה

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

אפילו תוצאה חלקית תאלץ הגירה עולמית כואבת. גרין הזהיר שתהליך השדרוג עצמו עלול להיות קטסטרופה, וציין שמעברים קריפטוגרפיים פגומים הציגו באופן היסטורי חולשות חדשות. הסיכון הזה הוצג רק החודש כאשר מערכת קלוד מיתוס של Anthropic זיהתה חולשות לא ידועות בעבר ביישומי הצפנה, תזכורת לכך שאותה התקדמות בינה מלאכותית שהרשימה מתמטיקאים מכוונת גם למחקר אבטחה.

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

---

הישאר לפני AI

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

קרא עוד חדשות AI →