כשחתן פרס נובל ובינה מלאכותית פותרים חידה פיזיקלית בת עשור

במשך למעלה מעשור, פיזיקאים ידעו ששני אקספוננטים קריטיים בתיאוריית ה-jamming (התקשחות) – המסומנים a ו-b – מסתכמים לכאורה ל-1. העדויות המספריות היו מוחצות, אך איש לא הצליח להוכיח זאת אנליטית. בשנת 2026, חתן פרס נובל ג'ורג'ו פאריזי (Giorgio Parisi) ופרנצ'סקו זמפוני (Francesco Zamponi) סגרו את הפער – לא מתובנה אנושית בלבד, אלא באמצעות שיתוף פעולה עם בינה מלאכותית.

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

התגלית המדעית

פאריזי וזמפוני פרסמו פרפרינט (arXiv:2606.03300) המספק את ההוכחה האנליטית הראשונה לזהות a + b = 1 – קשר בין שני אקספוננטים קריטיים בתיאוריית שבירת הסימטריה המלאה (fullRSB) של מעבר הג'מינג בספירות קשות אמורפיות צפופות .

רקע ההשערה

במסגרת פתרון ה-fullRSB שפותח לפני למעלה מעשור על ידי שארבונו, קורשאן, פאריזי, אורבני וזמפוני (CKPUZ, 2014), שלושה אקספוננטים קריטיים – a, b ו-c – מתארים את התנהגות הסקאלינג ליד נקודת הג'מינג .

• קשר אחד, b = (1 + c)/2, כבר הוכח אנליטית מאיזון דיפוזיה-סחיפה בהנחת הסקאלינג .
• הקשר השני, a + b = 1, נצפה מספרית בדיוק שרירותי במשך למעלה מעשור, אך הוכחה אנליטית נותרה חמקמקה .

מה גילתה ההוכחה

הזהות a + b = 1 נגזרת ישירות ממשוואות ה-fullRSB. משמעותה הקריטית היא ש-a = (1 - c)/2, מה שיחד עם b = (1 + c)/2 אומר שכל שלושת האקספוננטים נקבעים על ידי פרמטר יחיד c . זה מקטין את דרגות החופש החיזויות של פתרון ה-fullRSB ומחזק את העקביות הפנימית של התיאוריה. ההוכחה גם מובילה באופן בלתי תלוי ליחסי הסקאלינג α = 1/(2 + θ) ו-κ = 2 - 2/(3 + θ), שחזו בעבר על ידי טיעוני היציבות המכנית-שולית של ויארט ושותפיו .

תרומתו של Claude של Anthropic

ההוכחה לא הושגה באמצעות תובנה אנושית בלבד. המאמר קובע במפורש: "ההוכחה הושגה דרך אינטראקציה עם Claude (Sonnet 4.6 ו-Opus 4.7) ואומתה על ידינו" .

איטרציה ושיתוף פעולה

• פאריזי וזמפוני ניהלו דיאלוג ממושך עם Claude במשך כ-40 סבבי שיחה .
• הם השתמשו בשתי גרסאות מודל Claude: Sonnet 4.6 ו-Opus 4.7 .
• Claude לא הפיק הוכחה סופית ומלוטשת בניסיון אחד. במקום זאת, הוא הפיק כמעט את כל ההוכחה באופן איטרטיבי באמצעות חילופי דברים הלוך ושוב. לאחר מכן, המחברים סקרו, תיקנו ואימתו כל שלב .
• היומנים המלאים של השיחות אורכבו ב-Zenodo לעיון ציבורי .

חלוקת העבודה

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

פרסום ומשמעות

הפרפרינט פורסם ב-arXiv ב-2 ביוני 2026 (עודכן ב-2 ביולי 2026) תחת הכותרת "A proof of an identity for the critical exponents of jamming" . רשימת המחברים היא ג'ורג'ו פאריזי ופרנצ'סקו זמפוני; Claude מוכר ככלי הבינה המלאכותית ששימש במתודולוגיה, ולא כמחבר שותף.

סיקור תקשורתי בכלי תקשורת כמו Il Fatto Quotidiano, Correio Braziliense, 36Kr ו-Digg הציג זאת כדוגמה היסטורית של חתן פרס נובל המשתמש במודל שפה גדול כשותף מחקר אמיתי לפריצת דרך תיאורטית ארוכת שנים .

למה זה חשוב

התוצאה סוגרת פער בן עשור בתיאוריית ה-fullRSB של ג'מינג – בעיה יסודית בפיזיקה של זכוכיות, חומרים גרגיריים ומערכות לא-מסודרות. היא גם משמשת הדגמה בעלת פרופיל גבוה לאופן שבו מודלי שפה גדולים (LLMs) יכולים לתרום לפיזיקה תיאורטית מתקדמת, לא רק כעוזרים אלא כמשתתפים פעילים בגזירת הוכחות מתמטיות לא טריוויאליות.