Математики, OpenAI и вопрос на миллион долларов: кто владеет вашими черновиками

Два доказательства одной и той же математической задачи появились почти одновременно — у независимых математиков и внутри OpenAI. Скандал не в математике, а в том, что никто не может проверить, попали ли неопубликованные черновики исследователей в обучающую выборку модели.

Два человека потратили год на доказательство, а когда им понадобилось узнать, что случилось с их неопубликованными черновиками, им пришлось спрашивать вендора и надеяться на честный ответ. Честного ответа они не получили — и больше спросить было не у кого.

Навье-Стокс: задача с призом в миллион

Уравнения Навье-Стокса математически описывают движение жидкостей и газов — от течения крови в сосудах до турбулентности вокруг крыла самолёта. С 2000 года Институт Клея предлагает миллион долларов за доказательство одного из ключевых свойств этих уравнений: существуют ли гладкие решения, которые остаются конечными при всех условиях, или же возможен «взрыв» — ситуация, когда некоторая величина в решении уходит в бесконечность за конечное время.

26 лет задача оставалась открытой. А на этой неделе она стала предметом спора, который к математике имеет лишь косвенное отношение.

Что произошло

8 сентября 2026 года Тристан Бакмастер, Левент Алпёге и Матей Койкулеску опубликовали доказательства того, что несколько родственных уравнений, включая трёхмерное несжимаемое уравнение Эйлера, допускают конечновременной взрыв при наличии гладкой внешней силы. Доказательства проверены в Lean — формальном инструменте верификации математических аргументов, — то есть результат опирается не на рецензию одного-двух экспертов, а на машинную проверку каждого шага. Теренс Тао, один из самых авторитетных математиков современности, подробно разобрал результаты на своём блоге — что служит неплохим индикатором того, как серьёзно к ним относится профессиональное сообщество.

Работа заняла около года. Большая часть этого времени ушла на медленное, итеративное продвижение. Прорыв произошёл 15 августа, а машинная верификация завершилась 22 августа. На протяжении всего проекта исследователи использовали несколько языковых моделей: Claude от Anthropic, Codex с моделью GPT-5.6 Sol от OpenAI и позднее Astra для оформления текстов и аудита аргументов. Каждая черновая версия проекта попадала в сессии Codex.

Телефонный звонок, который всё изменил

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

Бубек сообщил ему, что внутренняя модель OpenAI сгенерировала доказательство конечновременного взрыва для вынужденных уравнений Навье-Стокс объёмом около 100 страниц. Использовалась та же узкая формулировка задачи — вариант с гладкой внешней силой по пунктам (c) и (d) в постановке Фэффермана, — которую выбрали и Бакмастер с Алпёге. Это не тот путь, на который модель выйдет за пару дней, получив только текст задачи.

Поначалу Бакмастеру сказали, что во внутреннюю модель было вложено минимальное участие человека. Но к концу того же звонка нарратив сменился: над проектом работала целая команда, модель предварительно «разогревали» на более простых уравнениях, а промпт, который ему показали, сам был сгенерирован через Codex.

Когда Бакмастер спросил, когда был отправлен первый промпт, ответ в итоге свёлся к «последним дням» — после того, как информация о его работе дошла до OpenAI. Он спросил, обучалась ли внутренняя модель на его сессиях в Codex или имела ли к ним доступ. Ему ответили, что модель «не подтягивает данные пользователей». Когда он уточнил конкретно про обучение — ответа не получил.

Оговорки, которые делают реальную работу

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

Эти оговорки важны — и значительная часть комментариев в сети их попросту выбрасывает, подменяя осторожные формулировки категоричными обвинениями. Но даже если абстрагироваться от вопроса «кто первый доказал», остаётся структурная проблема, которая касается каждого, кто пользуется облачными ИИ-инструментами для серьёзной работы.

Суть проблемы: вы не контролируете, где хранятся ваши черновики

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

Для большинства команд это никогда не становится проблемой. Один исследовательский спор — слабое основание для выводов о политике целой компании. Но экспозиция распределена неравномерно. Если вы строите продукт против хорошо финансируемой лаборатории в узком сегменте — ваше незавершённое преимущество и есть ваш главный актив. Исследователи в областях, где три группы в мире бьются за один результат, живут в этом положении постоянно. Как и множество стартапов.

Бакмастер и Алпёге — наглядный пример. Они опросили как минимум три модели, но весь рабочий материал копился в сессиях одного продукта. В итоге одна компания держала все черновики и отвечала на вопросы о них. Когда исследователи попытались выяснить, что именно произошло с их данными, оказалось, что прочитать логи невозможно, а восстановить, что покинуло их машины и куда попало, — тоже.

Что делать: хеджирование не требует героизма

Защититься от ситуации, в которой один провайдер становится единственным звеном, знающим о вашей работе всё, можно несколькими неэффектными, но эффективными решениями.

Используйте инструменты с открытым исходным кодом. Когда код инструмента публичен, вопрос «что именно отправляется в запросе» решается чтением кода, а не расспросами вендора с ожиданием, насколько конкретным окажется ответ.

Распределяйте работу между несколькими семействами моделей. Это не то же самое, что просто использовать несколько моделей. Бакмастер и Алпёге обращались к трём разным системам — но вся проектная накопилась в одном месте. Суть в том, куда попадает рабочее состояние. Выбирайте инструменты, которые держат его под вашим контролем, а не в чате того вендора, который вы случайно открыли. Отправляйте исследовательские рассуждения в одну модель, а рутинный рефакторинг — в другую.

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

Что дальше

Спор об авторстве будет публично разворачиваться в ближайшее время, и это наименее долговечная часть истории. Математический результат переживёт выяснение отношений. Но сам эпизод обнажает вопрос, который не имеет удовлетворительного ответа ни у математиков, ни у разработчиков: если вы используете облачные ИИ-инструменты для работы над чем-то ценным, вы не можете проверить, что именно провайдер знает о вашем проекте, и не можете восстановить, куда ушли ваши данные.

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