GPT‑5.6 Sol Ultra нашёл доказательство 50‑летней гипотезы о двойном покрытии циклами
OpenAI заявила, что флагманская модель GPT‑5.6 Sol Ultra за час с помощью 64 саб‑агентов вывела доказательство известной задачи теории графов, которое сейчас проверяют математики.
10 июля 2026 г. OpenAI публично запустила новую модель GPT‑5.6 Sol Ultra – улучшенную версию флагмана, ориентированную на сложные научные задачи. Уже на следующий день компания объявила о прорыве: модель нашла доказательство гипотезы о двойном покрытии циклами, одной из самых известных открытых задач теории графов, обсуждаемой более полувека.
По словам сотрудника OpenAI Итану Найту, процесс занял меньше часа. Для решения было задействовано 64 параллельных саб‑агента, каждый из которых исследовал отдельные ветви комбинаторного пространства. Полученный формальный вывод уже передан группе независимых математиков для экспертной проверки – пока нет официального подтверждения, но результаты уже вызывают живой интерес в академическом сообществе.
Это событие поднимает вопрос о роли больших языковых моделей в математических исследованиях. Ранее подобные попытки ограничивались генерацией гипотез или проверкой уже известных доказательств; теперь мы видим, что LLM способны самостоятельно формулировать и доказывать сложные теоремы. OpenAI планирует открыть API доступа к Sol Ultra для исследователей, что может ускорить работу в смежных областях – от криптографии до оптимизации сетей.
Ссылка на оригинальный материал: https://habr.com/ru/articles/1058194/.
Для разработчиков и студентов это открывает новые возможности: теперь можно использовать GPT‑5.6 для генерации формальных доказательств и проверки гипотез, что ускорит исследовательские циклы. Однако пока доказательство находится верификации, стоит относиться к результатам критически и не полагаться полностью на автоматический вывод.