Математик заподозрил OpenAI в применении его идеи по «задаче тысячелетия»
OpenAI заявила, что ее ИИ-модель решила одну из «задач тысячелетия» — проблему уравнений Навье—Стокса, однако математик Тристан Бакмастер заподозрил компанию в использовании его наработок
Профессор математики Нью-Йоркского университета Тристан Бакмастер заподозрил OpenAI в том, что компания использовала наработки его совместного с коллегой проекта для решения одной из «задач тысячелетия» — проблемы существования и гладкости решений для уравнений Навье—Стокса. Об этом говорится в его публичном заявлении.
Бакмастер и его коллега математик из Anthropic Левент Алпёге 8 сентября объявили о трех результатах: доказательстве взрыва за конечное время при гладкой внешней силе для уравнений пористой среды, уравнения Буссинеска и уравнения Эйлера. Отдельно они сообщили, что близки к аналогичному результату для уравнений Навье—Стокса, но пока не публикуют его, поскольку не завершена проверка в системе проверки уравнений Lean. Бакмастер сообщил, что при решении уравнений они использовали инструменты искусственного интеллекта.
По словам Бакмастера, 6 сентября представители OpenAI сообщили ему, что их внутренняя модель получила доказательство взрыва для уравнений Навье—Стокса с гладкой внешней силой — именно тем способом, который они с Алпёге «тихо выбрали для атаки». «Почти никто из тех, кого я знаю, над этим не работал», — отметил он, назвав услышанное «ярко-красным флагом».
Математик утверждает, что сначала ему представили результат как достижение модели с «очень малым человеческим вкладом», но в ходе разговора выяснилось, что над проблемой работала целая команда из OpenAI, использовалось «безумное количество вычислительных ресурсов», а первый промпт был отправлен уже после того, как информация о его работе дошла до OpenAI. На вопрос, обучалась ли модель на черновиках Бакмастера и Алпёге, загруженных в ИИ-систему OpenAI Codex, математик ответа не получил.
Как рассказал математик, в OpenAI ему предложили два варианта: либо он с Алпёге публикует свое решение, а OpenAI на следующий день — свое, либо Бакмастер один пишет статью о результате OpenAI. Также, по его словам, представитель компании «дважды заявил, что хочет, чтобы Левент [Алпёге] был исключен из числа авторов». Когда Бакмастер пригрозил предать произошедшее огласке, ему ответили: «Зачем вам губить свою карьеру?»
Бакмастер подчеркнул, что не видел доказательства OpenAI и не утверждает, что его данные были использованы. «Я излагаю, что мне было сказано, когда, и что мне было предложено», — пояснил он.
Ранее 9 сентября OpenAI заявила, что ее внутренняя модель на основе ИИ нашла решение одной из семи «задач тысячелетия» — проблемы существования решений для уравнений Навье—Стокса. В компании отметили, что возможности модели, добившейся решения, значительно превосходят показатели передовой ИИ-модели GPT-6 Astra.
Для решения задачи группам агентов было предложено несколько «задач тысячелетия». В той, что справилась с задачей Навье—Стокса, одновременно работали около 10 тыс. агентов, сообщила OpenAI. Одни получали формулировки, ведущие к доказательству, другие — к опровержению. Кроме того, агенты успешно решили более простую задачу регулярности решений уравнений Эйлера.
К решению задачи Навье—Стокса модель пришла 5 сентября, а формализация и верификация с помощью GPT-6 Astra заняли еще 17 часов. Всего было отправлено 2,7 млн сообщений и использовано 130 млрд выходных токенов — примерно объем миллиона книг, сообщила ИИ-компания.
Оставайтесь на связи с РБК в «Максе».