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