25 лауреатов Филдсовской премии — высшей награды для математиков, которую вручают раз в четыре года — подписали декларацию о серьёзной рассогласованности ИИ и математики. Среди подписантов Terence Tao, Peter Scholze, Manjul Bhargava и Pierre Deligne. Это не абстрактное «философское» заявление: документ бьёт по конкретной практике — использованию знаменитых открытых задач как бенчмарка (эталонного набора задач для сравнения моделей).
Присоединиться может любой: подпись ставится через ORCID (универсальный идентификатор учёного) или академическую почту. То есть это открытая позиция сообщества, а не закрытое письмо избранных.
В чём именно претензия
Суть обвинения формулируется коротко: ИИ-компании берут известные открытые задачи, получают на них решение и анонсируют результат в спешке. По мнению авторов декларации, при этом обычно отсутствует:
- нормальная запись решения — без внятного изложения результата;
- выделение новых методов, которые к нему привели;
- ссылки на предшественников, чьи работы сделали результат возможным.
Отсюда и вопросы атрибуции (указания авторства) и плагиата. Это тот случай, когда «мы получили ответ» и «мы понимаем, почему он верен» — принципиально разные вещи. ИИ-компаниям нужен красивый заголовок, математикам — цепочка рассуждений.
Понимание против «верно/неверно»
Ключевой тезис декларации: сами решения — лишь инструмент, а цель математики в понимании. Массовое производство ответов формата «верно/неверно» способно убить почву для новых идей: если ответы достаются дёшево и без объяснений, из чего вообще будут расти следующие задачи?
Здесь я вижу прямую параллель с вайбкодингом. Когда агент генерирует рабочий код, ты получаешь результат, но не модель того, почему решение устроено так. Пока проект маленький — плевать. Когда он вырастает и ломается, выясняется, что понимания не было ни у тебя, ни у модели. Разница в том, что в коде это стоит багов и часов дебага, а в математике — целого пласта непонимания, на котором строится наука.
Почему декларация появилась так быстро
Tao пишет, что текст родился из обсуждений за последнюю неделю и вышел без широких консультаций — из-за срочности. Это о многом говорит: математическое сообщество, которое обычно не торопится и выверяет формулировки годами, здесь среагировало почти мгновенно.
Публичный медийный фон тоже показателен: The Economist вынес в заголовок возмущение математиков методами OpenAI. То есть речь не только о внутреннем этикете науки, но и о публичном споре между двумя культурами — той, что измеряет прогресс количеством решённых задач, и той, что измеряет его глубиной понимания.
Что это меняет на практике
Пока — задаёт рамку и правила приличия. Формально декларация ничего не запрещает: ИИ-лаборатории продолжат брать известные задачи и публиковать результаты. Но она вводит публичный стандарт: если ты объявляешь о прорыве, будь добр показать метод, записать решение и сослаться на тех, кто готовил почву.
Для тех, кто работает с AI-инструментами в разработке, вывод тот же, только дешевле: результат без объяснения — это технический долг, просто отложенный. Требуй от модели не только код, но и обоснование — иначе однажды окажется, что ты не автор решения, а его заложник.
Выводы
- 25 лауреатов Филдсовской премии, включая Tao, Scholze, Bhargava и Deligne, подписали декларацию о серьёзной рассогласованности ИИ и математики.
- Претензия адресована ИИ-компаниям, которые используют знаменитые открытые задачи как бенчмарк и анонсируют решения без записи, без новых методов и без ссылок на предшественников.
- Отсюда вопросы атрибуции и плагиата — не юридическая придирка, а базовая научная гигиена.
- Цель математики — понимание, а не поток ответов «верно/неверно»; массовое производство ответов подрывает почву для новых идей.
- Декларация вышла быстро, без широких консультаций, а подписать её можно любому через ORCID или академическую почту.