Математик NYU заявил о споре с OpenAI вокруг задачи Навье—Стокса
Профессор математики Нью-Йоркского университета Тристан Бакмастер объявил о трёх доказательствах, включая предварительный результат по задаче существования и гладкости уравнений Навье—Стокса. Над работой он сотрудничал с математиком Anthropic Левентом Альпёге и использовал модели Codex и Claude. Одновременно Бакмастер публично рассказал о конфликте с OpenAI, которая, по его словам, сообщила о собственном полном доказательстве центральной задачи.
О какой задаче идёт речь
Задача Навье—Стокса входит в семь задач тысячелетия Clay Mathematics Institute. За корректное решение каждой из них предусмотрена награда в $1 млн. Уравнения широко применяются в механике жидкостей, однако вопросы существования и гладкости их решений в общем случае остаются нерешёнными.
Бакмастер сообщил, что они с Альпёге выбрали сравнительно редкое направление работы: путь через гладкую силу, связанный с вариантами c и d в формулировке задачи Чарльза Феффермана. По его утверждению, почти никто из знакомых ему исследователей не работал в этом направлении. Альпёге работает в Anthropic, но, как подчёркивается, выполнял это исследование не от имени компании.
Позиции участников конфликта
По версии Бакмастера, во время завершения результатов исследователи узнали, что сведения об их прогрессе попали в OpenAI. После обращения в компанию им сообщили о полном доказательстве. Он утверждает, что дальнейшие ответы о сроках начала работы OpenAI и объёме человеческого участия становились менее определёнными, а первый запрос к модели якобы был сделан несколькими днями ранее, уже после появления сведений об их исследовании.
Руководитель математических исследований OpenAI Себастьен Бюбек отверг эти заявления, назвав их «ложными и провокационными». Он написал, что присоединился к обсуждению, следуя академическим нормам, и намерен позднее дать более полный комментарий. Бакмастер отдельно заявил, что не видел доказательства OpenAI, не знает, использовались ли данные его работы, и не обвиняет кого-либо, а передаёт последовательность сказанного ему и сделанных предложений.
Вопрос о данных Codex
Бакмастер также обратил внимание на собственное активное использование Codex при подготовке проекта. Условия OpenAI допускают обучение моделей на взаимодействиях с Codex, если пользователь не отказался от этого. Поэтому он поставил вопрос, могла ли модель, обученная на таких взаимодействиях, воспроизвести его наработки при похожем запросе. OpenAI не ответила на запрос о комментарии по этой возможности.
Контекст спора дополняет спор OpenAI и Apple о коммерческой тайне и показывает, почему режимы доступа к данным становятся предметом разногласий в конкуренции AI-компаний. В данном случае публично изложены несовпадающие версии участников, а технические детали предполагаемого доказательства OpenAI не представлены.
Для бизнеса эта история служит практическим напоминанием: при использовании генеративных инструментов в исследованиях необходимо заранее проверять режимы обучения на пользовательских данных, возможность отказа и правила хранения рабочих материалов. Такие условия важны до того, как результаты станут коммерчески или научно значимыми.