OpenAI заявляет, что решила уравнение Навье-Стокса. Вердикт: НЕОБХОДИМ ПЕРЕСМОТР.

Что освещается в этом видео

• OpenAI: взрыв Навье-Стокса, ~10 000 агентов, 88 часов, 130 миллиардов выходных токенов, проверено Lean
• Бакмастер и Алпёге: год работы над тем же подходом, слухи и воскресный звонок с двумя предложениями
• Теренс Тао: «даже слухи о том, что кто-то работает над проблемой, могут спровоцировать массовые усилия ИИ по ее решению»
• Джейкоб Коксон увольняется из Anthropic: обе лаборатории «мчатся прямо к самосовершенствующемуся суперинтеллекту»
• Meta выпускает Muse: персональный агент на своей собственной облачной виртуальной машине, в WhatsApp, только в США

Переведенная стенограмма

Переведено с оригинального английского повествования. Доступные аудио и субтитры контролируются YouTube.

0:00 Вчера OpenAI объявила, что ее ИИ решил одну из Проблем Тысячелетия, открытую девяносто лет, стоимостью в один миллион долларов, за восемьдесят восемь часов, и два математика, которые провели год над той же проблемой, узнали об этом во время воскресного телефонного разговора, который, по словам одного из них, включал: зачем вы рушите свою карьеру? Это был долгий понедельник. На рассвете профессор Нью-Йоркского университета опубликовал четырехстраничное заявление; шестнадцатьсот баллов на Hacker News. Днем OpenAI опубликовала доказательство.

0:26 Вечером Теренс Тао сказал, что открытые проблемы теперь добываются как невозобновляемый ресурс, а за ночь исследователь Anthropic уволился на X, сорок четыре миллиона просмотров, потому что обе лаборатории, цитата, играют с нашими жизнями. Также Meta выпустила персонального агента, который живет в WhatsApp и имеет свой собственный компьютер. В этом видео: доказательство, телефонный разговор, сноска, и предложение, которое Теренс Тао хочет, чтобы лаборатории услышали.

0:49 Среда, 9 сентября, и это The Daily Diff. Сначала о математике. Уравнения Навье-Стокса описывают движение жидкостей, и с 1934 года никто не знал, может ли гладкая 3D-жидкость достичь сингулярности: скорость, уходящая в бесконечность за конечное время. Система OpenAI говорит «да». Начните с покоя, приложите гладкую силу, поддерживайте энергию конечной, и вихрь будет закручиваться внутрь, как спагетти, пока скорость не взорвется. Утверждения C и D формулировки Клэя, в Lean,

1:16 семнадцать часов Astra для проверки. Значит, жидкости могут взрываться, что знал любой, кто пролил кофе на MacBook, но теперь это в Lean. Как: OpenAI имеет новую внутреннюю модель, которую она называет значительно более способной, чем Astra, и 1 сентября они услышали слух, что две Проблемы Тысячелетия были решены, поэтому они направили ее на каждую открытую. Группа Навье-Стокса: около десяти тысяч параллельных агентов, сто тридцать миллиардов выходных токенов; триста миллиардов по всем

1:42 проблемам. По прейскуранту Astra, пятнадцать миллионов долларов токенов за приз в один миллион долларов, который OpenAI, по ее словам, не будет требовать, и с такой маржой, кто бы стал. Другая сторона. Тристан Бакмастер из Нью-Йоркского университета и Левент Алпёге, работающий в Anthropic, провели год, развивая подход Кордобы и Мартинеса-Зороа с Claude и Codex, оплачивая OpenAI из собственных исследовательских фондов Бакмастера. 15 августа они получили взрыв для уравнений Эйлера; Бакмастер называет первое LLM-доказательство самым ужасным из всех, что он когда-либо читал,

2:10 и оно было проверено в Lean 22 августа. Затем распространился слух, и 3 сентября он отправил электронное письмо в OpenAI: это мы, это личное, мы скоро опубликуем. В воскресенье в 12:45 OpenAI предложила встретиться в любое время сегодня, и Себастьян Бубек присоединился. Бакмастеру сказали, что модель доказала вынужденные Навье-Стокса с очень небольшим человеческим участием, что в ходе разговора стало целой командой, сначала более легкие проблемы, запрос, написанный Codex, и безумное количество

