⚡ Чрезвычайно простая подсказка ИИ решает математическую задачу десятилетней давности 😇 — 25 июля 2026 г. в 06:42:14.733
⚡ Чрезвычайно простая подсказка ИИ решает математическую задачу десятилетней давности 😇 👥 Второй раз за неделю давняя гипотеза была опровергнута искусственным интеллектом, подчеркнув передовые математические возможности #ChatGPT и ему подобных 😍 🌀 Давняя математическая загадка была решена ChatGPT за несколько часов с помощью всего нескольких простых подсказок. Гипотеза Диница — Гарга — Гёманса — это вопрос из теории графов, которому уже 30 лет, но контрпример, опубликованный на платформе X Дмитрием Рыбиным, соучредителем стартапа в области искусственного интеллекта Autokernel, показал, что она неверна. Рыбин ввел в ChatGPT 5.6 Pro всего четыре запроса: первый — с просьбой к ИИ «совершить прорыв и найти структурированный контрпример», а затем еще три — с просьбой продолжать поиск. Все четыре запроса состояли менее чем из 60 слов, и ИИ потребовалось в общей сложности 5,5 часа, чтобы решить задачу. Теория графов изучает сети, состоящие из узлов, или вершин. Гипотезу Диница — Гарга — Гёманса можно рассматривать как логистическую задачу: представьте, что поставки со склада в несколько пунктов назначения можно разделить на гораздо более мелкие партии, которые можно отправлять разными маршрутами. Гипотеза утверждает, что этот сценарий можно преобразовать в другой, при котором поставки нельзя будет разделить, а общая стоимость доставки не увеличится. Рыбин не ответил на просьбу о комментарии, но написал в X: «Я знаю, что контрпримеры к старым гипотезам уже стали мемом». Но меня действительно волновала эта проблема, и я провел много недель, размышляя над ней ”. Крис Боуман-Скарджилл из Йоркского университета, Великобритания, говорит, что в математике ходит шутка о том, что каждая гипотеза в теории графов ложна, точно так же, как теперь доказана гипотеза Диница-Гарга-Гем-Манса. «В таких областях, как теория чисел или алгебра, закономерности, справедливые для малых рангов [простых ситуаций], часто сохраняются в течение длительного времени, — говорит Боунман-Скаргилл. — В то время как в теории графов структурное поведение может кардинально измениться, если добавить всего одну или две вершины... именно так и выдвигаются эти гипотезы. Можно понять, почему люди упускают такие вещи из виду». В последние месяцы искусственный интеллект добился значительных успехов в математике. В мае модель OpenAI доказала гипотезу Пола Эрдёша, над которой он работал несколько десятилетий, вызвав ажиотаж в математических кругах. Ранее на этой неделе ИИ нашел контрпример к гипотезе Якоби, которая оставалась нерешенной почти сто лет. Сегодня другие пользователи ИИ утверждают, что решили гипотезу о граффити и вторую задачу теории графов. Появился даже сайт, на котором собраны результаты работы ИИ и они перечислены в зависимости от использованной модели. Абхишек Саха из Лондонского университета королевы Марии говорит, что современные модели искусственного интеллекта, похоже, особенно хорошо подходят для решения таких задач, как гипотеза Диница — Гарга — Гёманса, но возможности искусственного интеллекта не безграничны, а задачи, которые он уже решил, имеют ограниченную сложность.