По думите на OpenAI агентите ѝ са имали нужда от около 88 часа, за да отговорят на въпрос, който стои отворен от около 90 години.
Въпросът е стар и красив. Уравненията на Навие-Стокс описват как тече течност: въздух около крило, вода, кръв. Те я третират като непрекъсната среда, без отделни молекули. И никой досега не е доказал дали течност, тръгнала гладко, може за крайно време да стигне до точка, в която скоростта расте до безкрайност. Ако може, описанието се чупи.
Факт
Фактите: на 8 септември 2026 г. OpenAI публикува текст за задачата за съществуване и гладкост на уравненията на Навие-Стокс, една от седемте задачи на хилядолетието на Clay Mathematics Institute. По данни на компанията вътрешна система е произвела аналитично доказателство и формализация в Lean, че първоначално гладка течност в покой, подложена на гладка външна сила и с крайна енергия, може да развие сингулярност за крайно време, което според OpenAI установява твърдения „C" и „D" от официалната формулировка. Използван е вътрешен модел, обучаван от 28 август и по думите на компанията значително по-способен от GPT-6 Astra; групата агенти, стигнала до решението, е била от порядъка на 10 000 едновременни. Агентите стигат до резултата на 5 септември, около 88 часа след старта; формализацията и проверката в Lean отнемат още 17 часа с GPT-6 Astra. За Навие-Стокс агентите са разменили 2,7 милиона съобщения и около 130 милиарда изходни токена. OpenAI заявява, че няма да претендира за наградата, и признава приоритета на Levent Alpöge (Anthropic) и Tristan Buckmaster (NYU) за отделен резултат по уравнението на Ойлер с външна сила. На страницата не се цитира проверка на доказателството от независими математици или от Clay Mathematics Institute.
Какво точно имаме в ръцете
Имаме доказателство, написано за хора, и същото доказателство, записано в Lean - език, на който машина проверява всяка стъпка. Това е много повече от прессъобщение с графика. Формализацията означава, че всеки с време и машина може да пусне проверката сам.
Нямаме обаче нещо, което в математиката решава повече от всичко: хора извън компанията, които са седнали с текста и казват, че държи. На страницата няма нито един такъв глас. Нито от математици, нито от Института Клей, който е обявил задачата през 2000 г.
Публикувано още не значи признато.
И внимавай с посоката. Обявеното решение е отрицателно: не че течността винаги остава гладка, а че може да се счупи. Конструкцията е вихър, който се завива навътре и се изтегля като спагета, докато скоростта в центъра расте без граница, а енергията остава крайна.
Мащабът е другата новина
От порядъка на десет хиляди агента едновременно в една група. Два милиона и седемстотин хиляди съобщения помежду им. Ако числата са верни, тук е работил цял рояк, разделен на групи, които си разменят междинни резултати, докато нещо не издържи.
OpenAI пише, че целта на публикацията е да покаже колко бързо напредват моделите им. Вярвам на това изречение. Затова и чета текста, поне засега, като доклад за скоростта.
Ако доказателството издържи, ще го научим от математиците, които първи се опитат да го счупят. Дотогава пишем точно каквото е на страницата: по данни на OpenAI.
Официални първоизточници
OpenAI - On the Navier-Stokes Millennium Prize Problem, 08.09.2026Визуалът към статията е генериран код-арт, без чужди изображения.