GPT-5.6 за 1 час решает 50-летнюю математическую проблему: 64 ИИ снимают корону с теории графов
11 июля OpenAI объявила, что GPT-5.6 Sol Ultra доказал гипотезу циклического двойного покрытия — проблему теории графов, которая оставалась нерешённой в течение 50 лет. Решение было найдено менее чем за час.
Гипотеза, выдвинутая такими математиками, как Тутт, утверждает, что любой конечный неориентированный граф без мостов содержит набор циклов, где каждое ребро принадлежит ровно двум циклам. Для доказательства OpenAI использовала систему из 64 параллельных ИИ-агентов, каждый из которых исследовал различные подходы (алгебраические, структурные и др.). Часть агентов выступала в роли «строгих критиков», проверяя предложенные доказательства на ошибки. Система запрещала необоснованные утверждения и требовала конкретных конструкций.
Доказательство свело задачу к анализу кубических графов и применило теорему Тутта о 8-потоке. Ключевым шагом стало введение леммы о назначении рёбрам наборов из двух элементов с определёнными свойствами, что позволило свести проблему к решаемой системе линейных уравнений.
Исследователь OpenAI Ноам Браун объяснил успех методом параллельных вычислений во время тестирования (TTC), который значительно сократил время решения. Это достижение демонстрирует растущую способность ИИ к сложным логическим рассуждениям и открывает новые возможности для решения фундаментальных научных проблем.
marsbit07/15 07:59
