Лейденская декларация призвала сделать использование ИИ в математике прозрачным

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

Группа из 16 исследователей из 15 университетов 2 июня 2026 года опубликовала Leiden Declaration on Artificial Intelligence and Mathematics — документ о том, как использовать ИИ в математических исследованиях без потери проверяемости, авторства и автономии научной повестки. Инициатива возникла после семинара Mechanization and Mathematical Research, прошедшего в Лейдене в сентябре 2025 года.

Авторы не предлагают запрещать ИИ в математике. Их ключевые рекомендации — явно раскрывать использование автоматизированных инструментов, включая большие языковые модели, системы машинного обучения, proof assistants и другое математическое ПО; рассматривать ИИ как инструмент, а не как автора; оставлять ответственность за корректность результатов и ссылок за людьми.

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

Отдельный блок обращен к государствам и AI-компаниям: авторы призывают регулировать индустрию ИИ, инвестировать в публичную вычислительную инфраструктуру и требовать, чтобы сотрудничество математиков с коммерческими разработчиками соответствовало академическим стандартам. Декларацию поддержал Международный математический союз (International Mathematical Union, IMU).