Компания OpenAI сообщила, что её модель GPT-5.6 Sol доказала гипотезу о двойном покрытии циклами (Cycle Double Cover Conjecture), остававшуюся нерешённой более 50 лет. Доказательство было получено одновременно с выпуском новой версии ИИ.
Гипотеза сформулирована в 1970-х годах и относится к теории графов, изучающей вершины и соединяющие их рёбра. Она утверждает, что практически любой граф допускает двойное покрытие циклами — каждое ребро входит ровно в два замкнутых контура.
Как отмечает Scientific American, ранее математикам удавалось доказать это лишь для отдельных классов графов, но общего решения не существовало. Полученное доказательство показывает, что подходящий граф можно покрыть не более чем восемью специально подобранными циклами.
Для получения результата OpenAI использовала специальный промпт, опубликованный вместе с работой. Модели предложили распределить решение между 64 параллельными агентами и не прекращать поиск, даже если задача считается нерешённой.
Разработчики также рекомендовали уделить поиску доказательства не менее восьми часов, прежде чем отказаться от попыток.
Математик Эндрю Сазерленд из MIT предположил, что подобные случаи могут повторяться. Некоторые задачи получают репутацию сверхсложных, из-за чего исследователи уделяют им меньше внимания, тогда как ИИ способен объединять существующие методы.
По мнению Ноги Алона из Принстонского университета, результат стал ещё одним свидетельством того, что инструменты искусственного интеллекта уже начинают существенно влиять на современные математические исследования.
0 комментариев