2 июня была опубликована так называемая Лейденская декларация о соотношении инструментов искусственного интеллекта (ИИ) и математики. Эта декларация стала ответом международного математического сообщества на недавно обнародованные примеры успешного решения ряда математических проблем (для которых решение ранее не было найдено) с помощью инструментов ИИ. Понятно, что многие ученые-математики отреагировали на это обстоятельство достаточно болезненно, некоторые даже увидели в этом угрозу существования математики как дисциплины.
Декларация одобрена Международным математическим союзом и будет обсуждаться на Международном конгрессе математиков, который состоится в июле. Подобные документы лучше читать в оригинале, а не в изложении. Вот ссылка на сайт, где декларация опубликована:
https://leidendeclaration.ai/Что можно, в связи с этим, сказать? Во-первых, надо отдать должное способности международного математического сообщества к самоорганизации. Документ к настоящему времени подписали уже почти две с половиной тысячи профессоров математики по всему миру (есть там и подписи российских математиков, правда очень немного). Это впечатляющий результат, особенно с учетом традиционной независимости мышления у математиков высокого уровня.
Во-вторых, вопреки тому, о чем пишут СМИ, там нет утверждений о бесполезности инструментов ИИ для математики, а также призывов что-либо запретить. Ответ на вопрос «что делать?» там решается вполне разумно, предложения немногим отличаются, например, от политики, недавно продекларированной издательством Elsevier (см.
https://t.me/khokhlovAR/1277). С моей точки зрения, наиболее интересная часть декларации – перечисление ценностей математических исследований и угроз, которые проистекают от использования ИИ в математике.
Ценности научных исследований для математиков включают: а) признание того, что в основе любого результата лежит строгое доказательство; б) результаты принадлежат конкретным авторам, которые берут на себя ответственность за их правильность; в) математические аргументы подлежат независимой проверке, причем для их понимания не должно требоваться какое-либо специальные оборудование; г) математика порождает не только совокупность результатов, но и понимание, куда двигаться дальше, какие новые вопросы формулировать.
Угрозы этим ценностям со стороны ИИ таковы: а) ИИ-инструменты могут генерировать правдоподобные, но ненадежные (или даже неверные) аргументы, которые трудно отличить от правильных математических доказательств; б) ИИ – инструменты, обученные на опубликованных работах, часто выдают результаты, которые не содержат надлежащих ссылок на использованные ими работы и тем самым подрывают традиционную систему атрибуции; в) использование ИИ подрывает существующую систему стимулов в математике, дискриминируя исследователей, которые принципиально не хотят использовать ИИ; г) использование ИИ стимулирует передачу информации по неформальным каналам (пресс-релизы, блоги) в ущерб традиционному методу, когда информация обнародуется в виде научных статей; д) в итоге автономия математики оказывается под угрозой: ИТ-компании получают мощный рычаг воздействия на математические исследования.
Не могу сказать, что тут я лично со всем согласен, но данная декларация, безусловно, представляет собой умный изощренный ответ математического сообщества на потенциальные вызовы, которые проистекают из проникновения инструментов ИИ в математические исследования.