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

⚡️ GPT-5.6 Sol Ultra опровергла 50-летнюю гипотезу о двойном покрытии циклами Это одна из самых давних открытых проблем теории графов, сформулированная Дьердем Секерешем в 1973 году. В ней утверждается, что для любого графа без мостов найдется набор циклов, такой что каждое ребро графа входит ровно в два из этих циклов. Гипотеза, на самом деле, очень важная, потому что связана, в том числе, с теорией нигде-не-нулевых потоков – центральной темой структурной теории графов. Двойное покрытие пытались доказать много раз, но ни одна из попыток так и не была признана как окончательное решение. А пару часов назад сотрудник OpenAI заявил, что новая модель GPT-5.6 Sol сгенерировала доказательство этой гипотезы всего за час, используя 64 субагента! Доказательство выложили, но оно пока не подтверждено математическим сообществом, идут обсуждения. Если его верифицируют, это будет одно из крупнейших и самых значимых ИИ-доказательств на данный момент.