ИИ помог найти контрпример к гипотезе о сетевых потоках

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

Рыбин создал небольшой ориентированный граф, в котором стоимость дробного потока равна 58, тогда как любой допустимый неделимый вариант при заданном ограничении нагрузки стоит не менее 60. Это достаточно, чтобы признать исходное утверждение неверным.

Результат представлен в виде публичного контрпримера и переписки с ИИ, однако пока не прошёл рецензирование и формальную верификацию. Подобные модели потоков применяются при анализе транспортных, логистических и компьютерных сетей, но открытие не предлагает готового способа устранения пробок — оно указывает на то, что переход от идеального расчёта к реальным маршрутам иногда неизбежно приводит к дополнительным расходам или нагрузке.