ИИ Anthropic решил давнюю гипотезу теории перколяции

Материал подготовлен искусственным интеллектом на основе нескольких источников — ссылки на оригиналы приведены ниже.
Компания Anthropic опубликовала доказательство давней гипотезы теории перколяции, сгенерированное большой языковой моделью, всего через несколько дней после того, как математик Юго Дюминиль-Копен предсказал, что ИИ опередит людей. Результат вызвал двойственные чувства у математиков: радость от доказательства сочеталась с разочарованием, что последний шаг сделал ИИ.
Ключевые факты
- Anthropic опубликовала доказательство гипотезы теории перколяции, сгенерированное большой языковой моделью.
- Юго Дюминиль-Копен, лауреат Филдсовской премии 2022 года, не смог доказать гипотезу и 30 августа 2026 года предсказал, что ИИ опередит людей.
- Математик Бенедикт Янель из Технического университета Брауншвейга заявил, что результат вызвал двойственные чувства.
- Теория перколяции возникла в 1957 году в работах Саймона Ральфа Бродбента и Джона Майкла Хаммерсли о течении жидкостей через пористые среды.
Доказательство ИИ
Anthropic опубликовала доказательство гипотезы теории перколяции, сгенерированное большой языковой моделью. Публикация произошла всего через несколько дней после того, как Юго Дюминиль-Копен, лауреат Филдсовской премии 2022 года, написал в блоге Proofs and Prompts, что падение гипотезы под натиском ИИ — лишь вопрос времени. Дюминиль-Копен сам пытался найти порог, но, как и все другие математики, потерпел неудачу.
Реакция математиков
Бенедикт Янель из Технического университета Брауншвейга охарактеризовал результат как вызвавший двойственные чувства. Он выразил радость от того, что гипотеза наконец доказана, и одновременно разочарование, что последний решающий шаг сделал ИИ. Ранее Янель отмечал, что тот, кто решит эту проблему, вероятно, получит Филдсовскую премию.
История теории перколяции
Теория перколяции возникла в 1957 году, когда математики Саймон Ральф Бродбент и Джон Майкл Хаммерсли исследовали, как разные жидкости протекают через пористую среду. Они моделировали среду как сеть, в которой узлы соответствуют отверстиям, а рёбра — трещинам, по которым движется жидкость. Теория стремится определить, является ли точка частью бесконечно протяжённого связного кластера.