OpenAI конструира сингулярност в Navier-Stokes

Уравненията на Навие–Стокс описват движението на течности и газове: от океанските течения и струята на градинския маркуч до тънката следа от дим. Дали решенията им в три измерения винаги остават гладки и крайни, или понякога стигат до математическа сингулярност, е една от седемте задачи на хилядолетието на Clay Mathematics Institute. На 8 септември OpenAI публикува ръкопис от 166 страници и формално доказателство, което може да бъде проверено машинно, с претенцията, че решава задачата. Три дни по-късно Clay обяви, че тя „изглежда е решена“ — положителна, но изрично предварителна оценка.

Претенцията е по-тясна, отколкото личи от голяма част от публикациите. Резултатът на OpenAI се отнася до течности под въздействието на външна сила: внимателно конструиран гладък външен импулс довежда първоначално неподвижна течност до сингулярност за крайно време, след което математическото решение вече не остава крайно. Доказателството не отговаря на въпроса дали обикновена течност без външно въздействие може сама да стигне до такъв срив. Именно тази разлика определя какво всъщност е постигнато.

Защо външната сила е от значение

Официалната формулировка на задачата от Clay допуска четири начина за решаването ѝ. Два изискват да се докаже, че гладкото течение винаги остава гладко. Другите два — алтернативи C и D — позволяват да се конструира ситуация, при която гладкото течение неизбежно се разпада. При тях изрично е разрешена гладка външна сила.

OpenAI избира втория път. Според ръкописа за всяка стойност на вискозитета — свойството, заради което медът тече бавно, а водата лесно — може да бъде конструирана гладка сила, която да тласне първоначално неподвижна течност към сингулярност, без общата ѝ кинетична енергия да стане безкрайна. Ако доказателството издържи проверката, то изпълнява условията на Clay.

Подходът стъпва върху по-ранни изследвания. Испанските математици Диего Кордоба и Луис Мартинес-Сороа, заедно с Фан Джън, вече бяха показали в предварителна публикация, че външна сила може да предизвика такъв срив в отслабена версия на уравненията, при която изглаждащият ефект на вискозитета е изкуствено намален. Заявеният принос на OpenAI е, че същата стратегия работи и при пълните, непроменени уравнения.

Какво проверява Lean

Претенцията се отличава с придружаващото я хранилище за Lean 4. Lean е програма за формална проверка на доказателства: тя отхвърля всяка логическа стъпка, която не следва от въведените определения и приетите правила. Всеки извод се проверява от малко и контролируемо програмно ядро.

Това прави проверката по-проследима от рецензирането само на математически текст. Lean обаче удостоверява единствено вътрешната логическа последователност — че заключенията следват от формално зададените определения. Дали тези определения обхващат вярно всички условия в англоезичната формулировка на Clay, трябва да преценят специалистите по динамика на флуидите. Ръкописът и хранилището са публикувани от компанията, а не в рецензирано научно издание. Към 14 септември няма публично документирана пълна независима проверка на хранилището.

OpenAI посочва, че аналитичният резултат е получен от собствена система с паралелно работещи модели с изкуствен интелект, а след това моделът GPT-6 Astra го е формализирал в Lean (OpenAI). Данните на компанията за мащаба и скоростта на процеса не могат да бъдат възпроизведени независимо: външни експерти могат да проверят крайния резултат, но не и начина, по който е бил генериран.

Quanta Magazine съобщи, че около 12 часа преди съобщението на OpenAI Тристан Бъкмастър от NYU и свързаният с Anthropic Левент Алпьоге са публикували сходни резултати, получени с помощта на изкуствен интелект, за близки уравнения на флуидната динамика. И двете разработки използват стратегията на Кордоба и Мартинес-Сороа. Сближаването на две корпоративни лаборатории по един и същ път показва колко съществена е ролята на предходната академична работа.

Какво следва

Правилата за наградата на Clay изискват доказателството да бъде публикувано в подходящо рецензирано списание, да премине поне две години проверка от научната общност и да получи общо признание, преди специална комисия изобщо да започне обсъждането му. Засега не е известно ръкописът на OpenAI да е изпратен за публикуване в научно списание.

Ако независимата проверка потвърди доказателството, то ще установи, че стандартните триизмерни уравнения на Навие–Стокс могат при гладка външна сила да развият сингулярност за крайно време. Случаят без външна сила — дали течност, оставена единствено на собствената си динамика, може спонтанно да стигне до такъв срив — остава нерешен. Така ще бъде затворена едната половина на въпрос, зададен преди векове; другата ще остане отворена.