«OpenAI объявила о решении одной из семи "задач тысячелетия" об уравнении Навье-Стокса»

Говорят в новостях, а как учёные и модель решали эту задачу, и что ждёт математическую науку дальше, если нейросети способны совершать такого рода открытия?
— Обсуждаем в новой рубрике ФКН «Новости видели? Разбираем».

Что об этом думает Сергей Кузнецов, директор Центра языковых и семантических технологий, профессор, заведующий МЛ интеллектуальных систем и структурного анализа:

Как модель помогала работать над доказательством такой задачи?

«Сеть была обучена на тысячах текстов по тематике уравнения Навье-Стокса с тысячами доказательств, касающихся предмета. Видимо, "плотность" этой коллекции позволила при помощи промтов от исследователей создать текст доказательства, который, наверняка, исправляли "вручную" много раз.

Опираться на чьи-то работы — не грех. Мы все стоим "на плечах гигантов". Плохо использовать чьи-то неопубликованные черновики, тем более, не ссылаясь на их автора (авторов). Это уже нарушение академической этики».

Что будет с наукой и как такие открытия могут изменить наши представления об интеллекте?

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

Уравнение Навье-Стокса не единственный громкий математический кейс с участием ИИ. В июле ИИ помог построить контрпример к гипотезе якобиана, математической проблеме, известной ещё с XIX века.

О том, что это значит для математики, рассказывает Иван Аржанцев, профессор, декан ФКН:

Способен ли ИИ не просто перебирать варианты, а находить новые математические идеи?

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

После того, как одна система ИИ построила контрпример, другую систему попросили объяснить геометрический смысл этих формул.

Тем самым контрпример это не просто случайно найденный набор формул, он имеет совершенно прозрачный и элементарный геометрический смысл. Можно предположить, что это было написано в какой-то забытой или затерянной работе, и ИИ просто нашёл эту работу в недрах Интернета. Но такая работа неизвестна, и значит ИИ это “придумал” сам».

Что теперь будет с математикой?

«Лично я уверен, что в глобальной перспективе фундаментальная математика в лице ИИ получит ещё один важный инструмент, который позволит существенно расширить наши знания о природе математических объектов.

Возможно, ИИ несколько подорвёт соревновательную компоненту в математике, постоянную гонку за получением “самых сильных” результатов. Может быть, это и к лучшему.

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

#новости #ии #мнениеэксперта #математика