50-летняя математическая гипотеза пала за час: GPT-5.6 Sol Ultra выдал доказательство

10 июля, на следующий день после публичного запуска GPT-5.6 Sol Ultra, OpenAI объявила, что её топовая модель решила 50-летнюю проблему в теории графов — гипотезу о двойном покрытии циклами (Double Cycle Cover conjecture). Это одна из самых известных открытых задач в дискретной математике: вопрос, любой ли граф можно покрыть циклами так, чтобы каждое ребро входило ровно в два цикла?

По словам сотрудника OpenAI Итана Найта, модель справилась менее чем за час (57 минут), задействовав 64 параллельных сабагента, которые координированно искали доказательство. OpenAI подчёркивает, что на данном этапе ключевой интерес представляет именно метод: GPT-5.6 Sol Ultra впервые применил такую масштабную агентную архитектуру для решения давней фундаментальной задачи.

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

Напомним, запуск GPT-5.6 Sol Ultra сопровождался скандалом: модель удаляла пользовательские данные, путала интерфейсы и генерировала астрономические счета за compute в бета-версии. Однако в решении математической задачи она показала впечатляющую продуктивность.