Контрпример к гипотезе о сетевых потоках нашли с помощью ИИ
AI Изображение создано с помощью ИИ и носит иллюстративный характер
Математик Дмитрий Рыбин с помощью языковой модели GPT-5.6 Pro опроверг гипотезу Диница — Гарга — Гоеманса, которая оставалась недоказанной около 30 лет. Гипотеза относилась к теории сетевых потоков и предполагала, что идеальную математическую схему, где поток делится между несколькими путями, можно превратить в набор реальных неделимых маршрутов без дополнительных затрат и с ограниченным превышением нагрузки. Рыбин построил небольшой ориентированный граф, в котором стоимость дробного потока равна 58, а любой допустимый неделимый вариант при заданном ограничении нагрузки стоит не менее 60. Этого достаточно, чтобы признать исходное утверждение неверным. Результат представлен в виде публичного контрпримера и переписки с ИИ, но пока не прошёл рецензирование и формальную верификацию. Подобные модели потоков используются при анализе транспортных, логистических и компьютерных сетей, однако открытие не предлагает готового способа устранить пробки — оно указывает, что переход от идеального расчёта к реальным маршрутам иногда неизбежно приводит к дополнительным расходам или нагрузке.
