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