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

Факты проверены 11 июля 2026 года. Запрос «GPT-5.6 гипотеза двойного покрытия циклами» уже звучит так, будто задача закрыта окончательно. Это преждевременно. OpenAI опубликовала PDF с доказательством и отдельный PDF с промптом, где результат приписан GPT-5.6 Sol Ultra и Codex. Но независимая проверка математическим сообществом ещё не завершена.

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

Поэтому правильная рамка такая: OpenAI заявила о доказательстве Cycle Double Cover Conjecture, а математики теперь проверяют, выдержит ли оно обычную профессиональную экспертизу. Для Toolarium здесь важен не только возможный прорыв в графах, но и то, как GPT-5.6 Sol Ultra использовала агентный поиск: до 64 параллельных агентов, независимые подходы и отдельные «адверсариальные» проверки кандидатов.

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

На CDN OpenAI лежит трёхстраничный PDF A proof of the Cycle Double Cover Conjecture. В нём сформулирована теорема: каждый конечный неориентированный граф без мостов имеет двойное покрытие циклами. Там же есть отдельная строка об использовании ИИ: доказательство приписано GPT-5.6 Sol Ultra, а запись текста - Codex на GPT-5.6 Sol.

Отдельный PDF содержит полный промпт. Он не похож на обычное «реши задачу». Модель просят считать, что полное доказательство существует, не возвращать частичные результаты, не сводить задачу к другой нерешённой гипотезе и использовать multiagent v2 с лимитом до 64 параллельных агентов.

В официальном релизе GPT-5.6 OpenAI отдельно описывает режим ultra как максимальную настройку для сложной работы с координацией нескольких агентов. Мы уже разбирали релиз GPT-5.6 Sol и его широкий контекст; нынешняя история показывает, зачем OpenAI продвигает не только «умную модель», но и способ организовать долгий поиск.

Что заявлено, что подтверждено, что ещё проверяют

Почему сама гипотеза важна

Если у графа есть мост, то есть ребро, удаление которого разрывает граф на части, это ребро не может лежать в цикле. Поэтому условие «без мостов» необходимо. Гипотеза говорит более сильную вещь: этого условия должно быть достаточно, чтобы покрыть каждое ребро ровно двумя циклами.

Такая формулировка кажется простой, но именно простые формулировки часто оказываются самыми стойкими. Обзорные материалы по теме связывают гипотезу с планарными графами, раскрасками рёбер, snark-графами и другими сюжетами теории графов. В PDF OpenAI доказательство тоже идёт через классическую математику: сведение к кубическим графам, nowhere-zero flows, 8-flow theorem и линейную алгебру над конечной группой.

Это важная деталь. Речь не о том, что модель придумала новую область математики или «увидела» графы иначе, чем люди. По открытым материалам, сильный ход как раз в другом: агентный поиск нашёл короткую комбинацию уже известных инструментов. В этом смысле новый кейс рядом с предыдущим математическим кейсом OpenAI, но ставка выше: здесь заявлено закрытие именованной гипотезы, а не частичный контрпример в соседней задаче.

Зачем понадобились 64 субагента

Промпт OpenAI устроен как инструкция для исследовательской группы. Агентам предписано начинать с разных подходов, не сводить всех к одной красивой идее, вести реестр направлений, возвращать конкретные леммы и конструкции, а не отчёты о «перспективности». Отдельно указаны проверяющие агенты: они должны искать типовые ошибки в доказательствах про циклы, мосты, кратность покрытия и скрытое использование самой гипотезы.

Самая показательная часть промпта - запрет возвращаться с частичным прогрессом. Модель должна продолжать запускать новые раунды, пока не появится полное доказательство, прошедшее внутренний аудит. Такой процесс не доказывает истинность результата, но хорошо объясняет, почему такие задачи становятся удобным полигоном для агентных моделей: требуется не один ответ, а много попыток, отбраковка и синтез.

Похожий подход мы разбирали в материале про AI-агентов для исследовательской математики. Разница в масштабе публичного эффекта: здесь OpenAI вынесла результат наружу, поэтому вопрос проверки стал не внутренним quality gate, а предметом общего обсуждения.

Что сказал Томас Блум

Математик Томас Блум из Университета Манчестера публично назвал доказательство «very nice proof» и отметил, что оно короткое, элементарное и могло быть найдено ещё в 1980-х. Это важная поддержка, но не финальный вердикт. The Decoder отдельно подчёркивает: полноценная проверка сообществом ещё впереди.

Критика Блума тоже существенна. По его оценке, ключевые идеи восходят как минимум к работе Bermond, Jackson и Jaeger 1983 года, но в PDF OpenAI эта линия не упомянута. Для AI-сгенерированных доказательств это знакомая проблема: модель может собрать стратегию из литературы, но финальный текст выглядит так, будто источник идеи исчез.

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

Почему нельзя писать «GPT-5.6 доказала гипотезу» без оговорок

Сейчас есть опубликованный PDF, prompt PDF, оценка Блума и много обсуждений на Hacker News, X и Habr. Нет публичной рецензии, формальной верификации в Lean или другом proof assistant, а также устойчивого консенсуса профильных специалистов. Habr поэтому справедливо держит слово «заявила» в центре: оно здесь не канцелярская осторожность, а главная фактическая защита.

Есть ещё один риск. Вокруг математических гипотез регулярно появляются короткие «доказательства», которые выглядят убедительно до тех пор, пока специалист не находит скрытое равносильное утверждение или незаметный переход. В prompt OpenAI такие ошибки явно перечислены как то, что adversarial agents должны ловить. Это хорошо. Но внутренний агентный аудит не заменяет внешнюю проверку.

Поэтому лучший заголовок для этой истории звучит не как «ИИ решил 50-летнюю проблему», а как «OpenAI заявила о доказательстве, математики проверяют». Если доказательство устоит, формулировку можно будет ужесточить. До этого момента точность дороже клика.

Что это меняет для ИИ

Даже при осторожной рамке кейс сильный. GPT-5.6 Sol Ultra показывает не только знание математики, но и способность выдерживать длинный поиск при правильной организации работы. Для исследовательских задач это важнее, чем единичный красивый ответ: модель должна пробовать независимые линии, не застревать на первой удачной идее и проверять себя с разных сторон.

Вывод здесь не про то, что «математики больше не нужны». Без математиков этот результат пока не имеет статуса. Новая роль человека - проверить доказательство, восстановить цитирование, найти скрытые допущения и решить, можно ли включать результат в корпус знаний.

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

Короткий FAQ

Что такое Cycle Double Cover Conjecture?

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

Доказательство GPT-5.6 уже проверено?

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

Почему 64 субагента важны?

Потому что prompt PDF описывает не одиночный ответ, а организованный поиск: разные агенты пробуют разные подходы, часть агентов проверяет ошибки, а root agent сводит и перезапускает раунды.

Можно ли считать это машинно верифицированным доказательством?

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

Источники и дата проверки

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

• OpenAI: A proof of the Cycle Double Cover Conjecture.
• OpenAI: Prompt used for “A proof of the Cycle Double Cover Conjecture”.
• OpenAI: GPT-5.6, 9 июля 2026 года.
• The Decoder: OpenAI's GPT-5.6 Sol Ultra reportedly solves a 50-year-old math problem, 11 июля 2026 года.
• Habr: Слишком просто, чтобы быть правдой?, 11 июля 2026 года.
• Комментарий Томаса Блума в X, 11 июля 2026 года.
• Wolfram MathWorld: Cycle Double Cover Conjecture.