Математик из Нижнего Тагила опроверг гипотезу с помощью ChatGPT
Выпускник ВШЭ Дмитрий Рыбин, недавно защитивший кандидатскую по искусственному интеллекту в Китае и живущий сейчас в Шэньчжэне, нашёл контрпример к гипотезе Диница—Гарга—Гоеманса. Над ней учёные работали почти 30 лет.
Рыбин попросил ChatGPT совершить научный прорыв и найти контрпример. Сначала модель отказалась, но после нескольких настойчивых запросов взялась за задачу и за пару часов выдала решение.
Согласно результату, идеальное математическое распределение потоков — например, в дорожных, логистических или компьютерных сетях — всегда можно реализовать на практике без дополнительных потерь. На протяжении почти 30 лет это утверждение оставалось без доказательства и опровержения.
Изначально математик предположил, что нейросеть выдаёт ошибочный результат. Контрпример оказался коротким, и Рыбин проверил его вручную во время просмотра фильма с друзьями. Ошибок не обнаружилось — гипотеза оказалась неверной.
По словам Рыбина, его вклад заключался в том, что он несколько раз подряд просил нейросеть продолжить исследование. Результат позволяет точнее учитывать ограничения при проектировании транспортных, логистических и компьютерных сетей, а также может применяться при оптимизации маршрутов для снижения загруженности дорог.
Фото: Mash
