Заявка Claude по перколяции: Кальаи осторожнее, чем Scientific American

доказательство перколяции Claude в двух открытых мной страницах — не одна и та же степень уверенности. Гил Кальаи 3 сентября 2026 года на блоге Combinatorics and more пишет, что документ Claude вместе с проверкой в Lean заявляет положительное решение гипотезы Гади Козмы и Шахафа Ницана. Он же ставит условие: если это подтвердят, это замечательный прорыв. Scientific American 30 сентября пишет уже без этой развилки. Там Anthropic выпустила доказательство, которое породила большая языковая модель, и переход в размерностях с 3 по 10 тоже непрерывен. Я не склеиваю «заявляет» и «показала».

Две даты

Пост Кальаи вышел 3 сентября 2026 года. Он благодарит Итаи Бенджамини, который рассказал ему об этом накануне, и заодно о посте Хьюго. Значит, сам Кальаи ставит разговор на 2 сентября, а не на 30-е. Научный журнал вышел 30 сентября. Автор — Манон Бишоф, редактор Дейзи Юхас. Внизу написано, что текст сначала появился в Spektrum der Wissenschaft, перепечатан с разрешения, переведён с немецкого с помощью искусственного интеллекта и проверен редакторами. Это важно, если ты читаешь английскую страницу как прямой репортаж из лаборатории. Перед тобой перевод, а не пресс-релиз Anthropic. Репозиторий компании я в эту пару не открывал и не делаю вид, что сверил файлы Lean.

Кальаи пишет, что за три дня до заявки Claude Хьюго Дюминиль-Копен выложил на новом блоге Proofs and Prompts текст Care for a little more AI? и взял задачу θ(p꜀) = 0 как главный пример. Журнал датирует эссе Дюминиля 30 августа 2026 года и цитирует его тревогу: это лишь вопрос времени, когда самая известная гипотеза их области тоже падёт под бульдозеры. «Три дня до заявки» от конца августа стыкуется с разговором, который Кальаи относит к 2 сентября. Но журнал говорит «Anthropic выпустила доказательство через несколько дней после 30 августа», а Кальаи говорит «документ Claude заявляет». Глагол разный, и я его не выравниваю.

Как каждая страница называет задачу

У Кальаи формулировка узкая. Гипотеза умирающей перколяции: при критической вероятности с вероятностью единица нет бесконечного кластера. В 2024 году Козма и Ницан показали, как вывести её из предложенной гипотезы про перколяцию на общих графах. Та гипотеза была настолько общей, что многие, пишет Кальаи, ждали скорее контрпример. Документ Claude с Lean, по его словам, заявляет положительное решение именно гипотезы Козмы и Ницана.

Журнал рассказывает сюжет шире и другими словами. Перколяция для него — про то, когда из множества случайных щелей складывается связная структура, как жидкость через губку. Теорию он начинает с 1957 года, с Саймона Ральфа Бродбента и Джона Майкла Хаммерсли. Вероятность θ(p), что начало входит в бесконечный кластер, равна нулю при маленьком p и становится больше нуля после порога p꜀. В 1980 году Гарри Кестен нашёл порог для плоской квадратной решётки: одна вторая. Журнал пишет, что точные пороги известны лишь для немногих сетей и что вряд ли кто-то ждёт точные p꜀ повсюду.

Дальше журнал ставит другой вопрос: как выглядит сам переход. В размерностях один и два для квадратной решётки переход давно считается непрерывным. Для обобщений в высоких размерностях тоже. Начиная с одиннадцати размерностей, пишет журнал, переход непрерывен. Дыра — размерности 3–10. И здесь журнал говорит, что модель Anthropic показала: там переход тоже непрерывный, как сообщество и подозревало десятилетиями.

Я не объявляю, что «нет бесконечного кластера в критической точке» и «переход непрерывен» — одна теорема. Ни одна из двух страниц не даёт мне этого отождествления готовой фразой. Кальаи говорит про отсутствие бесконечного кластера при критической вероятности и про гипотезу Козмы и Ницана. Журнал говорит про непрерывность θ(p) в размерностях 3–10. Похожий сюжет не равен одной формулировке. Если тебе нужно цитировать результат, цитируй ту страницу, чью фразу ты реально повторяешь.

