OpenAI заявляет, что решила математическую задачу 90-летней давности за 88 часов

OpenAI заявляет, что решила 90-летнюю математическую задачу за 88 часов

Компания OpenAI заявляет, что нашла решение сложной математической задачи десятилетней давности всего за несколько часов, используя новую модель искусственного интеллекта (ИИ) и тысячи ИИ-ботов.

На протяжении 90 лет ключевые части этой задачи оставались без доказательства — обоснования правильности математического уравнения.

OpenAI назвала этот результат «вехой» и доказательством того, что инструменты ИИ развиваются стремительными темпами.

Решение компании еще не было независимо проверено или публично признано Математическим институтом Клэя — американской математической организацией, которая курирует Премию тысячелетия, предлагающую крупные суммы денег первому, кто решит определенные математические головоломки.

В OpenAI сообщили, что в конце августа начали обучение новой модели, которая быстро продемонстрировала высокие способности в математике.

Хотя новая модель OpenAI пока используется только внутри компании и является «значительно более способной», чем ее последняя публичная версия ИИ, исследователи решили применить ее к некоторым известным сложным математическим задачам.

В OpenAI заявили, что на прошлой неделе, 1 сентября, «услышали слухи о том, что две проблемы Премии тысячелетия были решены», и поэтому решили задействовать тысячи ИИ-ботов, обученных на новой внутренней модели, чтобы попытаться решить некоторые из оставшихся задач.

К 5 сентября, то есть примерно через 88 часов после того, как задача была поручена 10 000 ИИ-ботов, OpenAI заявила, что нашла решение проблемы существования и гладкости решений уравнений Навье — Стокса.

Эта проблема лежит в основе турбулентности — явления, которое до сих пор плохо изучено.

Несмотря на то, что ИИ-боты, казалось, быстро пришли к решению, в OpenAI сообщили, что только по теме Навье — Стокса они обменялись почти 3 миллионами сообщений и использовали 130 миллиардов выходных токенов (отдельных строк текста и кода, которые модель ИИ генерирует в ответах).

Исходя из собственных расценок OpenAI, эти усилия обошлись бы примерно в 10 миллионов долларов (7,3 миллиона фунтов стерлингов).

В OpenAI заявили, что решение, к которому они пришли для проблемы существования и гладкости решений уравнений Навье — Стокса, закрывает два из четырех утверждений, необходимых для доказательства, требуемого для получения Премии тысячелетия. Размер премии для победителя составляет 1 миллион долларов.

«Наша цель при публикации этого результата — сообщить о существенном прогрессе наших моделей ИИ», — заявила OpenAI во вторник. «Мы не намерены претендовать на Премию тысячелетия за этот результат».

Заявление компании уже вызывает споры.

Тристан Бакмастер, профессор математики Нью-Йоркского университета, заявил во вторник на внешнем ресурсе, что он и Левент Альпёге, математик, работающий на конкурента OpenAI — компанию Anthropic, также искали решения этой проблемы.

В своей работе пара использовала инструмент Codex от OpenAI. Но Бакмастер рассказал, что 3 сентября он узнал, что «информация о нашем прогрессе была передана OpenAI».

Заявления Бакмастера прозвучали в тот же день, но за несколько часов до того, как OpenAI опубликовала свою работу по уравнениям Навье — Стокса. Он утверждает, что OpenAI не начинала работу над уравнениями Навье — Стокса до тех пор, пока «информация о нашей работе не дошла до OpenAI». Он поделился текстом электронных писем, которыми обменивался с OpenAI по поводу этой работы, и выразил обеспокоенность по поводу сроков и методов компании.

Бакмастер также отметил, что еще не читал полное доказательство OpenAI, но посчитал, что должен публично рассказать о том, «что мне сказали, когда и что мне предложили... потому что альтернатива — позволить череде заявлений утверждать то, что, как я знаю, является ложью».

Во вторник OpenAI поздравила Бакмастера и Альпёге с «параллельной работой», назвав ее «замечательной».

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

«Хотя это маловероятно, мы не можем исключать, что деидентифицированные данные, полученные в результате использования ими наших продуктов, помогли улучшить наши модели», — добавили в компании. «Однако наши доказательства существенно отличаются, и даже сами доказанные точные результаты различны».