Clay: Навие-Стокс изглежда решен, следва проверка

Clay Mathematics Institute — организацията, която през 2000 г. обяви седемте Милениум задачи с по 1 милион долара награда — публикува на 11 септември кратко съобщение, в което казва, че задачата за съществуване и гладкост на решенията на уравненията на Навие-Стокс „очевидно е решена”. Институтът не посочва име, не обявява победител и не раздава награда: оценяването тепърва започва.

Формулировката е внимателно подбрана. Clay „споделя вълнението на световната математическа общност, докато обмисля съобщението, че проблемът Навие-Стокс очевидно е решен”, и се надява да види „вълни от ново човешко разбиране, отприщени, докато иновациите зад тази работа бъдат анализирани и подложени на въпроси”. Нито дума за това чия е работата.

Какво стои зад съобщението

Поводът е седмицата от 7 и 8 септември, когато OpenAI обяви доказателство за сингулярност при Навие-Стокс, а часове по-рано Тристан Бъкмастър от Courant Institute и Левент Алпьоге от Anthropic публикуваха свои резултати по близки задачи. Последва спор за авторството, който продължава и до днес.

Съобщението на Clay е първата официална реакция на институцията и то говори за задачата, не за претендент. Според the-decoder институтът описва процеса по разглеждане като „нарочно небързащ” и обещава да дава новини, докато работата минава през проверка.

Защо „изглежда” е ключовата дума

Официалната формулировка на задачата, написана от Чарлс Фефърман, иска доказателство на едно от четири твърдения, не на всичките:

• (A) глобални гладки решения в тримерното пространство, без външна сила;
• (B) същото, но в периодичен домейн (тор);
• (C) избухване в тримерното пространство, при което се допуска гладка външна сила;
• (D) същото избухване в периодичния случай.

OpenAI претендира точно за (C) и (D) — тоест за „не” на въпроса, при това по маршрут, който текстът на Фефърман изрично разрешава. Оттам идва и внимателното „очевидно” в изявлението на Clay: по буквата на условието една доказана алтернатива затваря задачата.

Повечето математици обаче си представят Навие-Стокс без този външен тласък — флуид, който тръгва гладко и сам от себе си стига до безкрайна скорост. За този вариант няма публично доказателство и той остава отворен на практика, дори ако формално задачата бъде отчетена като решена.

Снимка: C. Fukushima и J. Westerweel, TU Delft / Clay Mathematics Institute

Кой ще получи кредита

Точно това Clay отказва да реши набързо. Тери Тао писа в блога си още на 7 септември, че резултатът на Бъкмастър и Алпьоге върху три опростени модела — IPM, двумерния Boussinesq и тримерния Ойлер — е пробив, но самите те не стигат до Навие-Стокс.

Фефърман пък заяви пред Quanta Magazine, че „героите на историята” са Диего Кордоба и Луис Мартинес-Зороа, чиято техника с гладка сила е доведена почти до финал години по-рано. Съответно въпросът „кой го реши” има поне три възможни отговора, а един от тях е компания, използвала около 10 000 агента и неиздаден модел, описан като по-способен от GPT-6 Astra.

Наградата няма да се раздаде скоро

Правилата на Clay, приети в сегашния им вид през 2018 г., са недвусмислени. Преди институтът изобщо да разгледа предложено решение, трябва да са изпълнени три условия: публикация в реферирано издание с международно признание, изтекли поне две години от публикуването и общо приемане на резултата от световната математическа общност. Едва след това научният съвет решава дали случаят заслужава подробно разглеждане. За контрапример, вместо доказателство, правилата предвиждат същата процедура — което е точно сегашната ситуация.

Практическият превод: дори всичко да издържи проверката, награда преди 2029 г. е малко вероятна. Формализацията в Lean помага — машинно проверените стъпки спестяват месеци съмнения — но тя не замества рецензирането, нито отговаря на въпроса кой е автор.

Заключение

Съобщението на Clay е важно с това, което не казва. Институтът признава, че задача от 2000 г. вероятно има отговор, но не потвърждава чий е той, не обявява награда и оставя статуса на проблема отворен, докато текстовете се проверяват. Ако резултатът устои, Навие-Стокс ще е втората паднала Милениум задача след хипотезата на Поанкаре — и първата, около която спорът е не само математически, а и за това какво означава авторство, когато част от работата е свършена от модел.