Математики наносят ответный удар: принята первая «декларация независимости» от ИИ

Совсем недавно мы обсуждали, как студент без профильного образования и ChatGPT продвинулись в решении 80-летней задачи Эрдёша. Казалось, ИИ вот-вот заберет последнюю цитадель чистой мысли. Но 2 июня 2026 года мировое математическое сообщество перешло в контратаку. Более 150 ведущих ученых мира, включая Филдсовских лауреатов, опубликовали жесткий манифест — «Лейденскую декларацию об ИИ в математике».

Если в майской статье Nature ИИ представал в образе гениального «безумного шляпника», соединяющего абстрактные теории, то в июне ученые прямо заявили: этот «шляпник» начинает заваливать науку мусором, воровать чужие идеи и угрожает превратить математику в закрытый корпоративный бизнес.

Разбираемся, какие 5 главных угроз выделили ученые и какой ультиматум из 23 правил они выдвинули в адрес ИТ-гигантов.

Манифест, официально поддержанный Международным математическим союзом (IMU), выделяет проблемы, которые больше нельзя игнорировать:

1. Цунами «правдоподобного мусора». То, о чем эксперты предупреждали в теории, стало реальностью. Нейросети научились генерировать тонны черновиков статей с фейковыми доказательствами. Они выглядят безупречно, но содержат скрытые логические ошибки. Рецензенты научных журналов уже физически тонут в попытках разобрать этот поток.
2. Интеллектуальное пиратство без цитат. LLM обучались на миллионах статей живых математиков. Теперь ИИ выдает компиляции этих идей, но никогда не указывает реальных авторов. Ученых фактически лишают их главного капитала — признания и цитируемости.
3. Цифровой феодализм ИТ-гигантов. Математика всегда была самой демократичной наукой: тебе нужны были только ручка, бумага и голова. Теперь, чтобы запускать тяжелые рассуждающие модели (вроде серий OpenAI o1/o3) или системы верификации вроде Lean, нужны огромные бюджеты. Ученые боятся попасть в полную зависимость от серверов Microsoft, Google и OpenAI.
4. Маркетинговый хайп вместо науки. Корпорации выпускают красивые пресс-релизы в стиле «Мы решили математику!», но закрывают код и данные. Проверить их заявления невозможно. Декларация призывает: «Не верьте пиару Кремниевой долины!».
5. Потеря человеческого инсайта. Если ИТ-индустрия начнет диктовать, какие задачи «модно» решать перебором ИИ, математика потеряет свою главную суть — развитие фундаментального человеческого понимания.

Осознание этой беззащитности перед лицом бигтеха и заставило международное сообщество перейти от пассивного наблюдения к жесткому юридическому регулированию.

«Манифест не предлагает запретить прогресс, но вводит жесткий свод рекомендаций. С полным текстом документа и списком подписантов можно ознакомиться на официальной странице Leiden Declaration. Вот его ключевые тезисы:

• Для авторов: тотальная прозрачность. Математик обязан детально декларировать в публикации, какую модель он использовал, какие промпты писал и за какую часть кода отвечал ИИ.
• Юридическая ответственность. ИИ никогда не признают соавтором. За любую галлюцинацию или скрытый плагиат нейросети головой и репутацией отвечает ученый-человек.
• Для государств: суверенная инфраструктура. Правительства должны строить открытые, публичные суперкомпьютерные центры для ученых, чтобы фундаментальная наука не стала частной собственностью ИТ-гигантов.
• Этический фильтр. Ученых призывают бойкотировать заказы ИТ-компаний, если алгоритмы создаются для систем тотальной слежки или автономного оружия.

Эти 23 пункта — по сути, первая попытка академического мира выстроить юридическую оборону против Кремниевой долины. Математики первыми осознали, что если сейчас не зафиксировать жесткие правила игры на международном уровне, то завтра крупные технологические корпорации монополизируют право на научную истину, а сами ученые превратятся в бесправных разметчиков данных для коммерческих нейросетей.

Давайте снимем розовые очки и посмотрим на этот бунт математиков критически. С одной стороны, вся эта история выглядит до банальности цикличной:

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

Сегодня мы видим абсолютно то же самое. Прогресс неостановим, а искусственный интеллект — это инструмент, который в любом случае придется использовать. Будем честны: часть академического сообщества банально боится потерять свой монопольный статус, гранты и заработки, ведь нейросети начинают подменять человека там, где раньше требовались десятилетия элитарного образования.

Но с другой стороны, за этим привычным сопротивлением технологиям скрывается экзистенциальный страх совершенно нового уровня:

• Сверхразум реален: Это не просто страх автоматизации рутины. Это обоснованное опасение, что в ближайшие годы машина станет умнее любого живого математика на планете.
• Наука без людей: Да, сегодня ИИ часто галлюцинирует. Но когда связка из рассуждающих моделей и жестких систем верификации (вроде Lean) избавится от ошибок, человек в этой цепочке станет просто лишним. Один ИИ будет генерировать гипотезы, а второй — их проверять.

В такой реальности фундаментальная наука рискует полностью лишиться человеческого звена. И нынешняя Лейденская декларация — это, возможно, последняя отчаянная попытка человечества зафиксировать свое право на «понимание» Вселенной до того, как эта привилегия целиком уйдет к закрытым коммерческим алгоритмам.

Мы подошли к точке невозврата. Если раньше связка больших языковых моделей и систем проверки вроде Lean казалась просто крутым инструментом, то сегодня научное сообщество пытается защитить свои границы. Математика пытается остаться зоной человеческого инсайта, а не превратиться в бесконечный брутфорс коммерческих алгоритмов.

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