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