GPT-5.6 Sol Ultra доказала гипотезу о двойном покрытии циклами

ИИ-модель GPT-5.6 Sol Ultra предположительно доказала 50-летнюю математическую гипотезу о двойном покрытии циклами графов.

GPT-5.6 Sol Ultra доказала 50-летнюю гипотезу о двойном покрытии циклами. Проблема сформулирована Дьердем Секерешем в 1973 году: для любого графа без мостов существует набор циклов, где каждое ребро входит ровно в два цикла. Гипотеза важна для теории нигде-не-нулевых потоков. Предыдущие попытки доказательства не были признаны. Сотрудник OpenAI заявил, что GPT-5.6 Sol доказала гипотезу за час с помощью 64 субагентов. Доказательство опубликовано, математическое сообщество ещё не подтвердило его. Верификация сделает это одним из крупнейших ИИ-доказательств. #news

КонтекстAI

Гипотеза о двойном покрытии циклами (Cycle Double Cover Conjecture) является одной из центральных открытых проблем в теории графов. Она утверждает, что любой граф без мостов допускает семейство циклов, в котором каждое ребро графа содержится ровно в двух циклах. Доказательство этой гипотезы имеет фундаментальное значение для теории нигде-не-нулевых потоков.

Кратко (AI)

Модель GPT-5.6 Sol Ultra от OpenAI якобы решила математическую задачу о двойном покрытии циклами, сформулированную Дьердем Секерешем в 1973 году. Доказательство было получено за час работы 64 субагентов, однако математическое сообщество пока не подтвердило его корректность.

GPT-5.6 Sol Ultra доказала гипотезу о двойном покрытии циклами

Кратко (AI)

Обсуждение