Как OpenAI получила решение
Речь идёт об уравнении Навье—Стокса, которому около 200 лет. Оно описывает естественное поведение жидкостей и газов, включая воду и воздух. Задача входит в список нерешённых задач тысячелетия Clay, за решение каждой из которых полагается $1 млн.
Математик и исследователь ИИ в OpenAI Себастьян Бубек рассказал на пресс-брифинге, что 28 августа компания начала обучать новую модель с расширенными математическими способностями.
После слухов о том, что Anthropic приближается к решению задачи Навье—Стокса, OpenAI решила направить на неё дополнительные ресурсы. Более 1 000 агентов работали над проблемой свыше 50 часов, после чего система обнаружила решение.
Сначала Бубек решил, что в нём должна быть ошибка. Однако к воскресному утру команда получила окончательный вариант, полностью формализованный в Lean — языке программирования, который используют для формализации математических доказательств.
OpenAI отметила, что для этой работы потребовалось значительно больше вычислительных ресурсов, чем компания раньше тратила на математические задачи. По словам руководителя исследовательского направления OpenAI Марка Чена, затраты составили «миллионы долларов».
Откуда взялся спор
В понедельник Бакмастер, математик из Нью-Йоркского университета, и Левент Альпёге, исследователь Anthropic, опубликовали документы о важных продвижениях в области, связанной с задачей Навье—Стокса. Для работы они использовали несколько моделей ИИ, включая Claude и Codex.
Бакмастер также опубликовал заявление, в котором утверждает, что на прошлой неделе узнал: OpenAI получила сведения о работе его и Альпёге и начала направлять на задачу значительные ресурсы.
По словам Бакмастера, он спросил руководителей OpenAI, обращалась ли компания к журналам работы пары в Codex. Ему ответили, что модель «не просматривала данные пользователей», однако, как утверждает математик, на вопросы об использовании этих данных для обучения компания не ответила.
Затем OpenAI, по его словам, предложила несколько вариантов развития событий. Один из них предусматривал публикацию Бакмастером статьи о том, что задача Навье—Стокса решена внутренней моделью OpenAI, но без упоминания имени Альпёге.
Бакмастер, Альпёге и Anthropic не сразу ответили на запрос WIRED о комментарии.
Что ответила OpenAI
На брифинге Бубек и другие руководители OpenAI отвергли утверждения о том, что компания изучала промты Codex этой пары, чтобы использовать их в собственной работе. Бубек заявил, что ни исследователи OpenAI, ни ИИ-агенты не видели материалы математиков до их публичной публикации прошлой ночью.
Он также отдельно признал приоритет работы Альпёге и Бакмастера по невынужденному уравнению Эйлера и поздравил их с этим достижением. По словам Бубека, OpenAI не использовала их промт или доказательство для составления промтов своим моделям и не направляла с их помощью работу агентов.
OpenAI заявила, что хочет признать предшествующую работу Альпёге и Бакмастера. При этом математик компании Вен Чандрасекарэн подчеркнул: решение пары существенно отличается по характеру от решения, созданного моделью OpenAI.
Спор о том, кому принадлежит заслуга в решении одной из крупнейших математических задач, может продолжаться ещё долго. По мере того как ИИ берёт на себя всё большую часть работы по поиску доказательств, подобные конфликты могут возникать чаще.
OpenAI продолжает уточнять детали ситуации.
Ежедневные новости об ИИ
Каждый день отбираем важные новости об ИИ и рассказываем главное — без хайпа и воды. Если хотите понимать, что происходит в ИИ раньше остальных, — подписывайтесь.
Только важное — каждый день
В Telegram