2:36 вычислений. Он спросил, когда был отправлен первый запрос. В итоге: в последние несколько дней, после того как информация о нашей работе достигла OpenAI. Последовали два предложения. Одно: вы публикуете Эйлера, мы публикуем Навье-Стокса на следующий день. Второе: Бакмастер один пишет доказательство OpenAI, и, по его словам, Бубек дважды хотел, чтобы Алпёге не участвовал в публикации, потому что он работает в Anthropic. Он отказался и сказал, что обнародует это. Ответ, согласно заявлению: зачем вы рушите свою карьеру,

3:00 затем: если вы не хотите, чтобы я был милым, мне не обязательно быть милым. Обычно фраза прямо перед тем, как голова лошади оказывается в кровати. Версия OpenAI: никто не видел их работу, доступ к пользовательским данным не осуществлялся, и, сноска, они не могут исключить, что обезличенные данные от использования их продуктов профессорами помогли улучшить модель. Отзыв Алпёге: хвала им за честность. Сэм Альтман говорит, что все действовали с добросовестностью и щедростью, а другая команда

3:25 угрожала необоснованными обвинениями в плагиате, написанном с одной буквой «и». Итак, официальная позиция: мы не копировали вашу домашнюю работу, мы слышали, что вы делаете домашнюю работу. Теренс Тао назвал результат профессоров выдающимся и отметил, что Бакмастер объяснил ему это по телефону, что является освежающим изменением по сравнению с AI-основанными режимами общения. Затем, четыре поста: хорошие открытые проблемы теперь добываются как невозобновляемый ресурс, даже слух о том, что кто-то работает над одной, вызывает массовые усилия ИИ по ее решению, так что стимул состоит в том, чтобы прекратить делиться направлениями исследований,

3:55 переворачивая века открытой науки. Три группы опубликовали о взрыве жидкости за один уик-энд; следующая статья может быть под NDA. Именно в таком настроении Джейкоб Коксон уволился: три года предварительного обучения в OpenAI, затем Anthropic; ни одна из компаний не действует ответственно, говорит он, обе мчатся к самосовершенствующемуся суперинтеллекту, и финал не должен запускаться из Slack частной компании. Сорок четыре миллиона просмотров, в тот день, когда одна лаборатория отправила десять тысяч агентов по слуху,

4:21 поэтому тема была опубликована с живой демонстрацией. Тем временем Meta выпустила Muse: персонального агента на своей собственной облачной виртуальной машине со своим собственным браузером, и вы общаетесь с ним в WhatsApp. Только в США, бесплатно для большинства функций. Meta обещает версию, которую даже Meta не сможет прочитать, позднее в этом году, очень специфический способ описания этого года. Главный комментарий на Hacker News: Я не хочу так делиться своей жизнью с Meta. Второй: он постоянно пытается продать мне коляску.

4:45 Если вы предпочитаете читать это, а не слушать меня, то The Daily Diff попадает в ваш почтовый ящик каждое утро — бесплатно на daily diff dot dev, ссылка ниже. Итак — сегодняшний вердикт: НЕОБХОДИМ ПЕРЕСМОТР. Доказательство компилируется; история нет. Десять тысяч агентов, решающих девяностолетнюю проблему за выходные, — это результат года в области возможностей; объявление об этом воскресным телефонным звонком двум людям, от которых вы об этом узнали, — нет.

5:07 И это весь The Daily Diff на сегодня. Я Нико из Axrisi. Сливайте ответственно.

Источники

1. OpenAI: On the Navier–Stokes Millennium Prize Problemopenai.com
2. OpenAI Lean formalizationgithub.com
3. Tristan Buckmaster, statement (PDF)cims.nyu.edu
4. HN: Buckmaster statementnews.ycombinator.com
5. HN: OpenAI postnews.ycombinator.com
6. Terence Tao on the Alpöge–Buckmaster resultmathstodon.xyz
7. Terence Tao: open problems mined non-renewablymathstodon.xyz
8. HN: Tao threadnews.ycombinator.com
9. Clay Mathematics Institute: Navier–Stokes problem statementwww.claymath.org
10. GPT-6 Astra pricing (used for the token-bill arithmetic)openai.com
11. Jacob Coxon's resignation threadx.com
12. HN: I resigned from Anthropic todaynews.ycombinator.com
13. Meta: Introducing Museabout.fb.com
14. Museai.meta.com
15. HN: Musenews.ycombinator.com