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