OpenAI опубликовала набор решений давних математических проблем, что вызвало эффект разорвавшейся бомбы в научном сообществе. Об этом в подкасте Decoder рассказал Роберт Харт, лондонский корреспондент The Verge по искусственному интеллекту. Он пообщался с ведущими математиками современности, чтобы понять, как ИИ меняет их дисциплину.
Математика переживает экзистенциальный кризис. За последние полгода-год возможности ИИ в этой области выросли стремительно: от почти полной неспособности до профессионального уровня. Это сжало в короткий промежуток времени те проблемы, с которыми другие отрасли, например разработка ПО, сталкивались последние пять лет. Математики задаются вопросами: в чём теперь роль человека, стоит ли финансировать университетские программы подготовки новых поколений учёных, если модели просто ответят на все открытые вопросы?
Показателен парадокс: ИИ по-прежнему проваливает элементарные вещи. Модели не могут посчитать количество букв «r» в слове strawberry (хотя, по словам Харта, теперь они с этим справляются — возможно, из-за хардкода). ChatGPT не умеет определять время, путает дни недели. Но при этом ИИ демонстрирует выдающиеся результаты в абстрактной математике, где числа встречаются редко. Это объясняется тем, что высшая математика — это не арифметика, а рассуждения, умение устанавливать связи между разными областями и применять старые методы по-новому. В какой-то момент модели достигают критической массы возможностей, и это «щёлкает» — как это уже произошло с письмом и программированием.
ИИ по-прежнему плох в элементарной арифметике, но силён в абстрактной математике.
Важно понимать, что математика не едина. Как биология варьируется от наблюдения за животными до биохимии, так и математика включает разные направления. ИИ хорош в одних, но остаётся слабым в других — например, в топологии, по словам математиков, хотя это не подтверждено. Это ставит вопрос о том, какие области науки останутся человеческими, а какие перейдут к машинам.
Есть и скептический взгляд: возможно, вся эта шумиха вокруг математики — маркетинговая кампания лабораторий ИИ, которым нет дела до одной из древнейших академических дисциплин. Харт отмечает, что дискуссия только начинается, и многие вопросы остаются открытыми.
