Модель искусственного интеллекта GPT-5.6 Sol Ultra менее чем за час получила доказательство гипотезы о двойном покрытии циклами (Cycle Double Cover Conjecture), которая оставалась одной из известных нерешенных задач теории графов с 1970-х годов. Об этом сообщил в X сотрудник компании Итан Найт.
Yesterday, we made GPT-5.6 Sol Ultra generally available. Today, we're sharing that it produced a proof of the 50-year-old Cycle Double Cover Conjecture using 64 subagents in just under one hour. We're sharing the prompt and proof below. We're excited to see what you all do with…
— Ethan Knight (@__eknight__) July 10, 2026
Модель использовала систему из 64 параллельно работающих субагентов. Задача была сведена к маркировке ребер графа элементами конечного поля и последующему решению системы линейных уравнений. В результате был сформирован трехстраничный PDF-документ с доказательством.
OpenAI опубликовала полный текст промпта, на основе которого работала модель. . Документ содержит описание цели, критерии корректности доказательства, инструкции по проверке промежуточных результатов и организации работы нескольких параллельных субагентов.
Компания также выложила в открытый доступ трехстраничное доказательство, полученное моделью.
Гипотезу о двойном покрытии циклов сформулировали независимо от друг от друга два математика: Дьёрдь Секереш из Венгрии в 1973 году и британец Пол Сеймур в 1979 году. Она утверждает, что в любом графе без мостов можно подобрать семейство циклов так, чтобы каждое ребро входило ровно в два из них.
При этом говорить об окончательном решении задачи пока преждевременно. Опубликованное OpenAI доказательство еще не прошло независимую экспертную проверку и не опубликовано в рецензируемом научном журнале. Математики уже начали анализировать документ, чтобы подтвердить или опровергнуть его корректность.
