OpenAI обяви решение на Навие-Стокс, но избухна спор

На 8 септември 2026 г. OpenAI обяви, че неин вътрешен модел е произвел доказателство, че решенията на уравненията на Навие-Стокс могат да развият сингулярност за крайно време — тоест скоростта на флуида да стане безкрайна в дадена точка. Няколко часа по-рано Тристан Бъкмастър от NYU и Левент Алпьоге от Anthropic бяха публикували свой резултат по същата тема. До вечерта Бъкмастър вече обвиняваше OpenAI, че е научила за работата им предварително и че изследовател на компанията е настоявал името на съавтора му от Anthropic да отпадне.

Какво точно е доказано

Уравненията на Навие-Стокс описват движението на флуиди и стоят в основата на всичко от прогнозата за времето до аеродинамиката. Отворената задача, за която Clay Mathematics Institute предлага 1 милион долара, пита дали гладките решения винаги остават гладки, или могат да „избухнат”.

OpenAI твърди, че е доказала избухване — но за принудения вариант на задачата, при който флуидът тръгва от покой и се задвижва от гладка външна сила, докато кинетичната енергия остава ограничена. Компанията изрично заявява, че не претендира за наградата. Както отбелязва Science, нито резултатът на OpenAI, нито този на Бъкмастър и Алпьоге се отнасят до непринудената версия, която носи приза.

Това не е дребна уговорка, но не е и празен резултат. Стратегията с гладка сила идва от работата на Диего Кордоба (Институт по математически науки, Мадрид) и Луис Мартинес-Зороа (CUNEF), които малцина следваха. Чарлс Фефърман от Принстън ги нарече „героите на историята” пред Quanta Magazine, а Бъкмастър заяви, че според него Мартинес-Зороа заслужава Филдсов медал.

10 000 агента за 88 часа

По данни на OpenAI работата е започнала на 1 септември. Около 10 000 координирани агента, движени от неиздаден модел, описан като „значително по-способен от GPT-6 Astra”, са стигнали до доказателството за 88 часа, плюс още 17 часа за формализация и проверка в Lean. Ръкописът е 166 страници. Ръководителят на изследванията Марк Чен оценява сметката за изчисления в „милиони долари”.

Решението представлява вихър, който се навива навътре и се издължава — OpenAI го описва като спагети, а във визуализацията жълтото е по-бързо въртене, синьото по-бавно.

Формалната проверка в Lean е важната част: тя означава, че логическите стъпки са машинно валидирани, а не че някой е повярвал на модела. Това е същата логика, по която AI все по-често се ползва като инструмент в науката — както при картата на 9 милиарда ДНК промени на DeepMind, полезното е проверимият изход, не съобщението за пресата.

Обвиненията

Бъкмастър и Алпьоге са работили по уравненията на Ойлер с Claude и Codex месеци наред, а поредица от пробиви дошла до средата на август. На 3 септември Бъкмастър сам се свързал с OpenAI; на 4 и на 6 септември компанията поискала спешни разговори, а на 6 септември в две телефонни обаждания се включил и изследователят Себастиен Бубек.

Според the-decoder Бубек два пъти настоял Алпьоге да бъде свален от авторството, защото работата му в Anthropic била „толкова досадна”. Когато Бъкмастър отказал, чул: „Защо би съсипал кариерата си?” и „Ако не искаш да съм любезен, не се налага да съм любезен.”

Отделно Бъкмастър повдига въпроса, че всичките им чернови са минавали през Codex, а политиката на OpenAI позволява обучение върху потребителски взаимодействия, освен ако не сте се отказали изрично. OpenAI отговаря, че нейни изследователи и агенти „не са виждали работата им по никакъв начин, преди тя да бъде публикувана”, и че решението за Ойлер е получено по съвсем различен път. Компанията признава, че не може да изключи деидентифицирани данни от употреба да са помогнали на моделите ѝ — което не е същото като достъп до конкретния текст, но и не затваря темата.

Защо спорът е по-голям от една статия

Тук се пресичат два въпроса. Първият е дали AI е съавтор или инструмент: доказателството е проверено в Lean, но, както отбелязва Теренс Тао, отговорът без обяснение защо работи е беден резултат. Тао предупреди, че „безразборното изкопаване на отворени задачи за решения може да разруши екосистемата”, от която идват следващите методи и хора — сравнението му е с иманярство върху археологически обект.

Вторият въпрос е по-приземен: когато лаборатория с милиони долари изчисления научи, че двама души са близо до резултат, и седмица по-късно излезе със 166 страници по същия подход, доверието не се възстановява с изявление. Формално проблем няма — Clay така или иначе иска публикация в реферирано списание и две години изчакване, преди изобщо да разглежда претенция.

Заключение

Резултатът е реален и вероятно важен, но не е решението на Милениум задачата и OpenAI не твърди обратното. Оставащото е работа за математическата общност: текстът и Lean файловете са публични, така че проверката е възможна и никой не е длъжен да вярва на прес обявление. Спорът за авторството обаче е първият случай, в който конкуренцията между AI лабораториите се пренася директно в академична публикация — и няма да е последният.