🚨 Теренс Тао и ещё 24 лауреата Филдсовской премии выступили против того, как AI-компании используют математику

25 ведущих математиков подписали декларацию A Severe Misalignment of AI in Mathematics.

Их главный тезис: превращать сложнейшие открытые задачи в очередной benchmark для моделей — опасный путь.

Что их беспокоит:

- AI-решения публикуются слишком быстро
- не хватает времени на полноценную проверку и нормальное изложение доказательств
- новые идеи и методы не успевают отделить от уже существующих работ
- возникают серьёзные вопросы атрибуции и плагиата
- поток «решено / не решено» может вытеснить главное — понимание того, почему математика вообще работает

Авторы прямо пишут:

> «Мы наблюдаем общую угрозу интеллектуальному труду».

Они не отрицают резкий прогресс LLM в математике. Наоборот — признают, что модели уже способны решать крупные открытые проблемы.

Но для математиков ценность задачи не только в финальном доказательстве. Важны новые идеи, объяснения, обсуждение, обучение следующего поколения и корректная связь с предыдущими работами.

Поэтому конфликт целей становится всё заметнее:

AI-лаборатории → решить быстрее и показать capability

математическое сообщество → понять, проверить, объяснить и встроить результат в науку

Декларацию подписали Теренс Тао, Питер Шольце, Марина Вязовская, Седрик Виллани, Максим Концевич и ещё 20 лауреатов Филдсовской премии.

https://terrytao.wordpress.com/2026/09/11/a-severe-misalignment-of-ai-in-mathematics/

@vistehno