Claude доказал гипотезу о непрерывности перколяции
2026-09-30 стало известно о результате Anthropic в теории перколяции: система Claude построила формальное доказательство непрерывности фазового перехода для бернуллиевской перколяции по рёбрам решётки ℤ^d при d ≥ 2. Работа закрывает диапазон размерностей от 3 до 10, для которого общий результат ранее отсутствовал. Доказательство опубликовано в официальном репозитории Anthropic и записано на языке Lean, позволяющем автоматически проверять логическую корректность.
Разработка доказывает одну из гипотез Kozma–Nitzan через более сильное неравенство склейки и заново выводит необходимые классические результаты из Mathlib. Репозиторий распространяется по лицензии Apache 2.0; к доказательству приложено 15-страничное пояснение. Anthropic не раскрыла точную версию Claude, затраты на работу модели и число использованных токенов. Автоматическая проверка подтверждает согласованность кода, однако независимого научного рецензирования пока нет, а соответствие формализованного утверждения исходной математической задаче требует проверки специалистами.
Для исследовательских подразделений результат показывает практический сценарий применения LLM: подготовку машиночитаемых доказательств с последующей проверкой, а не замену экспертной оценки. Открытый код позволяет университетам и компаниям воспроизвести проверку у себя, но стоимость проекта в USD и рублях оценить нельзя — Anthropic не опубликовала данные о вычислениях. Основной риск — принять технически корректную формализацию за окончательно подтверждённое научное открытие; перед использованием результата следует провести независимую экспертизу постановки и доказательства.