ИИ решает теоремы — но ценой разрушения самой математики

Двадцать пять лауреатов Филдсовской премии, включая Терренса Тао, подписали декларацию с предупреждением: гонка AI-компаний за решением известных математических задач в качестве бенчмарков (benchmark — тест производительности) идёт вразрез с целями математического сообщества. Заявление, опубликованное 11 сентября 2026 года, утверждает, что коммерческие стимулы, движущие разработкой ИИ, вступают в конфликт с тщательными, намеренно медленными процессами, которые столетиями обеспечивали надёжность математики.

⚠ Ключевой тезис декларации
Цели AI-компаний и цели математического сообщества критически расходятся. Быстрые «открытия» ИИ не становятся частью живой математики — они остаются набором истинных и ложных утверждений без понимания.

Кто подписал

Среди подписантов — настоящий Who’s Who современной математики: Терренс Тао, Питер Шольце, Марина Вязовская, Коше Биркар, Чжун Ху, Мартин Хэйрер, Максим Концевич, Джеймс Мейнард, Манджул Бхаргава и лауреат 2026 года Юй Дэн — от церемоний вручения 1978 года до нынешнего года.

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

В чём проблема

За последние несколько месяцев математические возможности LLM (больших языковых моделей) резко улучшились — до того, что они способны решать крупные нерешённые задачи в различных областях математики. Но именно в этом и кроется проблема.

AI-компании оптимизируют скорость, объявляя о прорывах в математических задачах темпами, которые превышают возможности сообщества проверить их. Математика, в отличие от большинства дисциплин, имеет бинарный стандарт качества: доказательство либо верно, либо нет.

Когда AI-компания объявляет о прогрессе в одной из таких задач, это генерирует огромную огласку. Когда же сообщество позже обнаруживает, что работа не выдерживает проверки, опровержение получает значительно меньше внимания.

ℹ Проблема атрибуции
Срочно опубликованные, анонимные AI-доказательства обходят человеческие процессы рецензирования, написания и передачи знаний, которые традиционно превращают решённую задачу в общее математическое понимание — и поднимают серьёзные вопросы плагиата и атрибуции.

Порочный круг: бенчмарки вместо понимания

Математики утверждают, что это создаёт опасный цикл. Громкие заявления привлекают финансирование и таланты в AI-математические проекты, что порождает новые громкие заявления, — тогда как кропотливая работа по верификации ложится на академическое сообщество, которое не работает в ритме квартальных отчётов.


graph TD
    A[ИИ решает известную задачу] --> B[Громкий пресс-релиз]
    B --> C[Приток финансирования в AI-labs]
    C --> D[Новые бенчмарки и гонка]
    D --> A
    B --> E[Академики проверяют результат]
    E --> F{Доказательство верно?}
    F -->|Нет| G[Тихое опровержение]
    F -->|Да| H[Нет нового понимания и методов]
    G --> D

«Мы являемся свидетелями общей угрозы интеллектуальному труду — расхождения между результатом применения ИИ и его первоначальной целью.» — из декларации mathandai.org

Что именно теряется

Традиционная математикаМатематика через ИИ-бенчмарки
Медленная верификация пирамиБыстрые объявления без рецензии
Чёткая атрибуция авторстваАнонимные AI-доказательства
Передача методов следующему поколениюНабор истинных/ложных утверждений
Концептуальное пониманиеОтвет без объяснений
Взаимодействие математиковИзоляция процесса открытия

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

Это не только про математику

Математики формулируют свои опасения шире собственной дисциплины: «Проблемы, с которыми сталкивается математическое сообщество сейчас, аналогичны тем, с которыми сталкиваются другие научные и творческие профессии, и указывают на проблемы, с которыми может столкнуться всё человечество.»

Это не первый раз, когда академический мир пытается обозначить границы вокруг вторжения ИИ в экспертные области. Новая декларация следует за Лейденской декларацией июня 2026 года, которая касалась более широких рисков ИИ для профессий, основанных на глубоком…

💡 Что предлагают математики

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

Декларацию можно подписать на сайте mathandai.org.

📝 Millennium Prize Problems
Millennium Prize Problems (Задачи тысячелетия) — семь нерешённых математических задач, за каждую из которых Институт Клэя предлагает $1 000 000. Это семь самых сложных нерешённых задач в математике с наградой в миллион долларов от Института математики Клэя. Когда AI-компания объявляет о прогрессе в одной из них, это генерирует огромную огласку.

Итог

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