**OpenAI закрила задачу тисячоліття - і одразу вляпалась у скандал**

Рівняння Нав'є - Стокса описує рух будь-якої рідини чи газу: кров у судинах, турбулентність навколо літака, погоду. Сформульовані у 1822 році, а доведення в 3D не було двісті років. Одна з семи «Задач тисячоліття» Клея, кожна коштує $1 млн.

Сьогодні OpenAI [заявила](https://openai.com/index/navier-stokes-solution/), що доведення отримано, і виклала [пейпер](https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf).

**Що довели**

Гладкий рух нестисливої рідини в 3D може за скінченний час утворити сингулярність - точку, де швидкість зростає необмежено, хоча рух починався плавно, а енергія лишається скінченною. Геометрично це вихор, що закручується всередину і витягується як спагеті. Є аналітичне доведення і формалізація в Lean.

**Як рахували**

 З 28 серпня вчили нову модель
 1 вересня запустили до 10 000 паралельних агентів
 По дорозі закрили регулярність для Ейлера: ~50 годин, майже 100 агентів
 Нав'є - Стокс впав через 88 годин, ще 17 годин на Lean
 Разом близько 130 млрд токенів

**А тепер неприємна частина**

Тристан Бакмастер з NYU і Левент Алпеге з Anthropic рік працювали над цією ж темою і довели колапс для рівнянь Ейлера - спорідненої, простішої задачі. Теренс Тао назвав роботу видатною і не побачив перешкод поширити метод на сам Нав'є - Стокс.

Коли чутки пішли спільнотою, Бакмастер написав знайомому з OpenAI - пояснити, що проект його і Алпеге, а не корпоративний. За його словами, саме після цієї переписки OpenAI взялась за свою версію: перший промпт пішов після того, як інформація дійшла до компанії. Доказу йому не показали.

Далі ультиматум: або спільний анонс, або публікація від його імені з посиланням на модель OpenAI. Себастьян Бубек двічі наполягав прибрати Алпеге зі співавторів - через «дратівливий» факт роботи в Anthropic. Бакмастер відмовився і опублікував сам. Він також підозрює, що OpenAI могли зачепити дані з його сесій у Codex. Прямої відповіді не отримав.

Бубек назвав звинувачення хибними й запальними і сказав, що діяв за академічними нормами.

**Що далі**

Незалежна перевірка займе місяці. Якщо доведення встоїть - це перша закрита «Задача тисячоліття» за 23 роки після Пуанкаре і вперше, коли такий результат дала AI-система.

Мільйон від Клея OpenAI брати відмовилась: на IPO ця новина принесе більше.