Использование ИИ для решения математической гипотезы Диница-Гарга-Гоеманса

Но все эти изменения науки от ИИ – в будущем. Прямо сейчас людей различает не качество идей или интуиции, а осознание возможностей инструментов и смелость в их использовании Дмитрий Рыбин (я раньше писал о его новом алгоритме для быстрого перемножения матриц) недавно нашёл контрпример к гипотезе Диница-Гарга-Гоеманса, о которую на протяжении десятков лет безрезультатно источили мел многие математики. Дмитрий сделал это при помощи чатгпт. Почитайте чат, это легендарно. Вот буквальный пересказ, без преувеличения:

- Приведи контрпример к общему (не планарному) случаю гипотезы Диница-Гарга-Гоеманса. Ты должна сделать прорыв и найти структурированный контрпример - чатгпт думает 53 минуты. Не получилось, это ж открытый вопрос. - Пожалуйста продолжай исследование и найди полноценный безусловный контрпример. - чатгпт думает 89 минут. Не нашла. - Продолжай поиск. Найди чёткую стратегию, полученную из глубокого объяснения структуры проблемы. - чатгпт думает 94 минуты. Всё ещё не могу найти контрпример. Вот частичные результаты. - Хватит частичным результатов. Давай закончим с полноценным безусловным контрпримером. - чатгпт думает 88 минут. Вот полноценный контрпример.

Сообщения Дмитрия – прямые цитаты без сокращения. Всего 4 коротких промпта привели к тому, чего не могли найти многие математики. Это звучит как мем, но результат реальный Про ускорение часто используемых программ в разы и переписывание всего подряд на раст вы и так уже слышали. Сколько ещё прорывов скрываются от нас в паре промптов? Это невероятно вдохновляет. У меня в заметках находится длинный список из идей, и порой накатывала грусть от того, что жизни не хватит их все реализовать. Теперь это возможно. И даже не очень понятно, где находятся границы возможного Одно ясно – надо пробовать их нащупать. Берите ваши самые смелые идеи, давайте их самым мощным инструментам и пожинайте плоды. Прямо сейчас – много низковисящих фруктов, от собирания которых вас отделяет лишь смелость (и некоторое количество денег, потраченных на инструменты). Скоро таких задач останется меньше и придётся думать