Всего через день после того, как OpenAI сделал свою самую мощную модель общедоступной, компания заявляет, что система предоставила полное доказательство гипотезы двойного покрытия цикла — знаменитой открытой проблемы в теории графов, которая сопротивлялась математикам примерно полвека.

Исследователь OpenAI Итан Найт объявил о результатах 10 июля 2026 года, заявив, что GPT-5.6 Sol Ultra «представил доказательство гипотезы 50-летней давности о двойном покрытии цикла с использованием 64 субагентов чуть менее чем за один час». Это утверждение быстро поднялось на вершину Hacker News, вызвав сотни комментариев от математиков и инженеров, спорящих о том, подтверждается ли доказательство.

Для тех, кто следит за последними разработками в области искусственного интеллекта, результат станет яркой демонстрацией того, куда движутся передовые модели, и напоминанием о том, что их математические утверждения все еще необходимо проверять старомодным способом.

Что такое гипотеза двойного покрытия цикла?

Гипотеза находится в разделе математики, называемом теорией графов. Проще говоря, он задает обманчиво простой вопрос: могут ли ребра любого «безмостового» графа (без ребра, удаление которого разделило бы его на части) всегда быть покрыты набором циклов так, чтобы каждое отдельное ребро появлялось ровно два раза?

Проблема была поставлена ​​независимо несколькими математиками на протяжении многих лет, в том числе Полом Сеймуром в 1979 году и Джорджем Секересом в 1973 году, более ранние корни которой лежат в работах У.Т. Тутте, Алона Итаи и Майкла Родеха. Несмотря на простоту постановки, она стала одной из самых известных нерешенных задач в этой области, а частичные результаты были известны только для специальных классов графов.

Согласно примечанию к доказательству, опубликованному OpenAI, аргумент сводит проблему к кубическим графам без петель, затем опирается на классический результат — теорему о нигде ненулевом потоке над группой F32 (эквивалент теоремы Тутта о 8-потоках) — и ключевой шаг линейной алгебры, который преобразует маркировку ребер в структуру, необходимую для двойного покрытия цикла. Статья занимает всего несколько страниц и, что примечательно, не использует «никакой математики, разработанной за последние 30 лет», как заметил один комментатор Hacker News.

Как GPT-5.6 Sol Ultra подошел к этому

Что отличает этот результат от обычных ответов чат-бота, так это то, как была развернута модель. GPT-5.6 Sol Ultra работал в режиме «мультиагента v2» OpenAI, запуская систему из 64 взаимодействующих субагентов, которые параллельно исследовали различные стратегии доказательства. OpenAI опубликовала полную подсказку вместе с доказательством, предложив редкий взгляд на инструкции, данные системе.

В подсказке модели предписывалось «активно и динамично использовать мультиагент v2», поддерживать «разнообразный портфель подходов» и задействовать состязательных агентов для проверки любого доказательства-кандидата на предмет распространенных ошибок — таких как закрытые маршруты, маскирующиеся под циклы или случайные циклические рассуждения. Он даже приказал системе «потратить на это не менее 8 часов, прежде чем даже думать о возвращении или отказе», хотя последний запуск, как сообщается, завершился менее чем за час.

В разделе «Заявление об использовании ИИ» примечания к доказательству OpenAI прямо заявляет: «Доказательство в этой примечании полностью основано на GPT 5.6 Sol Ultra и описании в Codex (с GPT 5.6 Sol)».

Пока не все в этом убеждены

Математическое сообщество отреагировало со смесью волнения и осторожности — и этот скептицизм вполне оправдан. На момент публикации доказательство не было официально проверено с помощью помощника по доказательству, такого как Lean, и не прошло традиционного рецензирования.

На Hacker News несколько комментаторов отметили, что короткие, элегантные доказательства известных гипотез заслуживают особенно внимательного изучения. «Это очень короткое доказательство, в котором не используется никакая математика, разработанная за последние 30 лет», — написал один из пользователей. «Это не обязательно делает это неправильным, но из-за отсутствия механизации в бережливом производстве или надлежащей экспертной оценки я думаю, что публиковать это преждевременно».

Другие отметили, что ведущие библиотеки формальных доказательств теории графов еще не достаточно зрелы, чтобы проверять результаты такого рода на уровне исследований, а это означает, что проверка, возможно, должна исходить от экспертов-людей, читающих аргументы построчно. Сама OpenAI сформулировала это объявление как часть более широкой схемы: «Больше вычислений во время тестирования приводит к большему интеллекту», — заявила компания, давая понять, что мультиагентный подход, а не этот единственный результат, — это реальная история, которую она хочет рассказать.

Почему это важно

Даже если доказательство Cycle Double Cover в конечном итоге потребует исправления, этот эпизод сигнализирует о значимом сдвиге в том, что большие языковые модели могут делать в чистой математике. Передовые системы искусственного интеллекта ранее давали новые результаты исследований в специализированных областях, включая другие недавние заявления о решенных проблемах в геометрии и комбинаторике, но атака на названную гипотезу, выдвинутую десятилетиями, с помощью скоординированного роя рассуждающих агентов значительно поднимает планку.

Для исследователей вывод двоякий. Во-первых, мультиагентный рецепт — множество независимых попыток, перекрестное опыление идей и состязательный аудит — кажется действительно полезным шаблоном для решения сложных проблем. Во-вторых, узким местом проверки теперь являются исключительно люди: модель может генерировать возможные доказательства быстрее, чем сообщество может их проверить.

Это противоречие, вероятно, определит следующий этап развития математики с помощью ИИ. Как выразился один из комментаторов, если это доказательство подтвердится, «кто-то собирается начать список» других давних проблем, которые можно будет решить для следующего поколения моделей.

На данный момент математики будут внимательно читать трехстраничную заметку с карандашом в руке, в то время как остальная часть индустрии искусственного интеллекта будет следить за тем, станет ли часовая работа GPT-5.6 частью постоянных математических записей.

Будьте впереди ИИ

Чтобы узнать больше о передовых моделях моделей и исследованиях ИИ, посетите домашнюю страницу AI Buzz Wire.

Читать больше новостей об искусственном интеллекте →