Где Кальаи останавливается, а журнал идёт дальше

6 сентября в комментарии Никос Старревелд спрашивает Кальаи, что ещё проверять, если есть аргумент, формализация в Lean и проверка Lean. Ответ Кальаи того же дня я читал на той же странице. Он пишет, что не уверен, официальный ли это документ Claude. Для письменного доказательства экспертам не хватает деталей, чтобы начать его разбирать. Lean обнадёживает, но формализацию ещё надо проверить на корректность. С доказательствами в Lean, по его словам, всё ещё бывают проблемы, и экспертам в любом случае нужны детали. Он сравнивает это с обычной математикой: он часто сообщает о заявках до того, как сообщество их поняло, иногда они оказывались ложными, иногда висели годами, чаще оказывались верными. С моделями он надеется, что период неопределённости станет короче. Это не приговор «доказано» и не приговор «ошибка». Это отказ закрыть вопрос 6 сентября.

В тот же день, 3 сентября, Кальаи пишет отдельным комментарием, что остальные гипотезы Козмы и Ницана тоже доказаны, и даёт ссылку. Ссылку я не открывал. Значит, в эту статью она не входит как проверенный факт. Это его реплика, не абзац Scientific American.

Журнал этой развилки не держит. Бенедикт Янель из Технического университета Брауншвейга говорит автору, что результат вызвал двойственное чувство: радость, что гипотезу наконец доказали, и разочарование, что последний шаг сделала модель. Фраза «наконец доказали» — его оценка в интервью журналу, не протокол проверки, который я видел у Кальаи. Янель ещё говорит, что того, кто решает эту задачу, вероятно, ждёт Филдсовская премия, и спрашивает, будут ли такие премии дальше и кому их дадут. Он добавляет, что медали часто давали за доказанные теоремы и что неясно, попадёт ли человек в такой список снова. Это его мнение в журнале. Кальаи медаль в открытом мной посте не обещает и не отменяет.

Дюминиль в пересказе журнала говорит близкое к декларации математиков, но другими словами: математический вопрос больше, чем теорема, которая ждёт доказательства, это маяк. Понимание, по нему, приходит и через неудачи. Его собственные попытки взять эту задачу дали другие результаты. Надежда журнала — что такие находки не пропадут, когда моделями пользуются чаще. Пост Кальаи цитирует не эти строки, а факт, что пост Хьюго вышел за три дня до заявки. Комментарий Алонсо Кастильо-Рамиреса, который Кальаи приводит с симпатией, другой: радость и красота математики возможны независимо от того, человек её создал или модель. Это не позиция журнала и не позиция компании.

Как это читать, если ты не в теме

Тебе не нужно выбирать лагерь по заголовку. На 3 сентября у математика, который ведёт этот блог, заявка есть, проверка Lean заявлена, а разбор людьми и проверка самой формализации ещё впереди. На 30 сентября популярный журнал уже пишет так, будто переход показан, и не повторяет оговорку Кальаи. Между этими датами я не открывал письмо Anthropic, которое закрывало бы щель. Поэтому честная фраза на сегодня такая: есть публичная заявка и есть более поздний журнальный пересказ, который звучит увереннее ранней оговорки. Это не то же самое, что независимая человеческая проверка, которую Кальаи 6 сентября ещё считал необходимой.

Кальаи 6 сентября пишет, что Lean обнадёживает, но формализацию ещё надо проверить, а экспертам нужны детали письменного доказательства. Журнал 30 сентября этой паузы не ставит.

Я не даю шагов, как повторить доказательство, и не оцениваю, верна ли формализация. Для такого вывода нужен репозиторий и человек, который его читал. У меня в этой паре одна осторожная математическая заметка и один журнальный перевод. Если тебе приносят скрин «задача закрыта, Филдсовская премия больше не человеку», он берёт настроение Янеля и выбрасывает условие Кальаи. Оба куска надо держать вместе, иначе ты читаешь только поздний заголовок.

Контекст дают команда /insights и заметка про GLM-5.3.

Материал не является инвестиционной рекомендацией. Крипта — высокий риск, решения принимаешь сам.