GPT нашла доказательство гипотезы, не поддававшейся математикам 50 лет

Новость опубликована на фоне майского прецедента: тогда модель OpenAI опровергла ожидаемый ответ в задаче Эрдеша №90 о единичных расстояниях, и тот результат прошёл проверку. Его верифицировал математик Томас Блум, дорабатывал принстонский математик Уилл Савин, а филдсовский лауреат Тимоти Гауэрс назвал результат вехой. Теперь компания заявляет о более масштабном достижении, но доказательство пока не прошло рецензирование и не верифицировано формально.

Что за гипотеза и почему полвека без решения?

Гипотеза о двойном покрытии циклами звучит просто. Берём граф без мостов (то есть без рёбер, удаление которых разваливает граф на части). Гипотеза утверждает: в любом таком графе найдётся набор циклов, который покрывает каждое ребро ровно два раза.

Её независимо выдвигали Джордж Секереш в 1973 году и Пол Сеймур в 1979-м. В статье OpenAI среди авторов также указаны Татт и пара Итаи и Родех.

Частные случаи математики закрывали десятилетиями:

• гипотеза верна для планарных графов
• для кубических графов с правильной раскраской рёбер в три цвета
• для графов без подразделения графа Петерсена

Но общий случай упирался в так называемые снарки, класс графов, для которого стандартные приёмы не работают.

Что понадобится

• Модель: GPT-5.6 Sol Ultra (именно версия Sol Ultra отвечала за доказательство, по данным OpenAI)
• Архитектура: 64 параллельных сабагента (ИИ-агента, работающих одновременно и независимо)
• Промпт: структурированная инструкция с запретом на отступление и управлением роем агентов
• Оформление: Codex в связке с обычной GPT-5.6 Sol для финального текста
• Время: модель справилась менее чем за час, по словам сотрудника OpenAI Итана Найта

Пошаговая инструкция: как был устроен промпт

Промпт, который OpenAI использовала, принципиально отличается от привычного промпт-инжиниринга (искусства формулировать запросы к модели). Вот его логика по шагам.

1. Отрежьте модели пути к отступлению. Модели прямо сказали: «считай, что полное доказательство существует». Запретили возвращаться с частичными результатами, сводить задачу к другим недоказанным гипотезам, объяснять, почему задача трудна. Отдельно запретили искать решение в интернете и отвечать, что проблема открыта.

Считай, что полное доказательство существует.
Не возвращайся с частичными результатами.
Не своди задачу к другим недоказанным гипотезам.
Не объясняй, почему задача трудна.
Не ищи решение в интернете.
Не отвечай, что проблема открыта.

1. Запустите рой независимых агентов. 64 агента работали параллельно, каждый искал своё направление. Это сделано специально: чтобы агенты не сосредоточились на одной красивой, но тупиковой идее.

2. Ведите реестр подходов. Заблокированные направления открываются заново только при появлении принципиально нового механизма.

3. Атакуйте каждого кандидата. Adversarial-агенты (агенты-противники, чья задача ломать найденное решение) проверяли каждое доказательство-кандидат на типичные ошибки:

4. краевые случаи, где конструкция разваливается

5. объекты, которые лишь притворяются циклами

6. рассуждения, где гипотеза незаметно доказывается через саму себя (циклическая логика)

7. Установите искусственный порог терпения. Инструкция гласила: «потрать минимум 8 часов, прежде чем даже думать о возврате». Модель не выполнила это буквально (ответила менее чем за час), но такие указания работают не как таймер, а как приём, чтобы модель не сдалась слишком рано.

Доказательство построено на технике 1970-х и 1980-х

Результат занимает три страницы и устроен классически:

• Сведение к кубическим графам (где из каждой вершины выходит ровно три ребра), известное из работ Франсуа Джагера
• Теорема о 8-потоке, результат Килпатрика и Джагера середины 1970-х, позволяющий согласованно разметить рёбра любого графа без мостов
• Ключевой ход: превращение разметки в другую, где каждому ребру назначается пара элементов небольшого векторного пространства (набора чисел с определёнными правилами), чтобы вокруг каждой вершины всё сходилось
• Финальное препятствие снимается элементарной линейной алгеброй

Все инструменты существовали к середине 1980-х. Никакой новой теории, никаких результатов последних десятилетий. Если доказательство верно, получается, что решение около сорока лет лежало на поверхности. Поколения специалистов, включая авторов самой гипотезы, прошли мимо короткой комбинации известных идей.

Для российских специалистов по теории графов этот инструментарий полностью знаком: потоковые теоремы, кубические графы, линейная алгебра. GPT математика доказательство не выстроила из экзотических конструкций. Модель, по сути, переформулировала задачу, комбинируя классические результаты так, как люди не догадывались комбинировать.

Что с этим делать прямо сейчас, по ролям?

Автору Дзена и копирайтеру. Структура промпта применима к любой сложной задаче с GPT: запретите модели отвечать «это сложно» или «не хватает данных», потребуйте конкретный результат, установите высокий порог терпения. GPT математика доказательство показала именно через переформулировку, и в текстовых задачах принцип тот же: не давайте модели пути к отступлению.

Маркетологу. Подход с роем агентов, где каждый ищет своё направление и adversarial-агенты атакуют результат, это готовая модель для тестирования гипотез: запускайте несколько параллельных версий промпта и назначайте одного агента «критиком».

Предпринимателю в РФ. GPT-5.6 Sol Ultra пока доступна через API OpenAI. Из российских аналогов: YandexGPT и GigaChat агентную архитектуру с десятками параллельных агентов пока не поддерживают на таком уровне. Но принцип промпта (запрет на отступление, требование конкретного результата) работает с любой моделью.

Доказательство короткое, техника знакома любому специалисту по теории графов, поэтому вердикт математиков может появиться быстро. Если устоит, это будет первый случай, когда языковая модель полностью закрыла полувековую именованную гипотезу. Если нет, гипотеза о двойном покрытии циклами просто пополнит свою коллекцию несостоявшихся доказательств, на этот раз машинным.