16 исследователей восемь месяцев готовили Лейденскую декларацию о том, как ИИ в математике меняет саму логику научной работы. 2 июня 2026 года документ поддержал Международный математический союз, и это уже не выглядит как академическое ворчание про новые инструменты: математики всерьез говорят о риске потерять контроль над стандартами доказательства, авторства и научной автономии. Для русскоязычной IT-аудитории это важный сигнал: конфликт вокруг ИИ дошел до одной из самых консервативных и формализованных областей знания.
Поводом стала публикация Leiden Declaration on Artificial Intelligence and Mathematics, о которой сообщает Ars Technica. Декларацию подготовила рабочая группа из 16 ученых после конференции в Лейденском университете в Нидерландах, прошедшей в сентябре 2025 года. Международный математический союз, организация, курирующая крупнейшие мировые математические конгрессы и такие премии, как медаль Филдса, документ официально одобрил. Сам по себе этот жест довольно красноречив: профессиональное сообщество не просто обсуждает ИИ, а фиксирует правила обороны на уровне институций.
Авторы декларации перечисляют сразу несколько проблем. Первая и самая болезненная: современные модели умеют производить правдоподобные, но неверные математические рассуждения, и отличить их от корректных доказательств бывает непросто. Для дисциплины, где ошибка в одной строке может обнулить результат на десятки страниц, это не косметический дефект, а прямой удар по процедурам рецензирования. Глава факультета компьютерных наук Оксфорда Лесли Энн Голдберг предупреждает, что дешево сгенерированные черновики могут засорить литературу ложными результатами, а дальше ошибки начнут размножаться по цепочке, когда новые статьи будут строиться на шатком основании.
Вторая претензия касается авторства и источников. В декларации сказано, что модели, обученные на опубликованных работах, часто возвращают ответы без нормальной атрибуции человеческому вкладу. Параллельно поднимается и вопрос о самих данных для обучения: авторы прямо пишут о практике использования материалов через эксплуатацию лицензий, условий доступа или через прямое нарушение авторских прав. Для разработчиков и компаний здесь нет ничего неожиданного, но примечательно другое: математики формулируют эту проблему не как абстрактный спор юристов, а как угрозу научной экосистеме. Если авторы теряют контроль над тем, как их тексты перерабатываются и переупаковываются в коммерческие модели, рушится не только экономика публикаций, но и доверие к самой системе научного вклада.
Третий блок рисков связан не с качеством ответов ИИ, а с социальной механикой отрасли. Авторы предупреждают, что использование ИИ может начать поощряться само по себе, даже там, где оно не добавляет научной ценности. Это влияет на найм, финансирование и академическое признание, а сильнее всего бьет по студентам и молодым исследователям. У кого есть доступ к дорогим инструментам и корпоративным связям, тот выглядит эффективнее; у кого нет доступа или кто не хочет работать с технологиями компаний, ценности которых не разделяет, тот автоматически оказывается в слабой позиции. Для IT-рынка это знакомый сюжет: сначала появляется инструмент, потом KPI подгоняют под инструмент, а уже после этого все делают вид, что так и было задумано.
Почему декларация вышла именно сейчас
Тайминг тут явно не случаен. За две недели до публикации декларации OpenAI объявила, что одна из ее моделей якобы опровергла 80-летнюю геометрическую гипотезу. Компания выложила исследовательскую статью и комментарии независимых математиков, но, как отмечают критики, не раскрыла ключевые детали: какие именно промпты использовались, на каких данных обучалась модель и сколько вычислительных ресурсов ушло на решение задачи. Историк и антрополог вычислений Родриго Очигаме из Лейденского университета, один из авторов декларации, прямо указывает на проблему: научный смысл результата трудно оценить, когда базовая информация закрыта, а сама модель недоступна никому вне компании.
Именно здесь спор про ИИ в математике выходит за пределы академии и становится вопросом отраслевой власти. В декларации отдельно критикуются случаи, когда математические достижения ИИ продвигаются через пресс-релизы, блоги и маркетинговые ролики раньше, чем сообщество успевает провести нормальную проверку. Такие анонсы, по мнению авторов, подстраиваются под рыночный темп, а не под научный. Математик Майкл Харрис из Колумбийского университета формулирует это еще жестче: коммерческая логика технологических компаний противоречит ценностям математики. И это, пожалуй, главный нерв всей истории. Вопрос уже не в том, умеет ли модель решать сложные задачи, а в том, кто получает право объявлять результат значимым и на каких основаниях.
Даже среди авторов декларации нет отрицания того, что отдельные достижения ИИ могут быть впечатляющими. Профессор Оксфорда Урсула Мартин называет результат OpenAI заметным, но тут же добавляет важную оговорку: если на аналогичную задачу направить сопоставимый объем человеческих усилий, исход мог бы быть тем же. Это неприятная, но полезная мысль для бизнеса. В прикладной разработке мы привыкли считать, что если задача решена быстрее машиной, значит инструмент уже доказал свою ценность. В фундаментальной науке такой подход не проходит. Там ценится не только ответ, но и процесс: выращивание идей, проверяемость, интерпретация, передача понимания следующим поколениям исследователей.
Что это значит для IT-рынка
Для разработчиков, продактов и руководителей R&D история с Лейденской декларацией полезна как холодный душ. Если даже математика, дисциплина с жесткими формальными критериями истинности, не готова принимать результаты черного ящика без прозрачности, то в остальных областях тем более не стоит путать эффектную демонстрацию с воспроизводимым прорывом. Авторы документа рекомендуют математикам честно раскрывать использование ИИ, сохранять личную ответственность за корректность результатов, продолжать нормально атрибутировать человеческий труд и по возможности выбирать инструменты, совместимые с научными и этическими принципами. Профессиональным организациям они советуют готовить правила для публикаций и рецензирования, защищать права авторов через лицензии и заранее продумывать, как реагировать на громкие заявления о «крупных результатах», полученных нетрадиционным способом.
Есть и более широкий слой проблемы. В декларации прямо сказано, что математика участвует в создании технологий для войны, массовой слежки, подавления и подрыва демократии, а значит, выбор партнерств с технологическими компаниями нельзя сводить к грантам и вычислительным кластерам. Для IT-индустрии это звучит почти как напоминание о забытом жанре профессиональной этики. Пока вендоры продают ИИ как универсальный ускоритель мышления, математики задают неудобный, но взрослый вопрос: не потеряем ли мы вместе с ускорением сами критерии того, что считаем знанием и чьим знанием оно является. В этом смысле спор про ИИ в математике только начинается, и его исход, похоже, определит не одна громкая демонстрация, а то, смогут ли научные сообщества навязать рынку свои правила проверки и ответственности.