# OpenAI заявляє, що розв'язала рівняння Нав'є–Стокса. Вердикт: НЕОБХІДНИЙ ОГЛЯД.

Published: 2026-09-09

OpenAI заявляє, що внутрішня модель, запущена як близько 10 000 одночасних агентів протягом 88 годин, створила перевірений Lean-ом доказ того, що рівняння Нав'є–Стокса "вибухають" за скінченний час — проблема премії тисячоліття, відкрита з 1934 року. За дванадцять годин до цього Трістан Бакмастер з Нью-Йоркського університету опублікував чотиристорінкову заяву про те, як пройшла недільна телефонна розмова з OpenAI ("Чому ви руйнуєте свою кар'єру?"), Теренс Тао написав, що відкриті проблеми тепер видобуваються як невідновлюваний ресурс, а дослідник попереднього навчання Anthropic звільнився через гонку. Також: Meta випускає Muse, персонального агента з власною віртуальною машиною. Вердикт: НЕОБХІДНИЙ ОГЛЯД.

Canonical: https://thedailydiff.dev/uk/video/2026-09-09-navier-stokes-rumor/

## Що охоплює це відео

- 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 погрожувала безпідставними звинуваченнями у плагіаті, написаному з однією "і". Отже, офіційна позиція: ми не копіювали ваше домашнє завдання, ми чули, що ви робили домашнє завдання. Теренс Тао назвав результат професорів чудовим і зазначив, що Бакмастер пояснив йому це по телефону, що було освіжаючою зміною від комунікаційних модальностей на основі ШІ. Потім, чотири дописи: хороші відкриті проблеми тепер видобуваються як невідновлюваний ресурс, навіть чутки про те, що хтось працює над однією, викликають масштабні зусилля ШІ, щоб її вирішити, тому стимул полягає в тому, щоб припинити ділитися напрямками досліджень,

3:55 що змінює століття відкритої науки. Три групи опублікували "вибух" рідини за один вікенд; наступна стаття може бути під угодою про нерозголошення. Такий настрій Джейкоб Коксон відчув, коли звільнявся: три роки попереднього навчання в OpenAI, потім Anthropic; жодна компанія не діє відповідально, він каже, обидві мчаться до самовдосконалюваного суперінтелекту, і кінцеву гру не слід запускати зі Slack приватної компанії. Сорок чотири мільйони переглядів, того дня, коли одна лабораторія задіяла десять тисяч агентів через чутки,

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

4:45 Якщо ви волієте читати це, ніж чути, як я це кажу, The Daily Diff надходить на вашу поштову скриньку щоранку — безкоштовно на the daily diff dot dev, посилання нижче. Отже — сьогоднішній вердикт: НЕОБХІДНИЙ ОГЛЯД. Доказ компілюється; історія — ні. Десять тисяч агентів, які розв'язали дев'яносторічну проблему за вихідні, є результатом року за можливостями; оголошення про це недільним телефонним дзвінком двом людям, від яких ви про це почули, — ні.

5:07 І це The Daily Diff за сьогодні. Я Ніко з Axrisi. Об'єднуйте відповідально.

## Джерела

- [OpenAI: On the Navier–Stokes Millennium Prize Problem](https://openai.com/index/navier-stokes-solution/) — openai.com
- [OpenAI Lean formalization](https://github.com/openai/NavierStokesAndEuler) — github.com
- [Tristan Buckmaster, statement (PDF)](https://cims.nyu.edu/~tristanb/statement.pdf) — cims.nyu.edu
- [HN: Buckmaster statement](https://news.ycombinator.com/item?id=49605915) — news.ycombinator.com
- [HN: OpenAI post](https://news.ycombinator.com/item?id=49613262) — news.ycombinator.com
- [Terence Tao on the Alpöge–Buckmaster result](https://mathstodon.xyz/@tao/117233527638291447) — mathstodon.xyz
- [Terence Tao: open problems mined non-renewably](https://mathstodon.xyz/@tao/117237320796901560) — mathstodon.xyz
- [HN: Tao thread](https://news.ycombinator.com/item?id=49616968) — news.ycombinator.com
- [Clay Mathematics Institute: Navier–Stokes problem statement](https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf) — www.claymath.org
- [GPT-6 Astra pricing (used for the token-bill arithmetic)](https://openai.com/index/gpt-6-astra/) — openai.com
- [Jacob Coxon's resignation thread](https://x.com/hilbertspaess/status/2097476196791709843) — x.com
- [HN: I resigned from Anthropic today](https://news.ycombinator.com/item?id=49619227) — news.ycombinator.com
- [Meta: Introducing Muse](https://about.fb.com/news/2026/09/introducing-muse-personal-ai-agent/) — about.fb.com
- [Muse](https://ai.meta.com/muse/) — ai.meta.com
- [HN: Muse](https://news.ycombinator.com/item?id=49615537) — news.ycombinator.com