GPT-5.6 Sol Ultra и доказательство гипотезы о двойном покрытии циклами с помощью 64 агентов

Введение

OpenAI опубликовала рукопись на трех страницах, в которой утверждается полное доказательство гипотезы о двойном покрытии циклами — одной из ключевых нерешенных проблем теории графов, восходящей к 1970-м годам.

По словам исследователей OpenAI Итана Найта и Ноама Брауна, GPT-5.6 Sol Ultra сгенерировал результат менее чем за час реального времени, координируя до 64 параллельных подагентов. Затем для подготовки окончательной математической записи использовался Codex с GPT-5.6 Sol.

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

Ключевое предостережение просто: OpenAI опубликовала заявленное доказательство, а не рецензируемый математический консенсус. Специалистам еще предстоит независимо проверить аргументацию, прежде чем гипотезу можно будет считать формально доказанной.

Что объявила OpenAI

Итан Найт заявил, что GPT-5.6 Sol Ultra сгенерировал доказательство гипотезы о двойном покрытии циклами с 64 подагентами менее чем за час.

Ноам Браун выделил два момента:

1. Конфигурация модели была общедоступна, а не ограничена внутренней исследовательской системой.
2. Параллельные вычисления во время тестирования сократили время выполнения задачи, которая в противном случае потребовала бы гораздо более длительных последовательных рассуждений.

OpenAI описывает ultra как конфигурацию GPT-5.6 с наивысшими возможностями. Она координирует несколько агентов в параллельных рабочих потоках и обменивает более высокое использование токенов на более сильные результаты и более быстрое достижение результата для сложных задач.

Что было опубликовано

Документ	Объем	Назначение
Рукопись доказательства	3 страницы	Представляет полное положительное доказательство
Полный промпт	2 страницы	Определяет теорему, критерии завершения, стратегию поиска, управление агентами и требования к рецензированию

В рукописи доказательства говорится, что доказательство полностью принадлежит GPT-5.6 Sol Ultra, а для записи использовался Codex с GPT-5.6 Sol.

Что такое гипотеза о двойном покрытии циклами?

Граф — это совокупность вершин, соединенных ребрами.

Цикл — это замкнутый путь. Мост — это ребро, удаление которого увеличивает количество связных компонентов.

Гипотеза гласит:

Каждый конечный граф без мостов имеет

Набор циклов, в котором каждое ребро встречается ровно дважды.

Слово "ровно" создает сложность. Добавление нового цикла может исправить одно недостаточно покрытое ребро, но при этом другое ребро может встречаться трижды.

Почему мосты исключены

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

Основная идея опубликованного доказательства

Рукопись не ищет требуемые циклы напрямую.

Она преобразует проблему в задачу маркировки ребер в конечном векторном пространстве, а затем использует линейную алгебру, чтобы показать, что локальные метки могут быть сделаны глобально согласованными.

Шаг 1: Сведение к кубическим графам

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

Шаг 2: Присвоение ненулевой метки потока

Доказательство использует конечное векторное пространство:

Γ = F₂³

Поток без нулей присваивает ненулевой вектор каждому ребру, удовлетворяя правилу сохранения в каждой вершине.

Для меток инцидентных ребер x, y и z:

x + y + z = 0

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

Шаг 3: Замена каждой метки двухэлементным множеством

Каждое ребро e получает двухэлементное множество:

Pₑ ⊆ Γ

Целевое локальное правило:

Для каждой вершины v и метки s ∈ Γ
количество инцидентных ребер e с s ∈ Pₑ равно либо 0, либо 2.

Зафиксируем метку s и соберем все ребра, множество которых содержит её. Тогда каждая вершина имеет степень 0 или 2 в этом подграфе, поэтому выбранные ребра образуют непересекающееся объединение циклов.

Поскольку каждое ребро имеет две метки, оно принадлежит ровно двум семействам циклов, определенных метками. Это создает двойное циклическое покрытие.

Шаг 4: Решение глобальной согласованности

Локальная конструкция должна согласовываться на обоих концах каждого ребра.

Доказательство выражает это условие как линейную систему:

tᵤ + tᵥ + εₑ f(e) = dₑ

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

Локальные двухэлементные множества, таким образом, могут быть объединены в одно глобальное назначение, и требуемые циклы следуют автоматически.

Стратегия в одном предложении

Доказательство не строит циклы по одному. Оно конструирует метки, чья структура четности заставляет циклы появляться.

Почему независимая проверка всё ещё важна

Краткое доказательство знаменитой открытой гипотезы требует тщательной проверки, независимо от того, написано ли оно человеком или системой ИИ.

