Что произошло
OpenAI заявила, что её флагманская модель GPT-5.6 Sol Ultra менее чем за час сгенерировала полное доказательство гипотезы о двойном покрытии циклами (Cycle Double Cover Conjecture) — открытой задачи теории графов, которая не поддавалась математикам около 50 лет. PDF с доказательством компания опубликовала на своём CDN 10 июля, на следующий день после того, как Sol Ultra стала доступна всем пользователям (9 июля). Результат анонсировал сотрудник OpenAI Ethan Knight, подчеркнув, что текст доказательства целиком сгенерирован моделью.
Детали
Гипотезу независимо предложили математики Джордж Секереш (1973) и Пол Сеймур (1979): она утверждает, что в любом графе без мостов (рёбер, разрыв которых разъединяет граф) найдётся набор циклов, покрывающих каждое ребро ровно дважды.
По словам OpenAI, для решения запустили 64 субагента параллельно: промпт направил их к разным конкурирующим подходам, взаимным проверкам и отбраковке частичных доказательств. Итоговый текст занял около трёх страниц и, как отмечают наблюдатели, опирается на инструментарий теории графов рубежа 1970–1980-х — в частности, на работу Бермона, Джексона и Джагера 1983 года.
Математик Thomas Bloom (Манчестерский университет) прокомментировал результат в X: назвал доказательство «очень красивым», коротким и «на удивление элементарным» — по его словам, оно могло быть найдено ещё в 1980-х. При этом Bloom раскритиковал текст за отсутствие корректных ссылок на литературу: доказательство использует идеи и стратегию из работы 1983 года, но не цитирует её. «Это частая проблема с ИИ-сгенерированными доказательствами: они берут идеи и стратегии из литературы без должного цитирования», — отметил он.
Независимой проверки (peer review) доказательство пока не проходило. Сама OpenAI формулирует результат осторожно — как то, что модель «предположительно» (reportedly) решила задачу, а не как окончательно подтверждённый факт.
Что это значит
Пока это заявление компании, а не подтверждённый математический результат: текст не прошёл рецензирование математическим сообществом, а критика Bloom про недостающие ссылки касается именно прозрачности происхождения доказательства — важной вещи для проверяемости, а не мелочи в оформлении.
Исследователям и практикам ИИ сюжет интересен методом, а не самой гипотезой (она нишевая и не имеет прикладного значения для рядового пользователя): связка из 64 параллельных агентов с взаимным аудитом и отбраковкой слабых веток нашла рабочую стратегию доказательства за час. Такой паттерн — много агентов, конкурирующие подходы, жёсткая проверка друг друга — потенциально полезен и в других задачах, где нужно перебрать много гипотез и отсеять неверные.
Пользователям reasoning-моделей и агентных систем это скорее ориентир, чем повод для выводов: параллельные субагенты с взаимной проверкой — рабочий инженерный приём, но скорость генерации не заменяет независимую верификацию результата. Прежде чем доверять громким заявлениям об ИИ-математике, стоит дождаться реакции профильного сообщества.
Горизонт: подтверждение или опровержение — вопрос ближайших недель или месяцев, пока математики разбирают доказательство и сверяют его шаги с первоисточниками. Если оно устоит после рецензирования — это заметный прецедент применения ИИ в фундаментальной науке; если нет — очередное напоминание, что скорость доказательства не гарантирует его корректность.
Контекст
GPT-5.6 (линейка Sol, Terra, Luna) OpenAI открыла для всех пользователей 9–10 июля; Sol Ultra — старшая версия линейки, рассчитанная на самые сложные агентные задачи. Компания и раньше публично сообщала о результатах моделей по другим открытым математическим задачам — и в этот раз тоже нашёлся независимый комментатор, разобравший доказательство по существу, а не просто пересказавший пресс-релиз.
