Открытое письмо, под которым стоят подписи двадцати пяти обладателей Филдсовской премии — высшей награды в математике, — фиксирует конфликт, который до этого обсуждался в кулуарах. Математики утверждают, что ИИ-лаборатории, соревнуясь друг с другом в решении знаменитых задач, создают угрозу самой ткани интеллектуальной работы. Речь не о том, что машины научились считать, а о том, как организован процесс признания результатов.
Конкретный эпизод, подогревший спор, связан с профессором Нью-Йоркского университета Тристаном Бакмастером. Он заявил, что OpenAI оказывала на него давление, чтобы он не указывал в качестве соавтора коллегу, работающего в Anthropic, — того самого, кто решил важную математическую задачу. Бакмастер также предположил, что компания могла использовать их наработки с Codex, чтобы за марафонный уикенд инференса получить собственное доказательство. Доказательство OpenAI на момент публикации письма остаётся неверифицированным. В четверг OpenAI отозвала спонсорство математического мероприятия в CalTech после критики со стороны исследователей университета.
| Событие | Дата | Суть |
|---|---|---|
| Лейденская декларация | Июнь | Рабочая группа математиков выпустила документ о влиянии LLM на их работу и рекомендации для сообщества |
| Обвинения Бакмастера | Эта неделя | Профессор NYU заявил о давлении OpenAI с целью не указывать соавтора из Anthropic |
| Отзыв спонсорства | Четверг | OpenAI отозвала спонсорство математического мероприятия в CalTech после критики исследователей |
| Открытое письмо | Текущая неделя | 25 обладателей Филдсовской премии подписали письмо против практик ИИ-лабораторий |
Суть претензии математиков сформулирована в самом письме: решения часто анонсируются в спешке, не оставляя времени на нормальное описание, выделение новых методов и идей и цитирование предыдущих работ. «Как и во всех творческих профессиях, это поднимает серьёзные вопросы атрибуции и плагиата», — пишут авторы. Без математиков, которые готовы заниматься развитием и интеграцией этих идей в канон, концепции, порождённые ИИ, никогда не станут по-настоящему живыми, а критическая цепочка человеческой передачи знаний между математиками будет разорвана.
Профессор NYU Тристан Бакмастер обвинил OpenAI в давлении с целью не указывать соавтора из Anthropic.
Контекст, в котором появилось письмо, важен для понимания масштаба. В июне рабочая группа математиков выпустила Лейденскую декларацию — документ, который также осмысляет, как доказательства, полученные с помощью LLM, изменят их работу, и предлагает набор рекомендаций для математиков, институтов и политиков. Нынешнее письмо продолжает эту линию. Параллельно растёт паранойя среди исследователей: некоторые задаются вопросом, не попадают ли их собственные запросы к Codex в обучающие данные новых моделей OpenAI. Это подрывает культуру открытых исследований, которая строилась десятилетиями.
Экономика процесса меняет стимулы. Если передовые лаборатории видят перспективный путь к открытию, они могут потратить десятки миллионов долларов на вычисления с использованием LLM, чтобы обойти оригинальных исследователей в гонке за доказательством. Такая динамика поощряет секретность вместо открытости. Математики находят оправдание своей позиции в самой природе работы: ценность математики не только в доказательствах и том, кому за них достаётся признание, но и в интеллектуальной надстройке, которая питает студентов, порождает новые вопросы и интегрирует результаты в более широкую человеческую цивилизацию.
Авторы письма предупреждают, что проблемы математического сообщества не уникальны. «Проблемы, с которыми сейчас сталкивается математическое сообщество, похожи на проблемы, с которыми сталкиваются другие научные и творческие профессии, и указывают на проблемы, с которыми может столкнуться всё человечество: как сделать так, чтобы по мере изменения ИИ способов выполнения работы мы не упускали из виду то, ради чего эта работа изначально задумывалась», — говорится в письме. Иными словами, если вам не близок мир высоких ставок в математических доказательствах, стоит помнить: ваша область — следующая.
