Claude построил доказательство гипотезы из теории перколяции спустя почти 70 лет
Гипотеза касается порога появления бесконечных связных кластеров в случайной сети.
Теория возникла в 1957 году и применяется к потокам через пористые материалы.
Anthropic опубликовала сгенерированное моделью строгое доказательство; специалисты описывают решающий шаг как вклад ИИ.
Почему важно
Модели переходят от помощи в вычислениях к созданию проверяемого нового знания, а задача математика смещается к постановке проблемы и проверке доказательства.