Более 150 ведущих математиков мира подписали Лейденскую декларацию, призывающую правительства и общество перестать верить громким заявлениям IT-корпораций. Искусственный интеллект пока не научился открывать новую математику, зато отлично справляется с генерацией правдоподобной чепухи.
Весной 2026 года информационное поле захлестнула волна новостей о том, что алгоритмы начали автономно двигать фундаментальную науку вперед. Сначала СМИ раструбили о 23-летнем энтузиасте без профильного образования, который якобы решил одну из открытых проблем венгерского математика Пала Эрдёша, просто правильно сформулировав запросы к ChatGPT.
Поддержать нас на Boosty
Поддержать нас на Дзен
В мае компания OpenAI повысила ставки: разработчики заявили, что их обновленная модель опровергла гипотезу о «единичном расстоянии» (еще одно наследие Эрдёша), над которой академическое сообщество билось 80 лет. Компания назвала это историческим моментом и первым случаем, когда машина самостоятельно решила значимую открытую проблему в математике.
Профессиональные ученые отреагировали на эти заявления не аплодисментами, а коллективным письмом.
Лейденская декларация: суть претензий
Итогом закрытого семинара в голландском Центре Лоренца стал 11-страничный документ, опубликованный 2 июня 2026 года — «Лейденская декларация об искусственном интеллекте и математике». Ее подписали более 150 авторитетных исследователей, включая вице-президента Международного математического союза Ульрике Тиллманн и лауреата Филдсовской премии, директора Института математики Макса Планка Петера Шольце.
Основной посыл документа звучит коротко: не верьте хайпу.
Математики выделили четыре фундаментальные проблемы текущего подхода к ИИ в науке:
- Галлюцинации со вкусом науки. ИИ генерирует тексты, которые выглядят как строгие доказательства, но при детальном разборе рассыпаются. Как отмечают эксперты, алгоритмы часто выдают «в основном правильные, но совершенно неинтересные» результаты, которые PR-отделы стартапов упаковывают как исторические прорывы.
- Проблема «черного ящика» и плагиат. Языковые модели обучаются на гигантских массивах данных, бездумно парся научные статьи с платформ вроде arXiv. При этом ИИ не указывает первоисточники и не может объяснить логику своих выводов. Это разрушает базовый принцип математики — прозрачность доказательства.
- Наука через пресс-релизы. IT-компании спешат заявить о победах в блогах и соцсетях, минуя традиционное рецензирование (peer-review). В итоге инфополе забивается ошибочными утверждениями, на опровержение которых реальным ученым приходится тратить ценное время.
- Приватизация фундаментальных знаний. Существует серьезный риск того, что развитие науки окажется в заложниках у закрытых коммерческих алгоритмов.
«Будущее математических исследований должно определяться человеческим суждением, честными и прозрачными практиками, а также общими ценностями мирового сообщества. Сейчас у технологической индустрии есть сильный коммерческий стимул преувеличивать возможности своих продуктов», — подчеркнула Ульрике Тиллманн.
Декларация не призывает запретить нейросети. Ученые просят относиться к ним как к инструменту, а не как к замене исследователя, и выдвигают четкие требования к политикам и бизнесу:
- Консультироваться с экспертами. Принимать законы о регулировании ИИ нужно на основе мнений ученых, а не рекламных буклетов техкомпаний.
- Защищать авторские права. Жестко контролировать использование интеллектуальной собственности при обучении моделей.
- Создавать государственную инфраструктуру. Инвестировать в независимые открытые вычислительные мощности, чтобы академическая наука не зависела от милости и тарифов бигтеха.
- Ввести обязательную маркировку. Использование алгоритмов в любых научных публикациях должно строго декларироваться.
FAQ: Часто задаваемые вопросы
Может ли ИИ сегодня доказывать теоремы лучше людей?
Нет. ИИ отлично справляется с вычислениями, поиском паттернов и помогает в рутинных задачах, но он пока не способен на подлинное математическое творчество. Большая часть его громких «решений» — это комбинация уже известных фактов из базы данных, часто с логическими ошибками.
Что такое Лейденская декларация 2026 года?
Это официальный документ, подписанный более чем 150 учеными со всего мира. Он предупреждает об угрозе коммерциализации науки и призывает не преувеличивать способности нейросетей в решении сложных математических проблем.
Почему математики ополчились на ИИ?
Они не против самих алгоритмов. Недовольство вызывает непрозрачность ИИ-систем, кража научных текстов для обучения моделей без указания авторства и агрессивный маркетинг корпораций, который искажает представление общества о реальном прогрессе в науке.
Машинное обучение действительно ускоряет рутинные расчеты. Но пока алгоритмы остаются скорее продвинутыми статистическими калькуляторами с функцией автозаполнения, чем новыми Перельманами. Искусственный интеллект может найти иголку в стоге сена, если ему четко объяснить, как выглядит иголка. Но придумать само понятие «иголки» пока под силу только человеку. Так что увольнять профессоров математики явно рановато.
Поддержать нас на Boosty
Поддержать нас на Дзен
Читайте также: Математики покусились на главную загадку современной Вселенной
Комментировать можно ниже в разделе “Добавить комментарий”.