GPT-5.6 Sol Ultra предъявил доказательство 50-летней задачи графовой теории
OpenAI опубликовала PDF с доказательством гипотезы о двойном покрытии циклами, составленным GPT-5.6 Sol Ultra. Задача открыта с 1979 года — если математическое сообщество подтвердит результат, это первая фундаментальная теорема комбинаторики, доказанная языковой моделью.