Декларация 25 Филдсовских медалистов: это не запрет на модели

декларация Филдсовских медалистов — это текст, который Теренс Тао опубликовал у себя 11 сентября 2026 года. Он пишет, что входит в первые 25 подписей и что все первые подписанты — лауреаты Филдсовской премии. Scientific American вышел 14 сентября и говорит о заявлении, опубликованном в предыдущую пятницу, с теми же 25 подписями. Дальше страницы расходятся: журнал вставляет в ту же неделю заявку OpenAI по уравнениям Навье—Стокса, а страница Тао держит сам документ и не называет ни одной конкретной теоремы.

Что именно выложил Тао

Пост датирован 11 сентября 2026 года. Тао пишет, что горд быть среди 25 первых подписантов, все они Филдсовские медалисты, и что текст вырос из их разговоров за последнюю неделю. Декларацию продублировали на отдельной странице. Он сравнивает сбор подписей с Лейденской декларацией и прямо жалеет, что на более спокойное обсуждение времени не было: ситуацию сочли слишком срочной.

Он же отсылает к статье The Economist и к короткому интервью Джеймса Мейнарда. Я эти две страницы не открывал, поэтому не пересказываю, что там сказано. Отдельно Тао пишет, что французская версия вышла в Le Monde. Сам Le Monde я тоже не открывал.

В списке на его странице я насчитал те же 25 имён, которые он анонсирует. Там Артур Авила, Манджул Бхаргава, Каучер Биркар, Пьер Делинь, Юй Дэн, Саймон Дональдсон, Хьюго Дюминиль-Копен, Алессио Фигалли, Мартин Хайрер, Джун Хо, Максим Концевич, Элон Линденштраусс, Пьер-Луи Лионс, Джеймс Мейнард, Кёрт Макмаллен, Сигэфуми Мори, Нго Бао Тяу, Андрей Окуньков, Петер Шольце, Станислав Смирнов, Теренс Тао, Марина Вязовская, Седрик Виллани, Венделин Вернер и Ефим Зельманов. Рядом с каждым стоит год медали, включая 2026-й у Юя Дэна. Scientific American этот перечень не повторяет. Журнал фиксирует число 25 и отдельно выделяет Тао.

О чём спорит сам документ

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

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

Ключевая фраза, которую Scientific American тоже подхватывает: решать задачи — только инструмент и заменитель главной цели, понятийного понимания. Если про это забыть, инструмент поворачивается против цели. Массовое производство всё более быстрых утверждений «верно или неверно» может вытоптать почву, а не оживить идеи.

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

Что добавляет Scientific American и чего там нет у Тао

Заметка Джозефа Хоулетта вышла 14 сентября 2026 года, её редактировал Ли Биллингс. Журнал пишет, что заявление закрыло, возможно, самую важную неделю в истории математики: в предыдущий вторник OpenAI заявила о решении уравнений Навье—Стокса, одной из семи задач тысячелетия. Это рамка журнала, не строка декларации. В тексте, который выложил Тао, имени OpenAI и названия этой задачи нет. В комментариях под постом посторонний автор обсуждает заявку OpenAI, но комментарий не является подписью медалистов. Я не поднимаю его до содержания декларации.

Журнал цитирует декларацию про сообщество как уменьшенную модель человечества: разные подходы и общие ценности. Эта фраза в посте Тао действительно есть.

Дальше Scientific American рассказывает про сдвиг самого Тао. Годами он публично смотрел на модели оптимистично и несколько месяцев назад был в рекламном ролике OpenAI, но недавно тревога выросла. Журнал пишет, что в прошлую среду Тао на блоге отозвался о «той печально известной рекламе» и сказал, что положение заметно ухудшилось, а компании всё сильнее заняты гонкой за крайне мощными автономными технологиями без оглядки на пользу обществу. Этот другой пост я не открывал. Цитата дошла до меня только через журнал, поэтому я не сверял её с оригиналом среды.

Там же появляется Association for Human Mathematics. Журнал пишет, что на прошлой неделе обеспокоенные математики, многие из верхушки дисциплины, запустили её, и работа шла ещё до новостей про Навье—Стокс. Наоми Суитинг, доцент Массачусетского технологического института и одна из первых в списке участников, говорит журналу, что ощущение вреда и короткого горизонта в отношениях математики и компаний копилось, и что они пытаются собрать будущее, хорошее и для людей, и для математики. У Тао в открытом мной посте этой ассоциации и этого имени нет.

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

Чего текст не требует от тебя

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

Решение знаменитой задачи в декларации — ориентир и повод разобрать метод, а не финиш. Спешка объявления без текста, без отделения идеи и без ссылок на чужую работу для подписантов как раз и есть разъезд.

Для тебя практический остаток такой. Если модель выдала доказательство, декларация не говорит, что строка ложная. Она говорит, что строка без разбора, без авторской цепочки и без изложения, которое может прочитать другой человек, не выполняет ту работу, ради которой задача стояла. Проверять конкретную заявку этой страницей нельзя: в ней нет ни одной теоремы. Заявку OpenAI по Навье—Стоксу я здесь не подтверждаю и не опровергаю. Её назвал журнал как событие недели, а не как проверенный результат.

Тао отдельно пишет, что лист подписей открыт. Значит, число 25 на 11 сентября — это первые подписанты, не закрытый клуб навсегда. Журнал 14 сентября повторяет 25 и не описывает, вырос ли список за выходные. Я не достраиваю более позднее число.

К теме помогают заметка про GLM-5.3 и задачи вне профессии.

Материал не является инвестиционной рекомендацией. Крипта — высокий риск, решения принимаешь сам.