⚡️ GPT-5.6 Sol Ultra доказала 50-летнюю гипотезу о двойном покрытии циклами

Это одна из самых давних открытых проблем теории графов, сформулированная Дьердем Секерешем в 1973 году.

В ней утверждается, что для любого графа без мостов найдется набор циклов, такой что каждое ребро графа входит ровно в два из этих циклов.

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

А пару часов назад сотрудник OpenAI заявил, что новая модель GPT-5.6 Sol сгенерировала доказательство этой гипотезы всего за час, используя 64 субагента!

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