GPT-5.6 взялся за гипотезу, которую не могли добить 50 лет

Гипотеза, сформулированная ещё в 1970-х и сопротивлявшаяся десятилетиями, неожиданно могла получить короткое доказательство от GPT-5.6. По словам OpenAI, модели хватило меньше часа и системы из 64 агентов, чтобы выдать трёхстраничное решение задачи о покрытии рёбер графа циклами.

Что именно утверждает гипотеза

Речь идёт о классическом утверждении теории графов: в любом графе без мостов существует набор циклов, который покрывает каждое ребро ровно дважды.

Гипотезу независимо предложили Секереш и Сеймур ещё в 1970-х. Несмотря на простую формулировку, общий случай оставался открытым около 50 лет.

Известно, что отдельные классы графов для этой задачи уже были разобраны:

• •планарные графы
• •кубические графы

Главным препятствием оставались снарки — графы, для которых стандартные методы не срабатывали.

Что заявила OpenAI

OpenAI сообщила, что GPT-5.6 справилась с задачей менее чем за час. Для поиска использовался «рой» из 64 агентов.

Само доказательство, как утверждается, заняло всего три страницы. При этом вся использованная техника была известна уже к середине 1980-х, то есть речь идёт не о новой математической теории, а о неожиданно удачной комбинации давно существующих идей.

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

Почему это выглядит необычно

История особенно примечательна не только возможным закрытием старой задачи, но и характером найденного решения. Заявление OpenAI подразумевает, что машина не изобрела новый аппарат, а собрала из известного инструментария комбинацию, до которой раньше никто не дошёл.