ИИ GPT-5.6 Sol доказал 50-летнюю математическую гипотезу за час

Прорыв в теории графов

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

История нерешённой задачи

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

Согласно журналу Scientific American, гипотезу независимо выдвигали Джордж Секереш в 1973 году и Пол Сеймур в 1979 году. Десятилетиями эта задача оставалась без ответа, несмотря на усилия многих исследователей.

Метод решения

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

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

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

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

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

Последствия для науки

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