AI на OpenAI предложи решение на една от най-трудните задачи в математиката

Изкуствен интелект може да е постигнал един от най-значимите математически пробиви от десетилетия. OpenAI обяви на 8 септември, че нейна вътрешна AI система е намерила решение на прочутата задача за съществуване и гладкост на уравненията на Навие–Стокс – една от седемте Задачи на хилядолетието, за всяка от които е определена награда от 1 млн. долара.

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

Но към момента има важно уточнение: резултатът все още не е официално признат от института „Клей“ и наградата от един милион долара не е присъдена.

Самата OpenAI заявява, че няма намерение да претендира за паричната награда.

Какво всъщност е решил AI?

Уравненията на Навие–Стокс са сред фундаменталните уравнения във физиката и математиката. Те описват движението на течности и газове – от водата около кораб и въздуха около самолетно крило до сложни атмосферни и океански течения.

Въпреки че се използват от близо два века, около тях остава фундаментален математически въпрос.

Ако започнем с напълно гладко триизмерно движение на флуид, ще остане ли математическото му описание гладко завинаги, или в определен момент може да възникне сингулярност?

С други думи – възможно ли е решението на уравненията математически да „се взриви“ за крайно време?

Именно такъв сценарий твърди, че е доказала системата на OpenAI.

Според публикувания резултат триизмерните уравнения на Навие–Стокс могат при определени условия да развият сингулярност за крайно време.

Това би дало отрицателен отговор на един от най-известните нерешени въпроси в съвременната математика.

OpenAI публикува не само традиционно математическо изложение на доказателството, но и формална негова версия в Lean – система, която позволява математическите стъпки да бъдат проверявани от компютър.

Това значително намалява вероятността от обикновена логическа грешка, но не замества оценката на математическата общност за значението, постановката и обхвата на резултата.

Милионът още не е спечелен

През 2000 г. институтът „Клей“ определя седем фундаментални математически задачи и награда от 1 млн. долара за решаването на всяка от тях.

Досега официално е решена само една – хипотезата на Поанкаре от руския математик Григорий Перелман, който впоследствие отказва наградата.

Навие–Стокс може да стане втората.

Но това няма да се случи веднага.

Правилата на института „Клей“ изискват предложеното решение да бъде публикувано в квалифицирано научно издание, да изминат поне две години и резултатът да получи общо признание от световната математическа общност.

Следователно към 8 септември най-точната формулировка е, че AI „може да е решил“, а не че задачата вече официално е решена.

Спор кой е стигнал първи до идеята

Историческият резултат почти веднага беше засенчен от спор за научния приоритет.

Математикът Тристан Бъкмастър от Нюйоркския университет и Левент Алпьоге от Anthropic също работят върху близък проблем с помощта на изкуствен интелект.

Двамата постигат сериозен резултат при уравненията на Ойлер – родствена система, която може да се разглежда като по-прост, лишен от вискозитет родственик на Навие–Стокс.

Бъкмастър твърди, че информация за тяхната работа е достигнала до OpenAI преди компанията да завърши собственото си доказателство.

OpenAI отхвърля твърдението, че е получила достъп до непубликуваната работа или частните им данни.

Компанията признава, че е научила за слух около подобен пробив и е започнала концентрираната си работа по задачата на 1 септември. Според нея доказателството и формалната проверка в Lean са завършени на 6 септември.

OpenAI признава приоритета на Бъкмастър и Алпьоге по техния резултат за уравненията на Ойлер.

Има и математически спор

Ситуацията е още по-сложна заради начина, по който е постигнат резултатът.

Методът използва елемент от официалната формулировка на задачата на института „Клей“, който специалистите често не поставят в центъра на проблема.

Затова доказателството може да разрешава задачата така, както тя е формално написана, без непременно да отговаря на по-широката версия на въпроса, която много математици традиционно имат предвид.

Това е една от причините резултатът да се нуждае от внимателна независима проверка.

„Моментът Deep Blue“ за математиката

Значението на случващото се може да надхвърли конкретната задача.

Тристан Бъкмастър сравни събитието с победата на суперкомпютъра Deep Blue над световния шампион по шахмат Гари Каспаров през 1997 г.

Тогава машината показа, че може да победи най-добрия човек в една от дейностите, смятани за символ на човешкия интелект.

Сега подобна граница може да бъде премината в чистата математика.

Само дни преди новината за Навие–Стокс Anthropic съобщи, че Claude е създал първата пълна компютърно проверена формализация на доказателството на Последната теорема на Ферма, състояща се от около 13 милиона реда и завършена за 11 дни.

При Ферма AI формализира вече известна човешка математика.

При Навие–Стокс претенцията е качествено различна – AI е участвал в създаването на ново доказателство на нерешен досега проблем.

Ако резултатът бъде потвърден, 8 септември 2026 г. може да остане не само като деня, в който е решена една от най-трудните математически задачи.

Той може да се окаже моментът, в който изкуственият интелект премина от инструмент на математика към самостоятелен участник в откриването на нова математика.