OpenAI сообщила о серьёзном достижении в области искусственного интеллекта: новая модель GPT-5.6 Sol смогла получить доказательство гипотезы о двойном покрытии циклов — одной из самых известных нерешённых задач современной теории графов. На протяжении более 50 лет математики находили лишь частичные решения, однако универсального доказательства до сих пор не существовало.

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

Полвека без общего решения

Гипотеза о двойном покрытии циклов (Cycle Double Cover Conjecture) появилась ещё в 1970-х годах и считается одной из классических открытых проблем теории графов.

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

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

Что удалось получить GPT-5.6 Sol

Согласно опубликованным материалам, GPT-5.6 Sol не только подтвердила справедливость гипотезы, но и предложила более сильный результат. Полученное доказательство показывает, что любой граф, удовлетворяющий условиям задачи, можно покрыть максимум восемью специально подобранными циклами.

Математик Нога Алон из Принстонского университета назвал результат впечатляющим и отметил, что подобные достижения демонстрируют растущее влияние искусственного интеллекта на современные математические исследования. По его словам, особенно удивляет компактность полученного доказательства, несмотря на десятилетия безуспешных попыток найти общее решение.

Как ИИ искал доказательство

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

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

Что это означает для науки

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

Математик Эндрю Сазерленд из Массачусетского технологического института отметил, что подобные открытия могут стать более частыми. По его мнению, некоторые задачи долго остаются нерешёнными не только из-за своей сложности, но и потому, что исследователи постепенно переключают внимание на другие направления. Искусственный интеллект же способен возвращаться к таким проблемам снова и снова, проверяя огромное количество комбинаций уже известных математических идей.

Независимая проверка остаётся обязательной

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

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