ИИ решил математическую задачу которой 50 лет — но никто не знает правда ли это

10 июля 2026 года OpenAI опубликовал заявление которое облетело весь IT-мир: GPT-5.6 Sol Ultra сгенерировал доказательство Гипотезы о двойном цикловом покрытии - задачи которая оставалась нерешённой около 50 лет. На это ушло меньше часа.

Звучит как заголовок из научной фантастики. Но дьявол в деталях.

Что такое эта задача

Гипотеза о двойном цикловом покрытии была сформулирована независимо несколькими математиками в 1970-х годах. Простыми словами: в любом графе без «мостов» можно найти набор циклов которые вместе покрывают каждое ребро ровно дважды. Полвека математики не могли это доказать.

Как ИИ это сделал

GPT-5.6 Sol Ultra использовал 64 параллельных субагента которые исследовали разные математические подходы независимо друг от друга. Одни агенты искали доказательства, другие специально искали ошибки в найденных решениях. Модели дали восемь часов - она справилась за один.

Важная деталь: в PDF с доказательством написано что оно «полностью создано GPT-5.6 Sol Ultra». Ни один математик не указан как соавтор.

Почему все сдержаны в оценках

Доказательство ещё не прошло полноценное рецензирование научного сообщества. Поэтому OpenAI осторожно говорит «предоставил доказательство» а не «решил задачу».

Математик Томас Блум из Манчестерского университета изучил доказательство и отметил: ключевые математические идеи восходят как минимум к статье 1983 года. Он критикует что OpenAI не упоминает эти предыдущие работы - так что читатель может подумать что ИИ изобрёл стратегию сам. Это частая проблема ИИ-генерируемых доказательств: они используют идеи из литературы без должного цитирования.

Что это значит на самом деле

ИИ не изобрёл новую математику. Он действовал методом грубой настойчивости - 64 агента перебирали возможные решения дольше чем любой отдельный математик был готов пытаться.

Если доказательство верно - это веха. Если нет - это всё равно предупреждение. Разрыв между "выглядит как доказательство" и "является доказательством" - это именно то место где ИИ-математика будет жить в обозримом будущем.

Мы живём в удивительное время. Каждую неделю что-то что казалось невозможным - становится возможным. Или кажется что становится. Разница важна. 🤖