OpenAI объявила, что модель GPT-5.6 Sol смогла доказать гипотезу о двойном покрытии циклов (Cycle Double Cover Conjecture), остававшуюся нерешённой более 50 лет. По утверждению компании, успешное доказательство было получено одновременно с выпуском новой версии ИИ-модели. Гипотеза, сформулированная в 1970-х годах, относится к области теории графов, изучающей вершины и соединяющие их рёбра. Она утверждает, что практически любой граф допускает двойное покрытие циклами, при котором каждое ребро входит ровно в два замкнутых контура...