Сотрудник OpenAI заявил, что новая модель GPT-5.6 Sol (в некоторых сообщениях — GPT-5.6 Sol Ultra) сгенерировала доказательство гипотезы о двойном покрытии циклами — одной из старейших открытых проблем теории графов, сформулированной Дьердем Секерешем в 1973 году. По словам OpenAI, доказательство было получено менее чем за час с помощью роя из 64 субагентов, причём результат появился прямо к моменту релиза модели.

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

• Гипотеза утверждает: для любого графа без мостов найдётся набор циклов, такой что каждое ребро графа входит ровно в два из этих циклов
• По данным Хабра, гипотезу независимо выдвигали Секереш и Сеймур ещё в 1970-х годах
• Ранее были закрыты частные случаи — для планарных и кубических графов, общий случай упирался в так называемые снаркиi, где стандартные приёмы теории графов не работают
• По данным Хабра, доказательство заняло три страницы, а вся используемая в нём техника существовала уже к середине 1980-х годов — без какой-либо новой теории
• Доказательство опубликовано, но пока не подтверждено математическим сообществом, идут обсуждения его корректности