OpenAI טוענת שהפריכה את השערת ה־ETH, ולמה אין כאן מתקפה על ההצפנה של ביטקוין

OpenAI הודיעה ב־26 באוקטובר שמערכת הבינה המלאכותית שלה הפריכה את השערת הזמן המעריכי (Exponential Time Hypothesis), הנחה ותיקה במדעי המחשב. בטוויטר הקריפטו הקיצור ETH הספיק כדי לייצר בהלה מבודחת: משתמש בשם Takumi כתב שסוחרי האלגו "שחטו" את $ETH, ו־Andrew Jiang העיר שויטליק בוטרין "שקט מאוד מאז". להשערה, שהוצעה ב־1999, אין קשר לאת'ריום או למחירו. השאלה הרצינית היא אם תוצאה מתמטית כזו מסכנת את ההצפנה שעליה נשען ביטקוין, ולפי CryptoSlate התוצאה שנחשפה עד כה אינה מבססת מתקפה מעשית.

מה בדיוק OpenAI טוענת שהוכיחה

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

המאמר, באורך 67 עמודים, מתאר אלגוריתם דטרמיניסטי (בלי אקראיות) שסופר במדויק את כל ההצבות שמספקות נוסחה בוליאנית ברוחב קבוע, בזמן תת־מעריכי ובזיכרון פולינומי. תת־מעריכי פירושו שזמן הריצה גדל לאט יותר מכל פונקציה מעריכית. התוצאה אינה מבססת אלגוריתם בזמן פולינומי, ולכן שאלת P מול NP נשארת פתוחה, והמאמר עצמו מציין שאינו מראה שכל בעיית NP פתירה בזמן תת־מעריכי. OpenAI כתבה בבלוג שלה שהפיכת ההתקדמות התיאורטית לשיפורים מעשיים "תדרוש מחקר נוסף משמעותי".

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

ציר הזמן של הטענה והבדיקה העצמאית

• 7 באוקטובר: CryptoSlate מדווח על קריאתו של החוקר ג'סטין דרייק להתכונן ל"מצב בונקר" אחרי פרסום מתמטי קודם של OpenAI, שלא הדגים שבירה מעשית של ECDSA או RSA.
• 16 באוקטובר: לפי OpenAI, המודל מוצא את ההפרכה.
• 17 באוקטובר: הפורמליזציה ב־Lean ותאריך כתב היד המקורי.
• 25 באוקטובר: גרסה מתוקנת של כתב היד.
• 26 באוקטובר: ההכרזה הרשמית. Anthropic מפרסמת מאמר שמתוארך לאותו יום ומיוחס ל־Claude, "A 2^o(n) Time Algorithm for 3-SAT", שקובע בעצמו שהתוצאה "אסימפטוטית בלבד ואינה אומרת דבר על פתרון נוסחאות בפועל".

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

כרייה וחתימות: שתי משימות שהמאמר לא נוגע בהן

בביטקוין יש שתי משימות קריפטוגרפיות נפרדות, ואף אחת מהן אינה בעיית 3-SAT כפי שהיא:

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

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

הוויכוח הקוונטי שמרחיק את המוסדיים

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

עלי מציב את 2030 כיעד מעבר, בהסתמך על הנחיות NIST האמריקאי, ומעריך שבינה מלאכותית עלולה להקדים את פיתוח המחשב הקוונטי ול־2029. אם לא תהיה התקדמות ממשית עד 2028, ביטקוין ייכנס לפי עלי לתקופה מסוכנת יותר, כי שדרוגים לוקחים שנים והמשתמשים צריכים זמן נוסף להעביר מטבעות לכתובות חדשות. הוא מעריך שמחשב קוונטי חזק יצמח סביר יותר במעבדת מחקר גדולה מאשר אצל תוקף אלמוני, ושלחברות כמו גוגל או מיקרוסופט אין תמריץ לגנוב ביטקוין בגלל ההשלכות המשפטיות. עם זאת הוא מזהיר ש"אם ביטקוין נפגע, כולם נפגעים בהמשך השרשרת".

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

מחזיקי ביטקוין בישראל מול כותרות הבהלה

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

אם אתם שוקלים למכור בגלל חששות קוונטיים, קחו בחשבון שמכירה ישירה של קריפטו מחייבת דיווח בטופס 1399 בתוך 30 יום ומס רווח הון של 25%, כמפורט במדריך המס על ביטקוין. מי שמחזיק דרך קרנות מחקות ביטקוין או קרנות סל אמריקאיות, הבנק או הברוקר מנכה עבורו את המס במקור. הנתונים שכדאי לעקוב אחריהם הם ממצאי הבדיקה העצמאית של אימפליאצו, פאטורי וויליאמס, והתקדמות מפתחי ביטקוין במפת הדרכים הקוונטית לקראת 2028.

הכתבה נועדה למטרות מידע בלבד ואינה ייעוץ השקעות.