OpenAI заявила о доказательстве гипотезы о двойном покрытии циклами с помощью GPT-5.6 Sol Ultra

Компания OpenAI разместила на своём CDN документ, в котором утверждается, что языковая модель GPT-5.6 Sol Ultra получила доказательство гипотезы о двойном покрытии циклами (Cycle Double Cover Conjecture) — одной из известных нерешённых задач теории графов.

Материал опубликован в формате PDF по прямой ссылке на серверах OpenAI, без сопроводительного пресс-релиза или отдельной статьи с пояснениями.

Реакция сообщества

Публикация быстро попала в топ Hacker News, где к моменту написания заметки набрала 179 очков и вызвала 165 комментариев. Активность обсуждения говорит о том, что заявление привлекло внимание как специалистов по искусственному интеллекту, так и математиков, однако подробности содержания дискуссии в имеющихся источниках не приводятся.

Что известно и чего нет

В доступном описании отсутствуют сведения о том, прошло ли доказательство независимую проверку математическим сообществом, кто именно из исследователей OpenAI работал над задачей и какие методы применялись при генерации доказательства. Не указано также, каким образом модель формулировала и оформляла математические выкладки и был ли использован вспомогательный инструментарий для формальной верификации.

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

На данный момент имеющиеся материалы не позволяют оценить корректность и полноту представленного доказательства — редакция будет следить за развитием ситуации и реакцией научного сообщества.

Источник: Hacker News