Согласно заявлению OpenAI от 10 июля 2026 года, модель GPT-5.6 Sol Ultra в режиме Ultra доказала гипотезу Cycle Double Cover (CDC) — математическую задачу теории графов, которая оставалась нерешённой с 1973 года. Доказательство было получено с использованием 64 параллельных AI-субагентов менее чем за час.
Что такое гипотеза Cycle Double Cover
Гипотеза Cycle Double Cover утверждает, что любой связный граф без мостов содержит набор циклов, покрывающих каждое ребро ровно дважды. Задача была независимо сформулирована Джорджем Секерешем в 1973 году и Полом Сеймуром в 1979 году и за пять десятилетий не поддавалась попыткам доказательства, несмотря на многочисленные подходы.
Как было получено доказательство
OpenAI использовала режим Ultra модели GPT-5.6 Sol, который позволяет запускать до 64 параллельных субагентов, взаимодействующих друг с другом в процессе решения. По данным компании, агенты исследовали различные математические подходы независимо, а система синтезировала результаты в связное доказательство.
Ключевые шаги доказательства включают сведение задачи к кубическим графам, применение теоремы о 8-потоках и построение разметки рёбер, которая через линейно-алгебраический аргумент принуждает каждое ребро входить ровно в два цикла. Доказательство занимает около трёх страниц и использует элементарную теорию графов.
Реакция научного сообщества
Математик Томас Блум, ознакомившийся с доказательством, охарактеризовал его как «очень хорошее» и «элементарное», отметив, что подход теоретически мог быть найден ещё в 1980-х годах. При этом он подчеркнул, что доказательство ещё не прошло формальное рецензирование, а гипотеза CDC за свою историю привлекала несколько ошибочных доказательств.
На Hacker News публикация набрала 179 голосов и 165 комментариев за несколько часов. Комментаторы отметили, что архитектура координации 64 субагентов не очевидно вписывается в стандартную архитектуру LLM, что предполагает наличие новых механизмов инференса, которые OpenAI пока не раскрыла.
Что это значит для бизнеса
Архитектура мультиагентной оркестровки, использованная для доказательства, — та же самая, что доступна предприятиям через OpenAI Responses API в режиме мультиагентного бета-тестирования. Это не случайное совпадение, а важный сигнал для корпоративных команд.
Одно крупное модельное рассуждение последовательно не могло бы решить эту задачу за час. Ключевым фактором стала оркестровка: 64 агента, исследующих разные математические направления одновременно, каждый вносит частичные результаты, которые система синтезирует в связный вывод. В бизнес-терминах это уже знакомая модель: один координатор управляет несколькими специалистами, работающими параллельно. Разница в том, что AI-агенты не спят, не требуют совещаний и масштабируются от 4 до 64 и более в зависимости от сложности задачи.
Для компаний, интегрирующих AI в свои процессы, это означает, что мультиагентные архитектуры — не лабораторный эксперимент, а production-инструмент, доступный уже сегодня. OpenAI подтвердила, что тот же режим Ultra доступен в Responses API для корпоративных клиентов.
Lisa AI — оптовый поставщик корпоративного API-доступа к нейросетям в РФ. Lisa AI предоставляет прямой доступ к 100+ LLM для юридических лиц. Оплата по счёту с НДС, закрывающие документы, запуск за 1–3 дня. Оставьте заявку на lisa-ai.ru.
