Компания OpenAI сообщила, что её модель GPT-5.6 Sol доказала гипотезу о двойном покрытии циклами (Cycle Double Cover Conjecture), остававшуюся нерешённой более 50 лет. Доказательство было получено одновременно с выпуском новой версии ИИ.
OpenAI заявляет, что их новая модель рассуждений впервые самостоятельно доказала нерешенную гипотезу Эрдёша (1946). Ранее компания ошибочно приписывала GPT-5 решение других задач, но теперь ошибка учтена.