GPT-5.6 Sol Ultra решил 50-летнюю математическую задачу за час: 64 суб-агента против недоказанной гипотезы

OpenAI сообщила, что «GPT-5.6 Sol Ultra» за час построил доказательство гипотезы о двойном цикле (Cycle Double Cover Conjecture). Задача оставалась нерешённой 50 лет. Система работала в параллельном режиме: 64 суб-агента совместно искали цепочки рассуждений, синтезируя проверяемый результат.

Математик Томас Блум (Thomas Bloom) оценил доказательство как «удивительно элементарное» — оно не требует сложного аппарата, доступно для понимания специалисту. Однако он раскритиковал работу за отсутствие ссылок на известные предшествующие результаты: бот проигнорировал существующие леммы и теоремы, что ставит под вопрос его интеграцию в научный контекст.

Новость поднимает фундаментальный вопрос: перекомбинирует ли современный ИИ известные факты или способен порождать принципиально новое знание? Если доказательство подтвердится — это станет сильным аргументом в пользу второго. Пока же сообщество ждёт независимой верификации и полноценной публикации.