Claude представил доказательство «святого грааля» теории перколяции
Языковая модель Claude сгенерировала доказательство центральной гипотезы теории перколяции — раздела теории вероятностей, который изучает проницаемость случайных сетей. Anthropic опубликовала полученный результат, а Scientific American посвятил ему отдельный разбор.
Чтобы понять суть задачи, можно представить губку под струёй воды. Если поры в ней открываются случайным образом, то при каком их количестве жидкость впервые сможет пройти через материал насквозь? В математической модели похожая ситуация описывается сетью соединённых элементов, каждый из которых оказывается открытым с вероятностью p.
Как устроена задача
Теория перколяции появилась в 1957 году. Её основателями считаются Саймон Бродбент и Джон Хаммерсли, которые предложили описывать протекание жидкости через пористую среду как движение по огромной системе труб. Одни трубы в такой модели открыты, другие закрыты, а их состояние определяется случайностью.
Главный объект исследования — критический порог pc. Если вероятность открытия элементов оказывается выше этого значения, в системе почти наверняка формируется бесконечный связный кластер. Через него поток может проходить на неограниченное расстояние. Ниже порога такого кластера, как правило, не возникает.
Именно свойства этого перехода десятилетиями оставались одной из наиболее сложных проблем в теории вероятностей. Немецкий математик Бенедикт Янель из Технического университета Брауншвейга оценивал масштаб задачи как потенциально достойный Филдсовской премии — главной математической награды для молодых исследователей.
Роль Claude
Согласно опубликованным материалам Anthropic, доказательство гипотезы было сгенерировано языковой моделью Claude. Это не означает, что модель просто выдала короткий ответ: речь идёт о математическом тексте, который должен учитывать определения, логические переходы и взаимосвязь множества утверждений.
При этом публикация результата сама по себе ещё не заменяет независимую проверку математическим сообществом. Для окончательной оценки доказательства специалистам необходимо внимательно проверить каждый его шаг и установить, действительно ли оно закрывает поставленную проблему. Поэтому история с Claude важна не только как возможное решение конкретной гипотезы, но и как показатель того, насколько далеко языковые модели продвинулись в работе с формальной математикой.
