Более 130 математиков со всего мира в начале июня 2026 г. подписали и опубликовали «Лейденскую декларацию об искусственном интеллекте и математике» (Leiden Declaration on Artificial Intelligence and Mathematics), официально предупредив о влиянии ИИ на математическую дисциплину. Декларация, берущая начало от тематической конференции, проведённой Лейденским университетом в сентябре 2025 г., разрабатывалась около восьми месяцев и получила одобрение Международного математического союза (IMU). В декларации отмечается, что доказательства, сгенерированные ИИ, могут выглядеть правдоподобными, но содержать труднообнаружимые ошибки, что ставит под угрозу проверяемость математических результатов; массовый сбор математических трудов ИИ без указания авторства подрывает традицию академической атрибуции; а использование математики коммерческими организациями для продвижения продуктов ИИ незаметно влияет на самостоятельность направлений исследований.
Декларация не призывает к запрету ИИ, а предлагает трёхуровневую систему мер: отдельные исследователи должны раскрывать использование ИИ и нести ответственность за правильность результатов; академические учреждения и профессиональные организации должны разрабатывать политику для поддержания стандартов рецензирования и прозрачности; а политики — финансировать общественную ИИ-инфраструктуру и поддерживать открытую науку. В декларации особо отмечается, что наиболее сильно влияние ИИ сказывается на начинающих математиках и студентах, и без вмешательства долгосрочное здоровье всей дисциплины окажется под угрозой. Декларация уже включена в повестку предстоящего Международного конгресса математиков (ICM) с расчётом на более широкий институциональный отклик.