ChatGPT доказал гипотезу теории графов 50-летней давности

Модель искусственного интеллекта GPT-5.6 Sol от OpenAI смогла доказать гипотезу двойного покрытия цикла, которая оставалась открытой математической проблемой на протяжении более пяти десятилетий. Об этом сообщает журнал Scientific American.

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

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

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

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

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