Недавно OpenAI представила десять значительных достижений в области математики и компьютерных наук, сделанных с помощью своей новой модели Astra. Эти открытия охватывают широкий спектр математических дисциплин, включая геометрию, криптографию и теорию кодирования. Это лишь последние примеры стремительного прогресса, который демонстрируют системы генеративного искусственного интеллекта.
Сопровождая анонс, OpenAI подчеркнула свою ответственность перед математическим сообществом, признав существующие опасения по поводу атрибуции, ответственности за корректность результатов и изменяющейся природы математических открытий. Это заявление отражает растущее понимание того, что технические достижения, связанные с ИИ, — это лишь часть более широкой истории о том, что такое математика и каково её будущее.
Системы, такие как ChatGPT и Claude, вызывают значительные изменения в математическом сообществе. Университеты сталкиваются с этическими вопросами, связанными с использованием этих инструментов в исследованиях и обучении. Редакционные советы многих рецензируемых журналов получают множество статей, написанных с помощью ИИ, и должны решать, как оценивать и раскрывать использование генеративного ИИ. В последние месяцы наблюдается резкий рост математических публикаций в репозитории arXiv.
Среди математиков нет единого мнения по поводу будущего дисциплины. Некоторые выражают беспокойство о том, как ИИ повлияет на математику, в то время как другие пытаются сформулировать принципы ответственного интегрирования ИИ в исследования. Недавняя Лейденская декларация, подписанная тысячами математиков, утверждает, что ИИ должен дополнять, а не заменять человеческое математическое творчество, подчеркивая важность прозрачности и правильной атрибуции.
На Международном конгрессе математиков Терренс Тао призвал коллег задуматься о том, как системы ИИ могут быть интегрированы в исследования, чтобы укрепить культуру и ценности математики. В своих недавних исследованиях я наблюдал два разных подхода к использованию ИИ. Один из моих коллег отказался от использования ИИ по этическим соображениям, в то время как другой использовал модель OpenAI для достижения значительного результата.
Эти примеры показывают, что в математическом сообществе продолжается обсуждение роли ИИ в исследовательском процессе. Вопрос уже не в том, способны ли языковые модели вносить вклад в математические исследования, а в том, как их использование может быть согласовано с ценностями сотрудничества, прозрачности и интеллектуальной честности, которые лежат в основе нашей дисциплины.