Ai

Российский математик с помощью нейросети опроверг известную гипотезу

ИИ помог найти ключ к задаче, которую не могли решить в течение 27 лет. Нейросеть доказала свою способность совершать открытия в математике.
Автор Наука Mail
Изображение ChatGPT в виде виртуального мозга
ChatGPT пришлось уговаривать взяться за задачуИсточник: Unsplash

Выпускник факультета математики НИУ ВШЭ Дмитрий Рыбин опроверг научную гипотезу Диница — Гарга — Гоеманса с помощью ChatGPT. Все началось с абсурдной на первой взгляд переписки с ИИ, в которой молодой ученый настойчиво просил искусственный разум «совершить прорыв». Сначала модель отказалась, но после нескольких запросов согласилась взяться за задачу и вскоре предоставила решение.

Как пояснил Дмитрий Рыбин,  в математике есть область «Потоки на графах», ее результаты можно использовать для оптимизации потоков данных по интернет-кабелям или транспортных потоков. Допустим, если нужно доставить грузы до мест назначения, и для каждого построить отдельный маршрут, не создав пробки на дорогах. Если по пути можно разделить груз на несколько частей, задача на компьютере решается легко, но в реальной жизни делить груз нельзя.

В 1999 году математики Диниц, Гарг и Гоеманс доказали: если правильно отправлять грузы целиком, нагрузка на дороги увеличится незначительно по сравнению с отправкой грузов по частям. Тогда же они выдвинули гипотезу, названную по их фамилиям. Ее суть заключается в том, что стоимость перевозок, плата за доставку по каждой дороге, в этом случае не увеличится.

Рука робота
ИИ доказал, что способен решать сложные математические задачиИсточник: Unsplash

Молодой ученый, еще будучи студентом четвертого курса, решил это предположение доказать или опровергнуть. Время от времени он пытался это сделать и сам, и при помощи моделей OpenAI o1 и o3. И только спустя шесть лет GPT 5.6 Pro после пятичасовых рассуждений нашел опровержение — построил сеть дорог и специально подобрал числа так, что стоимость перевозок в решении всегда увеличивается.

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

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

Ранее Наука Mail писала, как ИИ раскрыл неожиданную связь между обликом района и качеством сна.