Передісторія гіпотези

У межах підходу fullRSB, розробленого понад десять років тому Шарбонно, Куршаном, Парізі, Урбані та Дзампоні (CKPUZ, 2014), три критичні показники — a, b та c — описують масштабну поведінку поблизу точки jamming :

• Одне співвідношення, b = (1 + c)/2, вже було доведене аналітично з балансу дифузії та дрейфу в масштабній анзаці .
• Друге співвідношення, a + b = 1, спостерігалося чисельно з дуже високою точністю понад десятиліття, але аналітичного доведення воно не мало .

Що показало доведення

Тотожність a + b = 1 безпосередньо виводиться з масштабних рівнянь fullRSB. Важливо, що це співвідношення має наслідком a = (1 - c)/2, що разом із b = (1 + c)/2 означає: всі три показники визначаються єдиним параметром c . Це зменшує кількість вільних параметрів у теорії та засвідчує її внутрішню узгодженість. Крім того, доведення незалежно дає масштабні співвідношення α = 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 jamming — фундаментальній проблемі фізики скла, гранульованих матеріалів та невпорядкованих систем. Він також слугує яскравою демонстрацією того, як великі мовні моделі можуть робити внесок у передову теоретичну фізику, виступаючи не просто помічниками, а активними учасниками виведення нетривіальних математичних доведень.

Передісторія гіпотези

У межах підходу fullRSB, розробленого понад десять років тому Шарбонно, Куршаном, Парізі, Урбані та Дзампоні (CKPUZ, 2014), три критичні показники — a, b та c — описують масштабну поведінку поблизу точки jamming :

• Одне співвідношення, b = (1 + c)/2, вже було доведене аналітично з балансу дифузії та дрейфу в масштабній анзаці .
• Друге співвідношення, a + b = 1, спостерігалося чисельно з дуже високою точністю понад десятиліття, але аналітичного доведення воно не мало .

Що показало доведення

Тотожність a + b = 1 безпосередньо виводиться з масштабних рівнянь fullRSB. Важливо, що це співвідношення має наслідком a = (1 - c)/2, що разом із b = (1 + c)/2 означає: всі три показники визначаються єдиним параметром c . Це зменшує кількість вільних параметрів у теорії та засвідчує її внутрішню узгодженість. Крім того, доведення незалежно дає масштабні співвідношення α = 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 jamming — фундаментальній проблемі фізики скла, гранульованих матеріалів та невпорядкованих систем. Він також слугує яскравою демонстрацією того, як великі мовні моделі можуть робити внесок у передову теоретичну фізику, виступаючи не просто помічниками, а активними учасниками виведення нетривіальних математичних доведень.