Як Нобелівський лауреат і ШІ Claude розв'язали фізичну головоломку, що не піддавалася десятиліттями

Понад десять років фізики знали, що два критичні показники в теорії jamming — позначені як a та b — у сумі дають 1. Чисельні експерименти переконливо це підтверджували, але аналітичного доведення цього факту ніхто не міг знайти. У 2026 році Нобелівський лауреат Джорджо Парізі разом із Франческо Дзампоні нарешті закрили цю прогалину — і ключову роль у цьому відіграв не лише людський інтелект, а й співпраця зі штучним інтелектом .

Ось що саме вони відкрили, як саме ШІ Claude від Anthropic допоміг у доведенні та яке значення це має для фізики невпорядкованих систем.

Наукове відкриття

Парізі та Дзампоні опублікували препринт (arXiv:2606.03300), у якому навели перше аналітичне доведення тотожності a + b = 1 — співвідношення між двома критичними показниками в теорії з повним порушенням симетрії реплік (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 — фундаментальній проблемі фізики скла, гранульованих матеріалів та невпорядкованих систем. Він також слугує яскравою демонстрацією того, як великі мовні моделі можуть робити внесок у передову теоретичну фізику, виступаючи не просто помічниками, а активними учасниками виведення нетривіальних математичних доведень.