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