• обычный дег

Скандал вокруг OpenAI, Codex и решения задачи Навье—Стокса

Новый скандал, на этот раз на стыке матана и AI: кожаные математики насмерть сцепились с вооруженными нейронками бигтехами за титул «Решивший Задачу Тысячелетия». OpenAI, по сути, обвиняют в том, что они украли чужую идею решения из пользовательской сессии Codex.

Есть такая система уравнений Навье-Стокса, для которой доказательство существования определенного типа решений входит в число семи знаменитых «задач тысячелетия» (за решение которых полагается лям баксов и вечная слава).

Скандал вокруг OpenAI, Codex и решения задачи Навье—Стокса #4

Так вот, математики Тристан Бакмастер и Левент Альпёге (этот из Anthropic) уже год работали над этим самым доказательством с помощью не самых популярных идей и с активным использованием AI (одновременно Claude от Антропика и ChatGPT через Codex). И вот в районе третьего сентября в Твиттере появляется слушок, что дескать «Антропик решил Навье-Стокса, скоро будет сенсационная публикация!».

Скандал вокруг OpenAI, Codex и решения задачи Навье—Стокса #6

Дальше, как ситуация развивалась со слов Тристана (тут надо понимать, что он может оказаться и ненадежным рассказчиком): он связывается с OpenAI и пишет им «да, мы тут действительно работаем над решением важных задач, которые являются предтечей для доказательства по Навье-Стоксу – скоро опубликуем, как всё подчистим аккуратно».

Через несколько дней OpenAI ему пишет обратно: «Братан, отличная работа, кстати, наша внутренняя новейшая модель как раз вот тоже решила Навье-Стокса…» Причем, оказывается, что использованный ими подход был подозрительно практически идентичен тому, над чем последний год работали Тристан и Левент.

Тристан, понятно, присел на измену и начал им задавать уточняющие вопросы. OpenAI в итоге пришлось признать, что промптить свою модель на «реши Навье-Стокса, make no mistakes» их внутренняя команда начала сразу после того, как до них дошел слух (то есть, буквально несколько дней назад).

Злой на AI Тристан, очень злой

Скандал вокруг OpenAI, Codex и решения задачи Навье—Стокса #9

Дальше Тристан спросил «слушайте, дак ведь мы всю работу загружали в ваш Codex – у вас там эта новая моделька случайно не тренировалась на пользовательских сессиях?». С тем подтекстом, что она могла просто подсмотреть их подход и «апроприировать» его себе. Но на этот вопрос OpenAI тактично решили не отвечать (сказали только, что уже непосредственно в процессе решения модель не подсматривала в пользовательские чаты).

Скандал вокруг OpenAI, Codex и решения задачи Навье—Стокса #11

В какой-то момент Бакмастеру предложили опубликовать решение Навье-Стокса первым как «мясному человеку, ближе всего подобравшемуся к решению проблемы», ну и миллион долларов себе забрать (у OpenAI таких и так полно, инвесторы новые не успевают подтаскивать). Но с одним условием: второго челика из Антропика надо из соавторов убрать – видимо, чтобы вышли красивые заголовки в стиле «именно AGI от OpenAI расколол задачу тысячелетия».

Скандал вокруг OpenAI, Codex и решения задачи Навье—Стокса #13

А когда Тристан спросил, не охренели ли они, в ответ ему якобы мягко намекнули не портить себе карьеру, и вообще «не хочешь по-хорошему – можно и по-плохому»…

Скандал вокруг OpenAI, Codex и решения задачи Навье—Стокса #15

В общем, срач там сейчас только набирает обороты – понять, насколько все заявленные Бакмастером обвинения соответствуют действительности, пока сложновато. Но вот эта история как раз вся насквозь пропитана именно «пиаром ради лайков». Как будто, сами уравнения Навье-Стокса уже и не сильно тут важны – всех волнует только, кто сможет себе присвоить лавры «первого ИИ, решившего Millennium Problem» (так сказать, «Навье-Стоксы ради роста Стонксов», лол).

Но если обвинения в адрес OpenAI хоть немного подтвердятся – это, конечно, будет большой скандал и с точки зрения легализованного «корпоративного шпионажа». Это что же, получается, если вы разрабатываете что-то новаторское и в процессе активно используете ChatGPT – Сэм Альтман может в любой момент скормить ваши наработки своей внутренней нейросети и попросить ее сделать то же самое, только в сто раз быстрее (т.к. лимит компьюта у них немереный)? Зашибись, дайте две.

Дополнение: OpenAI выложили доказательство решения задачи Навье-Стокса в Lean

OpenAI только что опубликовали пресс-релиз о том, что им всё же удалось решить задачу тысячелетия Навье-Стокса, приложив ссылку на формализованное доказательство в Lean.

Наиболее интересный раздел озаглавлен "как мы нашли это доказательство". OpenAI с 28 августа обучали новую модель, которая еще круче GPT-6 Astra, — именно на математических задачах она просто уничтожает "старушку" Астру (которая вышла всего несколько дней назад, лол).