OpenAI опубликовала ИИ-доказательство гипотезы о двойном покрытии циклами

OpenAI разместила короткую работу, в которой утверждается доказательство Cycle Double Cover Conjecture — задачи теории графов, остававшейся открытой с 1970-х годов. В документе указано, что доказательство получено GPT-5.6 Sol Ultra, а текст подготовлен с помощью Codex; независимая математическая проверка результата пока не завершена.

OpenAI опубликовала трехстраничную работу «A Proof of the Cycle Double Cover Conjecture», в которой утверждается доказательство гипотезы о двойном покрытии циклами. Эта гипотеза из теории графов формулируется так: у каждого конечного неориентированного графа без мостов должен существовать набор циклов, покрывающий каждое ребро ровно дважды.

В разделе об использовании ИИ сказано, что доказательство целиком получено GPT-5.6 Sol Ultra, а оформление выполнено в Codex с GPT-5.6 Sol. OpenAI также раскрыла prompt: задаче разрешалось использовать до 64 параллельных агентов, а возвращать требовалось только полный результат, прошедший проверку на типичные ошибки.

Пока это не означает, что гипотеза окончательно закрыта: формальная или рецензированная проверка доказательства еще не стала общепринятым результатом. The Decoder сообщает, что математик Томас Блум из Манчестерского университета назвал доказательство неожиданно элементарным, но обратил внимание на недостаточные ссылки на предшествующие работы.