ИИ помог решить еще одну задачу, над которой 30 лет бились математики

«Я знаю, что контрпримеры к старым гипотезам уже становятся мемом. Но эта задача действительно была мне небезразлична, и я потратил на размышления о ней многие недели», — написал ученый в X.

Математики шутят, что любая гипотеза в теории графов на самом деле ложна — как теперь и подтвердилось на примере гипотезы Диница–Гарга–Гоманса, говорит Крис Боуман-Скаргилл из Йоркского университета.

«В таких областях, как теория чисел или алгебра, закономерности, выполняющиеся для малых рангов [простых случаев], часто сохраняются надолго. А в теории графов структурное поведение может кардинально измениться, стоит добавить всего одну-две вершины... поэтому такие гипотезы и появляются одна за другой. Понятно, почему люди их не замечают», — объясняет он.

ИИ весьма эффективен в решении задач вроде гипотезы Диница–Гарга–Гоманса, но возможности его весьма ограничены, считает профессор Абхишек Саха из Лондонского университета королевы Марии.

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

Растущая роль ИИ в математике поможет исследователям отсеивать тупиковые направления и сосредотачиваться на перспективных, надеется профессор Александр Йонг из Иллинойсского университета в Урбане-Шампейне.

«Контрпримеры к старым гипотезам, конечно, не так впечатляют, как цепочка взаимосвязанных рассуждений, составляющих доказательство. Однако я ожидаю, что ИИ вскоре будет доказывать многие гипотезы за счет своей врожденной сверхчеловеческой способности знать литературу и перебирать множество вариантов по запросу. А те гипотезы, которые выдержат проверку ИИ, станут подлинными целями для человеческой изобретательности», — подытожил он.

Лучший ИИ современности сразился с ведущими математиками

ИИ-ученый совершил семь научных открытий

Подписывайтесь и читайте «Науку» в MAX