רקע ההשערה

במסגרת פתרון ה-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) יכולים לתרום לפיזיקה תיאורטית מתקדמת, לא רק כעוזרים אלא כמשתתפים פעילים בגזירת הוכחות מתמטיות לא טריוויאליות.

רקע ההשערה

במסגרת פתרון ה-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) יכולים לתרום לפיזיקה תיאורטית מתקדמת, לא רק כעוזרים אלא כמשתתפים פעילים בגזירת הוכחות מתמטיות לא טריוויאליות.