OpenAI опубликовала PDF с доказательством гипотезы о двойном покрытии циклами (Cycle Double Cover Conjecture). Авторство приписывают модели GPT-5.6 Sol Ultra.
Гипотезу о двойном покрытии циклами независимо друг от друга сформулировали в 1970-х годах математики Джордж Секереш и Пол Сеймур. Она утверждает: любой связный граф без мостов (то есть без рёбер, удаление которых разрывает граф на части) можно покрыть набором циклов так, что каждое ребро окажется покрыто ровно дважды. С момента формулировки гипотезу не могли доказать почти полвека.
Файл с доказательством выложили на собственном CDN OpenAI. Ссылку подхватили на Hacker News — пост набрал 81 балл и 43 комментария, что для математической новости немало.
Для гипотез такого уровня сложности проверка обычно занимает месяцы: математикам нужно построчно разобрать логику, найти возможные пробелы или скрытые допущения.
Если доказательство подтвердится, это станет одним из первых случаев, когда языковая модель закрыла давно известную открытую проблему в чистой математике, а не просто переупаковала существующие результаты.
Пока же есть только PDF и обсуждение на форуме. Официального рецензирования математическим сообществом не было.
