Российский математик Дмитрий Рыбин из Нижнего Тагила, выпускник ВШЭ (ранее известен новым алгоритмом быстрого перемножения матриц), при помощи ChatGPT нашёл контрпример к гипотезе Диница‑Гарга‑Гоеманса — теореме из теории графов и сетевых потоков, открытой в 1999 году. Гипотеза утверждала, что из допустимого дробимого решения задачи о потоках можно получить целочисленное решение по маршрутам без увеличения стоимости; подобные утверждения обычно служат основой практических оптимизационных алгоритмов.

Показательно, что промптинг был минимальным: без специальных инструкций и подсказок, буквально несколько сообщений вида «соверши прорыв», «опровергни общий случай», «продолжай исследовать». За несколько итераций и часов модель нашла нужный контрпример, чего десятилетиями не удавалось сделать профессиональным математикам.

• По словам Дмитрия, его переписка с чатом — прямые цитаты: 1) «Приведи контрпример к общему (не планарному) случаю... Ты должна сделать прорыв» — модель думала 53 минуты и не нашла; 2) «Пожалуйста продолжай исследование и найди полноценный безусловный контрпример» — 89 минут, не найдено; 3) «Продолжай поиск. Найди чёткую стратегию» — 94 минуты, только частичные результаты; 4) «Хватит частичным результатам. Давай закончим с полноценным безусловным контрпримером» — 88 минут, и модель выдала полный контрпример
• Backstory (Александр Горный): открытие родилось из спора двух друзей-математиков — решит ли AI математическую «проблему тысячелетия» до конца лета; «энтузиаст» пробовал через LLM доказывать разные теоремы и в итоге опроверг гипотезу ДГГ, «скептик» ничего не делал; на момент публикации оставалось 39 дней до конца спора
• Сам автор (по данным канала «Навука и моя жизнб») называет этот чат «чистым мемом», хотя результат признаётся реальным математическим достижением
• По данным канала e/acc, автор транскрипта — золотой медалист IMCi, и весь его промптинг сводился к 4–5 запросам вида «тебе нужно сделать прорыв и найти контрпример», «найди наиболее неочевидный контрпример»
• Тот же источник приводит ещё 6 примеров опровержения/доказательства открытых гипотез ИИ за одну неделю: гипотеза Якобиана опровергнута в размерности 3 (Claude Fable 5, двумерный случай открыт), гипотеза о гауссовых моментах опровергнута для всех n≥3 (ChatGPT и Claude), гипотеза Балабдауи-Веллнера о плотности Чернова доказана GPT-5.6i Sol, гипотеза Каваути по модулю 4 доказана Claude Fable 5, гипотеза Черны для однокластерных автоматов доказана OpenAI Codex, теорема о сходимости стохастического многоградиентного спуска улучшена до оценки O(T^-1), теорема о спектральном крае квартичной модели SYK доказана с существенной помощью GPT-5.6