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

image

Что произошло

Система, состоящая из 64 субагентов на базе модели GPT-5.6 Sol Ultra, представила математическое доказательство гипотезы Cycle Double Cover Conjecture. Используемый метод переводит сложную топологическую задачу в область теории потоков в кубических графах и решение системы линейных уравнений над полем F3^2, что позволяет применять методы элементарной линейной алгебры для получения результата.

Контекст

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

Почему это важно для индустрии

Этот успех знаменует переход от LLM как генераторов текста к сложным многоагентным вычислительным системам (Multi-Agent Systems), способным к строгому логическому выводу. Для индустрии это создает прецедент использования AI как полноценного инструмента научного поиска и стимулирует интерес к архитектурам, ориентированным на глубокое рассуждение (reasoning-heavy architectures).

Почему это важно для пользователей

Для исследователей и разработчиков это подтверждает трансформацию ИИ из «умного собеседника» в автономного цифрового исследователя. В ближайшем будущем ожидается появление новых фреймворков для «reasoning-as-a-service» и инструментов, специализирующихся на оркестрации математических и логических агентов.

Что пока неизвестно / ограничения

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

Источники

Автор

Look at AI, редакция