OpenAI заявила о решении давних математических задач с помощью модели Astra

Что произошло

OpenAI объявила, что с помощью модели Astra получила результаты по 10 давним математическим проблемам. The Verge отмечает, что некоторые из этих задач десятилетиями оставались трудными для исследователей.

Математик James Maynard, профессор University of Oxford и лауреат Fields Medal, рассказал The Verge, что размышляет о будущем своей области на фоне ускоренной адаптации математики к AI.

Какие задачи упоминаются

В числе результатов названы задачи из разных разделов математики — от абстрактных вопросов до направлений с практическими последствиями. Один из прорывов касался того, насколько плотно можно упаковывать сферы в размерностях выше трех; такая проблема связана с эффективностью кодирования и передачи данных.

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

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

Почему это важно

Собеседники The Verge видят в таких системах возможность ускорить математические открытия. При этом они выражают тревогу из-за последствий для людей, посвятивших жизнь этой области, и для будущих поколений математиков.

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

Спор об авторстве

Особое внимание привлек результат о существовании не-софических групп — бесконечных математических структур, которые, грубо говоря, нельзя приблизить конечными структурами. Вопрос об их существовании оставался открытым десятилетиями.

Вокруг этого результата возник спор о распределении заслуг между AI OpenAI и математиками, на чьи недавние работы он опирался. Francesco Fournier-Facio из University of Cambridge заявил The Verge, что первоначальное объявление OpenAI, по мнению работающих в этой области исследователей, преуменьшало вклад Andreas Thom и Gábor Kun.