OpenAI объявила, что её ИИ-модель нашла решение уравнения Навье-Стокса — одной из семи задач тысячелетия, за которую Математический институт Клэя назначил премию в $1 млн. Уравнение, сформулированное более 200 лет назад, описывает движение жидкостей и газов и до сих пор не имело строгого математического доказательства существования и гладкости решений.

По словам Себастьена Бубека, математика и исследователя ИИ в OpenAI, компания начала обучение новой модели с расширенными математическими способностями 28 августа. После того как появились слухи, что Anthropic продвигается в решении Навье-Стокса, OpenAI решила выделить дополнительные ресурсы на эту задачу. Более 1000 агентов модели работали над проблемой свыше 50 часов, прежде чем было найдено решение. «Я думал, что где-то ошибка, — признался Бубек. — В воскресенье утром у нас было окончательное решение, формализованное в Lean». Lean — это язык программирования, используемый для формальной проверки математических доказательств.

Got a Tip?
Are you a current or former OpenAI employee or mathematician who wants to talk about what’s happening? We’d like to hear from you. Using a nonwork phone or computer, contact the reporters securely on Signal at mzeff.88 and wak.01.

Однако объявление OpenAI омрачено спором о приоритете. Математик Тристан Бакмастер из Нью-Йоркского университета и его коллега Левент Альпёге, исследователь в Anthropic, утверждают, что они первыми добились ключевых результатов в области, связанной с уравнением Навье-Стокса. В понедельник они опубликовали документы, в которых описали свои достижения, полученные с помощью нескольких ИИ-моделей, включая Claude и Codex. Бакмастер заявил, что узнал о том, что OpenAI начала активно работать над задачей после того, как компания получила доступ к их наработкам. Он утверждает, что OpenAI предложила ему опубликовать статью о решении, но без указания имени Альпёге.

Математик Тристан Бакмастер обвиняет OpenAI в использовании его работы с коллегой Левентом Альпёге без согласия.

OpenAI отрицает эти обвинения. Бубек заявил, что исследователи и агенты компании не видели работы Бакмастера и Альпёге до её публикации. В блоге компании, однако, говорится: «Хотя это маловероятно, мы не можем исключить, что обезличенные данные, полученные из их использования наших продуктов, могли улучшить наши модели». Генеральный директор OpenAI Сэм Альтман также вступился за команду, назвав обвинения необоснованными.

Спор о том, кто первым решил одну из самых сложных математических задач, может затянуться. По мере того как ИИ берёт на себя всё больше работы по поиску доказательств, подобные конфликты, вероятно, станут более частыми. Вопросы о том, как распределять заслуги между исследователями и ИИ-системами, а также о прозрачности использования данных, остаются открытыми.