PDF на CDN OpenAI выдают за доказательство полувековой гипотезы теории графов от «GPT-5.6 Sol Ultra»

На Hacker News за 16 часов набрал 456 баллов и 364 комментария пост с заголовком «GPT-5.6 Sol Ultra доказала гипотезу о двойном покрытии циклами». Ссылка ведёт на PDF по адресу cdn.openai.com, документ на три страницы под названием «Доказательство гипотезы о двойном покрытии циклами», автором указан просто «OpenAI». В конце введения есть раздел «Заявление об использовании ИИ»: там сказано, что доказательство целиком принадлежит модели «GPT 5.6 Sol Ultra», а оформление текста сделано с помощью Codex (на базе «GPT 5.6 Sol»). Ни одно из этих названий моделей OpenAI публично не анонсировала. Сама новость на HN опирается не на пресс-релиз компании, а на пост в X от частного аккаунта @eknight, который также приложил ссылку на второй PDF, якобы использованный промпт, лежащий на том же CDN OpenAI.

Гипотеза о двойном покрытии циклами, классическая нерешённая задача теории графов, сформулированная Таттом, Итаи и Родэ, Секерешем и Сеймуром: у любого графа без мостов должен существовать набор циклов, покрывающий каждое ребро ровно дважды; проблеме около 50 лет. Опубликованное доказательство сводит задачу к кубическим графам через известную редукцию Жегера, опирается на теорему о 8-потоке (Татт, а также результат Килпатрика и Жегера о нигде-не-нулевом потоке) и завершается элементарным линейно-алгебраическим построением через двойственность. Список литературы, реальные, узнаваемые математики (Татт, Жегер, Сеймур, Секереш, Алспач/Годдин/Чжан, Килпатрик).

В комментариях на HN скепсис оказался сильнее энтузиазма. Ключевые претензии: (1) нет официального заявления OpenAI, только твит стороннего аккаунта; (2) доказательство подозрительно короткое (3 страницы) и не использует ни одной математической техники моложе 30 лет, для задачи, которая полвека не поддавалась, это нетипично; (3) доказательство не формализовано в Lean или другом проверяющем ассистенте, по словам участников обсуждения, инструментарий Lean для теории графов такого уровня попросту не готов; независимой рецензии математиков к моменту обсуждения тоже не было. Один из комментаторов (drpixie) прямо написал: «Заголовок вводит в заблуждение. Правильный заголовок, «Безымянные люди с помощью GPT-5.6 произвели непроверенное доказательство гипотезы о двойном покрытии циклами», но от индустрии ИИ, видимо, стоит ждать только рекламных текстов». Другой участник (ankit219) обратил внимание, что сам промпт содержит очень специфичные технические указания, как обрабатывать параллельные рёбра как 2-циклы, несвязные графы, пустое покрытие, подсчёт с кратностями, и это похоже на выводы из предыдущих неудачных попыток доказать гипотезу, то есть за кадром стоит серьёзная человеческая подготовка, а не «чистая» работа модели. Ещё один комментатор (emil-lp) иронично отметил, что сама фраза «Заявление об использовании ИИ» в тексте статьи явно не сгенерирована ИИ, намекая, что подача материала выглядит срежиссированной.

Попытки проверить доказательство прямо в треде дали противоречивый результат. Один пользователь прогнал текст доказательства и промпта через инструмент по имени Fable, тот ответил, что ошибок не нашёл, но подчеркнул, что решение полувековой проблемы на трёх страницах в любом случае требует независимой экспертной проверки, и что у него нет доступа к интернету, чтобы подтвердить происхождение документа или реакцию сообщества. Другой участник написал, что ChatGPT («5.6 Sol Pro») тоже счёл доказательство корректным, и это добавило ему уверенности, что перед нами «реальная вещь». Но комментатор amluto указал на логическую дыру: промпт прямо просит модель писать доказательство так, чтобы оно прошло проверку у другой копии той же модели-ревьюера, то есть если у модели есть систематическое слепое пятно, оно может одинаково обмануть и автора, и «проверяющего», и подобная самопроверка ничего не доказывает.

Параллельно в треде разгорелся спор про техническую сторону: одни утверждали, что модель «Sol» работает на оборудовании Cerebras со скоростью 750 токенов в секунду, другие говорили, что публичного доступа к такому режиму ни у кого нет. По ссылке на другой твит участники нашли уточнение: результат реальный, но без Cerebras и 750 tps, просто модель в быстром режиме, работающая через GUI-взаимодействия. Отдельный комментатор прикинул стоимость эксперимента, исходя из заявленных 64 параллельных подагентов, работавших около часа: по разным сценариям, от 275 до 13000 долларов, но подтверждённых цифр от авторов поста не было.

