# Нейросеть GPT-5.6 Sol Ultra решила математическую задачу, не поддававшуюся учёным 50 лет

> Модель GPT-5.6 Sol Ultra от OpenAI за менее чем час доказала гипотезу о двойном цикловом покрытии (Cycle Double Cover Conjecture), сформулированную в 1970-х годах, сообщил в X исследователь Лун Ван (Lun Wang).

- Canonical HTML: https://youragents.me/ru/media/news/nejroset-gpt-5-6-sol-ultra-reshila-matematicheskuju-zadachu-ne-poddavavshujusja-uchjonym-50-let
- Markdown: https://youragents.me/ru/media/news/nejroset-gpt-5-6-sol-ultra-reshila-matematicheskuju-zadachu-ne-poddavavshujusja-uchjonym-50-let.md
- Section: Новости
- Published: 2026-07-12T05:37:33+03:00
- Modified: 2026-07-12T05:37:33+03:00

Модель GPT-5.6 Sol Ultra от OpenAI за менее чем час доказала гипотезу о двойном цикловом покрытии (Cycle Double Cover Conjecture), сформулированную в 1970-х годах, сообщил в X исследователь Лун Ван (Lun Wang). 

Гипотеза о двойном цикловом покрытии — одна из нерешённых проблем теории графов, которая предполагает, что любой граф без мостов можно покрыть набором циклов так, чтобы каждое ребро входило ровно в два цикла. Задача оставалась открытой с момента её формулировки в 1972 году.

По словам Вана, сотрудника лаборатории искусственного интеллекта при Стэнфордском университете, модель GPT-5.6 Sol Ultra справилась с доказательством за 47 минут, используя 64 вспомогательных агента. В своём посте он отметил, что решение было получено «без предварительной настройки на специфические математические задачи» и основывалось на общем алгоритме поиска доказательств. Ван также опубликовал ссылку на препринт статьи с подробным описанием метода.

Реакция научного сообщества оказалась неоднозначной. Часть исследователей назвала результат прорывом, подчёркивая, что нейросети впервые удалось решить задачу такого уровня сложности без прямого участия человека. Другие, однако, выразили сомнения в корректности доказательства, указывая на отсутствие независимой экспертизы и потенциальные ограничения метода. Критики также отметили, что решение не было верифицировано традиционными математическими инструментами, такими как системы автоматического доказательства теорем.

Ранее OpenAI не заявляла о способности своих моделей решать фундаментальные математические проблемы. GPT-5.6 Sol Ultra позиционировалась как универсальная система для работы с естественным языком и кодом, а не как специализированный инструмент для научных вычислений.

Источники: X-пост Лун Вана (Lun Wang), 10 июля 2026 года; препринт статьи на arXiv.