ИИ вторгается в высшую математику: успех OpenAI вызвал тревогу и срочную реакцию ученых

Недавние успехи моделей OpenAI в решении сложных математических задач привлекли внимание научного сообщества и вызвали серьезную дискуссию о будущем исследований. Компания заявила, что одной из ее систем удалось опровергнуть гипотезу в области комбинаторной геометрии, сформулированную около 80 лет назад и входящую в число задач, предложенных венгерским математиком Палом Эрдёшем.

Эта новость усилила ощущение, что даже наиболее сложные и абстрактные области математики становятся доступными для инструментов искусственного интеллекта. На этом фоне группа из 16 математиков совместно с коллегами и профессиональными организациями подготовила и опубликовала Лейденскую декларацию об искусственном интеллекте и математике. По словам соавтора документа, профессора Оксфордского университета Урсулы Мартин, цель декларации — задать направление для обсуждения будущего дисциплины.

Как отмечает The New York Times, интерес к теме подогревается серией громких заявлений о достижениях ИИ в математике исследовательского уровня. В случае с OpenAI компания представила не только описание доказательства, но и отдельную статью с участием независимых математиков. Некоторые эксперты оценили результат высоко. Так, Джейкоб Цимерман из Университета Торонто заявил, что без колебаний рекомендовал бы работу к публикации в научном журнале.

Однако не все специалисты настроены столь оптимистично. Математик Гарвардского университета Мелани Матчетт Вуд, положительно оценив потенциал технологии, указала на недостатки — в частности, отсутствие должных ссылок на предыдущие исследования. По ее словам, искусственный интеллект может ускорить научную работу, но важно понять, как применять его так, чтобы сохранялось человеческое понимание математики.

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

Отдельное беспокойство вызывает роль технологических компаний — как крупных, включая OpenAI, Google DeepMind и Anthropic, так и специализированных стартапов. По мнению авторов декларации, существует риск, что выбор исследовательских задач будет определяться не их научной значимостью, а тем, насколько они подходят для текущих возможностей ИИ. Это, в свою очередь, может поставить в менее выгодное положение ученых, которые не используют такие инструменты или не имеют к ним доступа.

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