На момент фиксации треда ни официального ответа OpenAI, ни вердикта профессиональных математиков не появилось. Названия «GPT-5.6», «Sol», «Sol Ultra» не соответствуют ни одной модели, которую OpenAI когда-либо анонсировала публично, и вся история выглядит как убедительно оформленный, но непроверяемый вброс, а не реальный релиз компании, несмотря на то что PDF физически лежит в поддиректории домена cdn.openai.com.

Ключевые факты

PDF «Доказательство гипотезы о двойном покрытии циклами» лежит на cdn.openai.com, автор указан как «OpenAI», а доказательство приписано неанонсированной модели «GPT-5.6 Sol Ultra» (оформление, Codex на базе «GPT-5.6 Sol»)
Новость на HN опирается не на заявление OpenAI, а на пост стороннего аккаунта @eknight в X, который также выложил PDF с якобы использованным промптом на том же CDN
Гипотеза о двойном покрытии циклами, нерешённая ~50 лет задача теории графов (Татт, Итаи и Родэ, Секереш, Сеймур); опубликованное доказательство занимает всего 3 страницы и не опирается ни на одну технику моложе 30 лет
Доказательство не формализовано в Lean или другом проверяющем ассистенте, независимой рецензии математиков на момент обсуждения не было; попытки «проверить» его другой ИИ-моделью того же семейства участники сочли методологически некорректными (генератор и ревьюер могут разделять одни и те же слепые зоны)
В треде (456 баллов, 364 комментария за ~16 часов) заметно преобладал скепсис: указывали на отсутствие официального подтверждения, подозрительно детальный «инсайдерский» промпт и противоречивые заявления о технической стороне (скорость модели, использование Cerebras)

Почему это важно

История показывает, как легко собрать убедительный на вид артефакт «ИИ решил великую задачу»: аккуратный PDF с реальными ссылками на классиков теории графов, размещённый в поддиректории настоящего домена cdn.openai.com, разошёлся по Hacker News за считаные часы, притом что ни одного официального подтверждения от OpenAI в цепочке нет. Это наглядный кейс того, насколько быстро подобные вбросы про «прорывы ИИ в математике» набирают охват раньше, чем кто-либо успевает их проверить.

Кому это важно

Тем, кто следит за новостями об ИИ в математике и науке и формирует мнение по заголовкам соцсетей; журналистам и агрегаторам, которые могут растиражировать неподтверждённый вброс как факт; разработчикам и исследователям, использующим LLM для формальных доказательств и оценивающим, каким заявлениям о «решённых гипотезах» можно доверять.

Как это применить

Прежде чем принимать подобные заявления всерьёз, стоит проверять источник анонса (официальный канал компании vs. частный аккаунт в соцсети), наличие формальной верификации доказательства (Lean или другой проверяющий ассистент) и независимой экспертной рецензии, а не полагаться на то, что файл физически лежит на «правильном» домене или что другая копия той же модели «подтвердила» результат: это не независимая проверка.

Можно ли доверять

Нет. Ни один официальный представитель или канал OpenAI эту новость не подтвердил, единственный источник анонса это пост стороннего аккаунта в X. Названия моделей «GPT-5.6», «Sol», «Sol Ultra» не соответствуют ничему, что OpenAI когда-либо анонсировала публично. Доказательство короче и «элементарнее», чем можно было бы ожидать от решения полувековой открытой проблемы, не формализовано в проверяющем ассистенте, а попытки его подтвердить другой моделью того же семейства логически некорректны, генератор и «ревьюер» могут разделять одни и те же ошибки. Участники обсуждения сами указывали на явные признаки постановочности (промпт с деталями, похожими на выводы из предыдущих неудачных попыток; фраза о «заявлении об использовании ИИ», которая читается как явно написанная человеком). На момент фиксации истории ни подтверждения от OpenAI, ни вердикта профессиональных математиков не было, всё указывает на непроверенный, вероятно постановочный вброс, а не на реальный релиз компании.

Риски и подводные камни

Главный риск, не конкретно эта история, а прецедент: убедительно оформленный PDF с реальными ссылками и «фирменным» доменом позволяет обойти обычные фильтры доверия читателя. Один из участников треда прямо предупредил, что таким способом можно «наштамповать сотни или тысячи похожих на правду PDF», которые технически сложно опровергнуть силами одного заинтересованного любителя. Дополнительный риск, ложное чувство подтверждённости, когда другая LLM «соглашается», что доказательство верно: это не заменяет независимую экспертизу и может систематически пропускать одни и те же ошибки, если генератор и проверяющий, модели одного семейства.

«Заголовок вводит в заблуждение. Правильный заголовок, «Безымянные люди с помощью GPT-5.6 произвели непроверенное доказательство гипотезы о двойном покрытии циклами», но от индустрии ИИ, видимо, стоит ждать только рекламных текстов.»

— drpixie, комментарий на Hacker News