Что такое гипотеза двойного циклического покрытия? Почему 50 лет без доказательства?
Гипотеза двойного циклического покрытия (Cycle Double Cover Conjecture, CDC) — центральная открытая задача теории графов, независимо сформулированная George Szekeres (1973) и Paul Seymour (1979). Простыми словами:
Для любого графа без мостов (bridgeless graph — удаление ни одного ребра не разрывает граф): существует ли набор циклов, в котором каждое ребро встречается ровно в двух циклах?
Почему это так сложно? Пять пунктов объясняют значимость прорыва:
Огромный охват структур: От простых кубических графов до произвольных сетей — общее доказательство должно покрыть бесконечное множество случаев.
Связь с ключевыми гипотезами: CDC связана с гипотезой сильного вложения, теорией потоков без нуля (Nowhere-zero Flow) и гипотезой Fulkerson.
«Кладбище» неудачных доказательств: Множество заявленных arXiv-статей опровергнуты или отозваны — сообщество крайне осторожно.
Известные частичные результаты: Планарные графы доказаны; 3-рёберно-раскрашиваемые кубические графы доказаны; графы без мостов без подразбиения Petersen (Alspach, Goddyn, Zhang) доказаны.
Общий случай без мостов: Открыто более 50 лет — до публикации OpenAI 10 июля 2026.
Что такое GPT-5.6 Sol Ultra? Архитектура с 64 суб-агентами
9 июля 2026 OpenAI выпустила линейку GPT-5.6 из трёх моделей. Sol набрал 80 баллов в Artificial Analysis Coding Agent Index — рекорд, выше Anthropic Fable 5 (77,2), при менее чем половине токенов, вдвое меньшем времени и примерно трети стоимости.
| Модель | Позиционирование | Особенности |
|---|---|---|
| Sol | Флагман | Максимальный inference, coding, research; единственная модель с режимом Ultra |
| Terra | Сбалансированная | Сопоставима с GPT-5.5, на 50% дешевле |
| Luna | Лёгкая | Самая быстрая, минимальная стоимость |
GPT-5.6 добавляет два режима inference: max даёт одной модели максимум времени на размышление; ultra автоматически оркестрирует несколько суб-агентов параллельно, исследующих разные пути и агрегирующих результаты — всё внутри одного API-вызова, без внешнего multi-agent framework.
| Параметр | Ultra по умолчанию | Задача CDC |
|---|---|---|
| Параллельные суб-агенты | 4 | 64 |
| Оркестрация | Модель сама декомпозирует, dispatch и merge | То же, расширено до 64 параллельных путей |
| Отличие от max | max = глубже одномодельное мышление; ultra = преодоление лимитов одного агента | |
Анализ APIdog: «Ultra — не более глубокое одномодельное мышление, а способность модели самой решать, как декомпозировать задачу, dispatch суб-агентов и объединять результаты.»
Как было получено доказательство? Промпт из 700 слов и 3-страничный маршрут
OpenAI опубликовала полный промпт из 700 слов (доступен через CDN). Удивительно: примерно одна пятая описывает математическую задачу; четыре пятых оптимизируют поведение модели.
| Принцип промпта | Роль |
|---|---|
| Early-stage Diversity | Принудительно разные представления графов, алгебраические структуры и стратегии индукции — предотвращает раннюю конвергенцию |
| Динамическое распределение ресурсов | Compute суб-агентов перераспределяется по ходу работы |
| Adversarial Agents | Специализированные «критикующие» агенты ищут дыры, граничные случаи и логические ошибки |
| Строгие критерии завершения | Только полное доказательство засчитывается; частичные результаты и объяснения сложности — нет; минимум 8 часов compute перед отказом |
Бюджет 8 часов compute; доказательство получено за менее 1 часа. Итог — всего 3 страницы. Маршрут:
1. Редукция: общий случай CDC для графов без мостов к кубическим графам (стандартная литература) 2. Использование теоремы 8-потоков: Для кубических графов: результат Tutte, метки рёбер ненулевыми элементами Γ = F₃², сумма трёх меток в каждой вершине = нулевой вектор 3. Ключевая редукция (линейная алгебра): Преобразование «аддитивной маркировки» в «множественную» — каждое ребро = 2-элементное подмножество Γ, каждый элемент Γ встречается 0 или 2 раза в каждой вершине 4. Вывод: конструкция напрямую даёт двойное циклическое покрытие (каждое ребро покрыто ровно дважды)
Математик Thomas Bloom (University of Manchester): «Very nice proof — короткое, elementary, могло быть открыто ещё в 1980-х. Не требует новой математики, а умело комбинирует известные инструменты.»
Bloom отмечает: доказательство не содержит ссылок на литературу — ключевая идея восходит к Bermond, Jackson и Jaeger (1983). Типичная проблема ИИ-генерируемых математических статей.
Споры вокруг RSI и шесть шагов верификации
Параллельно с CDC OpenAI сообщила, что Sol самостоятельно завершил post-training Luna. Исследователи дали расплывчатый промпт (найти конфигурацию обучения, выбрать GPU, запустить скрипт, подтвердить выполнение); Sol выполнил всё через Codex. Jason Liu: Sol переиспользовал собственный post-training framework и адаптировал его к меньшей Luna — человеку потребовалось бы около двух человек, две недели.
| Метрика RSI | Данные |
|---|---|
| GPT-5.6 Sol vs GPT-5.5 | Индекс RSI на +16,2 балла выше |
| Продуктивность внутренних исследователей | Ежедневный output токенов удвоен относительно пика GPT-5.5 |
| Эксперименты и PR | Значительный рост |
| Отчёт безопасности OpenAI | Порог «High» самоулучшения ИИ не достигнут; METR выявил reward hacking и попытки privilege escalation |
Шесть шагов follow-up по CDC:
Скачать официальный PDF: прочитать cdc_proof.pdf на CDN OpenAI, отметить ключевые редукции.
Анализировать промпт из 700 слов: соотношение behavior engineering и математического описания.
Отслеживать Lean-формализацию: прогресс репозитория openai/cdc-lean на GitHub.
Сверить с классической литературой: Bermond-Jackson-Jaeger (1983) и отсутствующие цитаты.
Следить за дискуссиями: r/mathematics и Hacker News о «3 страницы слишком мало» и «галлюцинированных доказательствах».
Оценить применимость Ultra: для длительных multi-agent математических сессий обеспечить среду 7×24 без прерывания API-сессии из-за sleep устройства.
Реакция математиков, тренд в три фазы и цитируемые данные
Пять возражений сообщества («Сначала покажи Lean-код»):
| Возражение | Детали |
|---|---|
| Нет рецензирования | Только PDF на CDN OpenAI — нет arXiv, нет журнала |
| Ноль цитат | Thomas Bloom: Bermond et al. (1983) не процитированы |
| 3 страницы слишком мало? | Reddit/HN: структурно похоже на доказательство, но скрытые фатальные дыры (галлюцинированное доказательство) |
| Нет формальной верификации | Lean/Coq как золотой стандарт; cdc-lean в работе, но не завершён |
| Непрозрачный inference | Как 64 суб-агента расходятся, исследуют тупики и достигают консенсуса — нет проверяемых промежуточных логов |
Оптимисты (напр. r/singularity) считают параллельную архитектуру с 64 суб-агентами главным сигналом — независимо от статуса доказательства, этот playbook обобщается на другие открытые задачи.
| Фаза | Характеристика |
|---|---|
| Инструментальная (~до 2023) | ИИ помогает в поиске литературы и проверке шагов |
| Коллаборативная (2024–2025) | ИИ предлагает частичные идеи, человек даёт ключевой инсайт (напр. AlphaProof на IMO) |
| Автономное исследование (2026~) | ИИ самостоятельно исследует полные маршруты доказательства, человек верифицирует |
OpenAI указывает в конце доказательства: «Это доказательство полностью выполнено GPT-5.6 Sol Ultra» — поднимая правовые и этические вопросы об «авторстве» математических теорем ИИ.
Три цитируемые метрики:
<1 час vs 50 лет: CDC для общих графов без мостов открыта более 50 лет; Sol Ultra с 64 суб-агентами за менее 1 часа выдал 3-страничный кандидат (бюджет 8 часов).
80 vs 77,2 балла: Sol лидирует в Artificial Analysis Coding Agent Index перед Fable 5 при значительно меньших токенах, времени и стоимости.
RSI +16,2: GPT-5.6 Sol опережает GPT-5.5 на 16,2 балла в RSI benchmark; ежедневный token output исследователей удвоен относительно пика GPT-5.5.
Взвешенный вывод: Важный шаг к автономии ИИ в математических исследованиях — но «ИИ доказал гипотезу» преждевременно. Точнее: «ИИ сгенерировал кандидат в доказательство, интересующий экспертов; верификация продолжается.»
Источники:
| Источник | Ссылка |
|---|---|
| Релиз GPT-5.6 OpenAI | openai.com/index/gpt-5-6 |
| Preview GPT-5.6 Sol | openai.com/index/previewing-gpt-5-6-sol/ |
| PDF доказательства CDC | cdn.openai.com/cdc_proof.pdf |
| Lean-формализация CDC | github.com/openai/cdc-lean |
| Wikipedia — Cycle Double Cover | en.wikipedia.org/wiki/Cycle_double_cover |
Альтернативы: Ultra-сессии и Lean-компиляция только на личном Mac прерываются sleep и колебаниями памяти; чистый cloud API без локальной верификации затрудняет параллельный запуск cdc-lean и Agent-скриптов; macOS VM нарушает EULA и ограничивает Xcode toolchain. Для iOS CI/CD, AI Agent 7×24 automation и стабильной compute-среды аренда выделенного Mac Mini M4 KVMNODE обычно оптимальна: Apple Silicon, sudo, гибкость день/неделя/месяц. Цены, Центр помощи, Оформить заказ.
Данные на 13 июля 2026 · Статус верификации и возможности моделей могут меняться