Модель OpenAI GPT-5.6 Sol Ultra доказала гипотезу о двойном покрытии цикла (Cycle Double Cover Conjecture), которая оставалась нерешенной на протяжении 50 лет. Система справилась с задачей менее чем за час, задействовав 64 параллельно работающих субагента. Это достижение демонстрирует потенциал агентных систем в решении сложных академических задач, хотя эксперты указывают на необходимость более тщательной проработки ссылок на существующие математические работы.

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

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

Ключевые факты

  • Модель GPT-5.6 Sol Ultra решила гипотезу о двойном покрытии цикла, не поддававшуюся математикам с 1970-х годов.
  • Процесс доказательства занял менее 60 минут реального времени.
  • В работе использовалась архитектура из 64 параллельных субагентов.
  • Математик Томас Блум подтвердил корректность доказательства, но указал на отсутствие ссылок на предыдущие научные труды.