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

В рамках решения 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 раундов .
• Использовались две версии модели: 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 для перехода заклинивания — фундаментальной проблемы физики стёкол, гранулированных материалов и неупорядоченных систем. Он также служит яркой демонстрацией того, как большие языковые модели могут вносить вклад в передовую теоретическую физику, выступая не просто в роли ассистентов, а в качестве активных участников вывода нетривиальных математических доказательств.

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

В рамках решения 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 раундов .
• Использовались две версии модели: 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 для перехода заклинивания — фундаментальной проблемы физики стёкол, гранулированных материалов и неупорядоченных систем. Он также служит яркой демонстрацией того, как большие языковые модели могут вносить вклад в передовую теоретическую физику, выступая не просто в роли ассистентов, а в качестве активных участников вывода нетривиальных математических доказательств.