OpenAI объявила, что ее AI решил одну из «задач тысячелетия» — уравнение Навье — Стокса. На картинке его визуальная версия. Но математик, который работал с коллегой из Anthropic, заявил, что OpenAI могла использовать их наработки. Пока непонятно, как именно.
Что за «задачи тысячелетия»? В 2000-м году Математический институт Клея назвал семь задач, которые долгие годы не могут доказать. И за решение каждой объявили приз в $1 млн. Среди них есть уравнение Навье — Стокса, которое описывает движение вязкой ньютоновской жидкости. Подробнее про есть в Википедии.
И вот 8 сентября OpenAI объявила, что ее AI решил эту задачу. Они пишут, что использовали внутреннюю модель, которая мощнее представленной на днях GPT-6 Astra. И, мол, агенты решили за 88 часов с момента начала работы.
Но при этом OpenAI признает, что до нее дошли слухи, что кто-то близок к решению.
«Во вторник, 1 сентября, до нас дошли слухи о том, что были решены две задачи тысячелетия. Вдохновившись этими слухами и качественным скачком в эффективности нашей внутренней модели, мы решили проверить её на всех нерешённых задачах тысячелетия», — пишет OpenAI.
Судя по всему, речь идет про математика Тристана Бакмастера из Нью-Йоркского университета и его коллегу из Anthropic Левента Альпеге.
Бакмастер написал, что они с Альпеге взяли наработки Диего Кордобы и Луиса Мартинеса-Сороа и стали их дорабатывать с помощью LLM. Это был их личный проект, и они тратили собственные средства на него.
Около года работа особо не двигалась, но 15 августа у них случился прорыв. С тех пор они стали работать почти круглосуточно, чтобы привести доказательство в читаемый вид. Они сначала доказали уравнение Эйлера — более простую версию уравнения Навье — Стокса и ключ к его решению. Вроде как решили и основное, но не успели проверить доказательство.
«В идеале нам хотелось бы потратить несколько недель на то, чтобы превратить сгенерированные LLM доказательства в текст, который можно было бы читать с удовольствием уже с первой страницы. Именно такого тщательного подхода заслуживают эти задачи и сообщество», — пишет Бакмастер.
Как пишет Бакмастер, 3 сентября они узнали, что слухи об их прогрессе дошли до OpenAI. И тогда он написал знакомому математику в OpenAI. Бакмастер предложил созвониться через неделю, но его собеседники из OpenAI настаивали на созвоне быстрее. И он все-таки состоялся — на нем Бакмастеру рассказали, что в OpenAI решили уравнение Навье — Стокса.
При этом в OpenAI использовали тот же метод, что и Бакмастер с Альпеге.
«Насколько мне известно, над этим почти никто больше не работал. Это не то направление, к которому приходишь за несколько дней, просто скормив модели условие задачи», — пишет Бакмастер.
Посмотрев на дату первого промпта OpenAI, Бакмастер понял, что они начали работу уже после того, как до них дошли слухи об их успехе.
При этом Бакмастер с Альпеге использовали в том числе Codex от OpenAI, куда загружали черновики. Он спросил у OpenAI, был ли у них доступ к их данным? Но там ответили, что к пользовательским данным нет доступа. А использовали ли их данные для обучения модели? На этот вопрос Бакмастер не получил ответа.
Бакмастер говорит, что OpenAI предлагала ему разные вариант — и чтобы он первым опубликовал часть работы про уравнение Эйлера, и чтобы целиком, но упомянув, что сделал с помощью OpenAI. Но еще было требование, чтобы не упоминался Альпеге из Anthropic. Но Бакмастер отказался.
При этом Бакмастер подчеркивает, что ни в чем никого не обвиняет. Он не видел доказательства OpenAI и не может сказать, использовались ли их данные.
«Я лишь излагаю то, что мне говорили, когда это происходило, и какие предложения мне делали», — пишет Бакмастер.
Вот ответ OpenAI. Говорят, что просто хотели обсудить время публикации и подчеркнуть заслуги. Мол, они за все хорошее.
Вот такая вот математика.
Без вашего мнения никак:
🔥 — OpenAI все сами! Просто так совпало!
🙈 — Точно как-то списали!
@TheEdinorogBlog — тот самый канал про стартапы🦄