#математика #ИИ #ChatGPT #гипотезадиница
👨🎓Дмитрий Рыбин родом из Нижнего Тагила, он в 2023 году окончил бакалавриат матфака ВШЭ и продолжил обучение в аспирантуре (PhD) в Университете Гонконга (CUHK).
👩💻Область интересов Дмитрия лежит в сфере проектирования транспортных потоков, а PhD-диссертацию он защитил по теме машинного обучения. Этим летом (в июле 2026 года) произошла история, которую можно назвать курьезом, если бы не содержательные последствия.
Началось всё с того, что Дмитрий в качестве забавы предложил ChatGPT решить проблему, над которой математики бились почти 30 лет.
🤖Гипотезу эту не могли ни доказать, ни опровергнуть. И вот летом, развлекаясь с ИИ, Дмитрий в шутку попросил жипитишку «совершить научный прорыв» и найти контрпример к гипотезе Диница—Гарга—Гоеманса. Сначала нейросеть отказалась, мотивируя тем, что это нерешенная проблема, но после нескольких настойчивых просьб всё-таки взялась за задачу и за пару часов неожиданно выдала решение.
🤯Другими словами, ИИ нашел контрпример, когда имеющийся дробный поток никак нельзя перераспределить до целого без потери стоимости.
📈Рыбин сначала решил, что нейросеть галлюцинирует. Но контрпример оказался настолько коротким, что он проверил его вручную прямо во время просмотра фильма с друзьями. Ошибки не нашлось — гипотеза действительно оказалась неверной.
🚛 Сам математик называет всю историю чистым мемом. Со слов Дмитрия, его главный вклад — несколько раз подряд просить иишку не сдаваться и продолжить исследование. Теперь спецы смогут точнее учитывать ограничения при проектировании транспортных, логистических и компьютерных сетей. Это может помочь решить проблему пробок на дорогах — маршруты будут улучшать с учётом всех вводных.
🤔В среде математиков набирает обороты дискуссия о том, способен ли ИИ решать мировые проблемы, которые много веков не подвластны человеческому разуму.
Р.S.Мы ещё обсудим ситуацию с проблемой Навье-Стокса, решение которой вызвало гораздо более жаркие споры.
👨🎓Дмитрий Рыбин родом из Нижнего Тагила, он в 2023 году окончил бакалавриат матфака ВШЭ и продолжил обучение в аспирантуре (PhD) в Университете Гонконга (CUHK).
👩💻Область интересов Дмитрия лежит в сфере проектирования транспортных потоков, а PhD-диссертацию он защитил по теме машинного обучения. Этим летом (в июле 2026 года) произошла история, которую можно назвать курьезом, если бы не содержательные последствия.
Началось всё с того, что Дмитрий в качестве забавы предложил ChatGPT решить проблему, над которой математики бились почти 30 лет.
Гипотеза касается задач о многопродуктовых потоках в сетях (авторами оригинальной концепции и гипотезы являлись Ефим Диниц, Навин Гарг и Мишель Гоеманс). Совсем простыми словами речь идет примерно о том, что если сложный многопродуктовый поток (то есть сеть перемещения нескольких продуктов), если он является дробным (то есть по веткам распределяются части продукта из источника), то его всегда можно перераспределить в целочисленный без потери стоимости.
🤖Гипотезу эту не могли ни доказать, ни опровергнуть. И вот летом, развлекаясь с ИИ, Дмитрий в шутку попросил жипитишку «совершить научный прорыв» и найти контрпример к гипотезе Диница—Гарга—Гоеманса. Сначала нейросеть отказалась, мотивируя тем, что это нерешенная проблема, но после нескольких настойчивых просьб всё-таки взялась за задачу и за пару часов неожиданно выдала решение.
🤯Другими словами, ИИ нашел контрпример, когда имеющийся дробный поток никак нельзя перераспределить до целого без потери стоимости.
📈Рыбин сначала решил, что нейросеть галлюцинирует. Но контрпример оказался настолько коротким, что он проверил его вручную прямо во время просмотра фильма с друзьями. Ошибки не нашлось — гипотеза действительно оказалась неверной.
🚛 Сам математик называет всю историю чистым мемом. Со слов Дмитрия, его главный вклад — несколько раз подряд просить иишку не сдаваться и продолжить исследование. Теперь спецы смогут точнее учитывать ограничения при проектировании транспортных, логистических и компьютерных сетей. Это может помочь решить проблему пробок на дорогах — маршруты будут улучшать с учётом всех вводных.
🤔В среде математиков набирает обороты дискуссия о том, способен ли ИИ решать мировые проблемы, которые много веков не подвластны человеческому разуму.
Р.S.Мы ещё обсудим ситуацию с проблемой Навье-Стокса, решение которой вызвало гораздо более жаркие споры.