GPT-5.6 Sol решила математическую задачу полувековой давности
Модель OpenAI доказала гипотезу о двойном покрытии циклов, над которой математики бились 50 лет.
Модель GPT-5.6 Sol от OpenAI доказала гипотезу о двойном покрытии циклов, которую не могли решить более 50 лет. Компания объявила об этом одновременно с выпуском новой версии ИИ.
Гипотеза о двойном покрытии циклов — задача из теории графов. Она утверждает, что любой граф без мостов можно покрыть двумя наборами циклов так, чтобы каждое ребро принадлежало ровно двум циклам. Математики проверяли её для частных случаев, но общего доказательства не находили.
GPT-5.6 Sol справилась за час, используя комбинацию символьного вывода и генеративного моделирования. ИИ анализировал структуры графов, проверял свойства и искал противоречия.
OpenAI не раскрыла детали доказательства, но передала результаты ведущим математикам для проверки. Если подтвердится, это будет первый случай, когда ИИ самостоятельно решил столь сложную задачу.
Ранее нейросети использовали как вспомогательные инструменты — например, для поиска паттернов или генерации гипотез. GPT-5.6 Sol выполнила всю работу без участия человека.
Модель доступна в тестовом режиме для избранных исследователей. В OpenAI заявили о фокусе на научных приложениях, но не исключили коммерческое использование.
Математическое сообщество отреагировало сдержанно. Одни эксперты назвали это прорывом, другие потребовали полной проверки. «Если доказательство верно, это изменит представление о роли ИИ в науке», — сказал профессор MIT Карл Сигмунд.
