GPT-5.6 предположительно доказала 50-летнюю гипотезу из теории графов
Sh0ny
12 июля 20261 мин чтения
Коротко
Через день после релиза GPT-5.6 Sol Ultra компания OpenAI сообщила, что модель нашла доказательство гипотезы о двойном покрытии циклами — открытой задачи теории графов, остававшейся нерешённой почти полвека. По словам сотрудника OpenAI Итана Найта, вычисления заняли менее часа и потребовали 64 параллельных сабагентов.
10 июля, спустя день после публичного запуска GPT-5.6 Sol Ultra, OpenAI объявила, что её флагманская языковая модель справилась с задачей, которая почти полвека оставалась открытой в теории графов. Речь идёт о гипотезе о двойном покрытии циклами — одной из наиболее известных нерешённых проблем этой области.
По данным сотрудника OpenAI Итана Найта, модель нашла доказательство менее чем за час. Для этого был задействован подход с 64 параллельными сабагентами — то есть задача обрабатывалась множеством независимо работающих копий модели, действующих в координации.
Статус доказательства
Ошибки в математических рассуждениях моделей — не редкость, и потому к заявлению стоит отнестись с осторожностью. На данный момент представленное доказательство проходит проверку у математиков, и его корректность пока не подтверждена.
В центре внимания — метод
Даже если формальное доказательство не выдержит рецензии, больший интерес представляет сам подход OpenAI к решению сложной научной задачи. Масштабированное использование параллельных сабагентов демонстрирует, как крупная языковая модель может применяться к задачам, требующим многоходовых логических рассуждений и декомпозиции работы.