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

ИИ-модель GPT-5.6 Sol компании OpenAI смогла получить доказательство одной из классических нерешённых проблем математики — гипотезы о двойном покрытии циклов (Cycle Double Cover Conjecture). Гипотеза оставалась открытой более пяти десятилетий.

Что такое гипотеза

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

До сих пор математикам удавалось доказать эту гипотезу только для отдельных типов графов. Общее доказательство оставалось недостижимым.

Как ИИ решил задачу

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

Для поиска решения компания применила специальный сценарий: задача была распределена между 64 ИИ-агентами, работавшими параллельно. Модели было рекомендовано продолжать поиск даже в случае, если проблема считалась нерешаемой, и выделить на исследование не менее восьми часов.

Реакция научного сообщества

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

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

Вкратце

Модель GPT-5.6 Sol компании OpenAI получила доказательство гипотезы о двойном покрытии циклов — математической проблемы, которая оставалась открытой более 50 лет. Это первое полное доказательство, показывающее, что любой граф из определённого класса может быть покрыт максимум восемью циклами. Открытие подчёркивает растущую роль ИИ в решении сложных научных задач. Работа опубликована в журнале Scientific American.

Следите за NEWS.am Tech на Facebook и Twitter