Рецензентам необходимо убедиться в том, что:

1. Сведение к кубическим графам применяется именно так, как используется.
2. Теорема о потоке без нулей имеет требуемые гипотезы.
3. Локальная разметка обрабатывает каждую допустимую кубическую конфигурацию.
4. Аргумент двойственности доказывает полную разрешимость.
5. Параллельные ребра и несвязные графы обрабатываются корректно.
6. Ни один шаг не предполагает

"ИСПОЛЬЗОВАННЫЙ ЗАПРОС ДЛЯ «ДОКАЗАТЕЛЬСТВА ГИПОТЕЗЫ О ДВОЙНОМ ЦИКЛИЧЕСКОМ ПОКРЫТИИ»". В его кратком описании указано, что документ содержит полный запрос, полученный GPT 5.6 Sol Ultra, который побудил его завершить доказательство Гипотезы о двойном циклическом покрытии. Изображение тесно связано с контекстом: представляя доказательство этой знаменитой открытой гипотезы от GPT-5.6 Sol Ultra, упоминается, что доказательство было основано на тщательном изучении запроса, и на изображении представлено полное содержание запроса, на котором основывалось доказательство.](https://we0-cms.oss-cn-beijing.aliyuncs.com/cms-assets/image/2026/07/5d9fbf42-c97b-4a7a-929c-648ae5af0c10-f9b9049d-3807-4605-8267-7d523fd4ab6d.png)

Урок промпта 1: Определите результат, а не угаданную процедуру

Для сложной задачи с неизвестным путем решения жесткий рабочий процесс может кодировать неверное предположение.

Более сильный запрос определяет конечный артефакт и тесты, которые он должен пройти.

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

Урок промпта 2: Устраняйте неоднозначность на раннем этапе

Запрос определяет класс графов, мосты, циклы, параллельные ребра, несвязные графы и точную кратность перед тем, как запросить доказательство.

Для бизнеса или технической работы эквивалентом является определение:

• Временного диапазона.
• Источника данных.
• Группы пользователей.
• Единицы измерения.
• Требуемого формата.
• Допустимых допущений.
• Исключенных случаев.
• Границ утверждения.

Урок промпта 3: Укажите, что не учитывается

Запрос отклоняет:

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

Этот метод не позволяет агенту вернуть что-то впечатляющее, но неполное.

Урок промпта 4: Сохраняйте независимые пути поиска

Главному агенту было сказано начинать с принципиально разных подходов и не раскрывать предпочтительный путь большинству агентов слишком рано.

Это уменьшает преждевременную конвергенцию и групповое мышление.

Практический портфель агентов может включать:

Семейство агентов	Ответственность
Структурный	Поиск сведений и инвариантов
Алгебраический	Перевод задачи в уравнения
Конструктивный	Непосредственное построение требуемого объекта
Вычислительный	Тестирование случаев и предлагаемых лемм
Литературный	Проверка стандартных теорем
Состязательный	Поиск контрпримеров и скрытых

допущений |
| Синтезатор | Сравнение и слияние совместимых результатов |

Урок промпта 5: Отмечайте заблокированные пути

Когда путь сталкивается с отсутствующей леммой, столь же сложной, как исходная задача, его следует пометить как заблокированный.

Не следует назначать дополнительных агентов, если кто-то не предложит действительно новый механизм, инвариант, конструкцию или контрпример.

Это предотвращает трату вычислительных ресурсов на элегантное, но циклическое сведение.

Урок промпта 6: Отделяйте генерацию от проверки

Запрос требует, чтобы состязательные агенты проверяли точную кратность, случаи параллельных ребер, несвязные графы, недействительные замкнутые обходы, и

Порочный круг.

Агент, создающий решение, не должен быть единственным, кто его оценивает.

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

Урок 7 для промпта: требуйте конкретных доказательств

Подагенты обязаны возвращать конкретные леммы, уравнения, конструкции или контрпримеры. Расплывчатые отчёты вроде "многообещающее направление" не принимались.

Вот многоразовая инструкция:

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

Восьмичасовая инструкция и результат за один час

Промпт предписывает системе потратить не менее восьми часов, прежде чем рассматривать остановку или отказ. В объявлении OpenAI говорится, что доказательство было получено менее чем за час.

В открытых документах не уточняется, как именно была интерпретирована эта инструкция.

Одно из правдоподобных объяснений — разница между реальным временем и совокупным временем работы агентов. При параллельной работе 64 агентов за один час реального времени может быть выполнено много агент-часов работы.

Это скорее предположение, а не подтверждённый метод учёта в рамках эксперимента.

Многоразовый контракт для многозадачного взаимодействия агентов