Claude помог физикам доказать теорему о переходе блокировки, открытую 10 лет назад

Нобелевский лауреат Джорджо Паризи и его коллега Франческо Зампони закрыли математическую задачу, которая висела открытой с 2014 года. Помог им Claude.

Что за задача

Переход блокировки - это когда материал внезапно переходит из текучего состояния в твёрдое, хотя частицы в нём остаются расположены хаотично. Никаких химических связей не возникает: частицы просто упаковываются так плотно, что начинают взаимно блокировать движение друг друга. Чем выше плотность упаковки, тем жёстче система.

Первоначально теория описывала пены и засыпанные шариками бассейны. Сейчас её применяют шире - в нейронауках и исследованиях глубоких нейронных сетей.

Откуда взялась загадка

В 2014 году группа Паризи (Римский университет Ла Сапиенца) и отдельно группа Маттьё Вайяра (Федеральная политехническая школа Лозанны) построили две независимые теории перехода блокировки. Подходы были разными, но оба раза вычисления давали одно и то же: два ключевых параметра модели, a и b, в сумме неизменно давали 1.

Совпадение было очевидным, но математического объяснения ему не существовало больше десяти лет.

Как работали с Claude

Паризи и Зампони выбрали Claude Sonnet 4.6 и Claude Opus 4.7. По словам Зампони, именно Claude показывал наиболее развитые способности к математическим рассуждениям среди доступных моделей.

Сначала исследователи попросили модель воспроизвести численные расчёты 2014 года. Claude справился. Тогда они задали следующий вопрос: если a + b = 1 всегда, можно ли строго доказать, почему?

Первые варианты доказательства содержали ошибки. Потребовались многократные проверки, корректировки и обсуждения с учёными. Но достаточно быстро Claude предложил основную идею - и она, по оценке авторов, оказалась принципиально верной. Именно она позволила завершить доказательство.

Чем удивил результат

Зампони признался: исследователи долгое время предполагали, что за закономерностью скрывается сложная и ещё неизвестная математическая структура. Оказалось, объяснение значительно проще. Решение, по его словам, буквально находилось перед глазами, но никто его не замечал.

Доказательство подтвердило: две независимые теории описывают одно и то же явление и дают одинаковые физические предсказания.

Что это значит

Если ты работаешь с исследованиями или занимаешься задачами, где нужно разбирать сложные математические или логические структуры, этот кейс показывает конкретный сценарий: Claude как партнёр по рассуждению, а не замена эксперту.

Авторы сами подчёркивают: ИИ не заменял исследователей. Он предложил идею, люди её проверили и довели до конца.

Где опубликовано: Journal of Statistical Mechanics: Theory and Experiment, июльский выпуск.

Источник: New-Science.ru, 2 июля

FAQ

Какие модели Claude использовались? Claude Sonnet 4.6 и Claude Opus 4.7.

Почему выбрали именно Claude? По словам Франческо Зампони, Claude демонстрировал наиболее развитые способности к математическим рассуждениям.

Доказательство написал ИИ или люди? Claude предложил ключевую идею, но первые варианты содержали ошибки. Итоговое доказательство - результат совместной работы: модель и исследователи итеративно проверяли и корректировали рассуждения.