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

На 8 септември 2026 г. OpenAI обяви, че група от около 10 000 автономни агента, работещи върху непубличен вътрешен модел, е доказала съществуването на сингулярност в тримерните уравнения на Навие-Стокс — една от седемте Millennium Prize задачи, обявени през 2000 г. от института Клей с награда от 1 милион долара всяка. Месец по-късно математическата общност още не е единна нито по въпроса дали доказателството е вярно, нито по въпроса кой заслужава кредита за него. Есето „Is AI the End of Math As We Know It?“ на Quanta Magazine от 5 октомври описва професия, която вече сама нарича равновесието си разчупено, а The Verge проследява същия спор от страната на индустрията.

Какво точно твърди OpenAI

Според съобщението, отразено от Quanta, агентите първо са се упражнявали върху варианти на уравненията на Ойлер — около 100 агента за 50 часа — и след това са пуснати по същинската задача. Резултатът е дошъл в събота, 5 септември, около 88 часа след старта. По пътя агентите са си разменили близо 5 милиона съобщения, а превеждането на аргумента в Lean, за да може машина да го провери формално, е отнело допълнителни 17 часа. Оценките за сметката за compute са от порядъка на няколко милиона долара.

Снимка: Quanta Magazine

Важната подробност е коя версия на задачата е решена. Формулировката на Чарлс Фефърман допуска както случай без външна сила, така и случай с гладка външна сила. Доказателството на OpenAI е за втория — че първоначално гладък флуид може да се „взриви“ за крайно време при гладко въздействие. Случаят, в който нищо не бута флуида, остава отворен, а именно той минава за физически по-интересния.

OpenAI изрично заяви, че няма да претендира за милиона от института Клей. Институтът от своя страна не бърза: процедурата му признава решение само след публикация в реферирано издание и проверка от общността, така че задачата формално още е активна.

Спорът за приоритета

Денят преди обявлението, в полунощ на 7 септември, Тристан Бъкмастър от Нюйоркския университет и Левент Алпьоге публикуват свои резултати — проверени в Lean за Ойлер и непроверено доказателство за Навие-Стокс. По техните думи са се обърнали към изследователи в OpenAI и впоследствие разбрали, че компанията е на път да обяви същото, което ги принудило да изтеглят графика си напред. Самият Бъкмастър после се извини за материал, който описа като „AI slop“, и призна, че първото генерирано от модел доказателство, което е получил, е „най-ужасното, което съм чел“.

И двата екипа стъпват върху аналитични техники на Диего Кордоба (Мадрид) и Луис Мартинес-Зороа (CUNEF). Фефърман нарече двамата „героите на историята“, а Бъкмастър написа, че според него Мартинес-Зороа заслужава медал Фийлдс. Кордоба обобщи колко бързо се е променило всичко: „Преди десет години никой не вярваше, че за Навие-Стокс има сингулярност.“

Фийлдс медалисти: „разминаващи се цели“

Малко по-късно 25 носители на медала Фийлдс подписаха обща позиция, която говори за „разминаващи се цели“ между AI компаниите и математическата общност. „Целият този епизод можеше да бъде чудесно доказателство за силата на сътрудничеството между хора и AI“, коментира един от подписалите пред NPR. Теренс Тао формулира възражението по принцип: самото решаване на такива задачи е „само сурогатна цел на главната цел — развиване на математическо разбиране и прозрение“.

Разчупеното равновесие

Ефектите вече не са само репутационни. От 1 октомври arXiv ограничи подаванията до две на месец, след като сървърът беше залян от трудно читаеми доказателства, генерирани от модели. Редактори на журнали съобщават за автори, които не могат да обяснят собствените си текстове. Активността в MathOverflow е в силен спад, защото студентите питат модела насаме. Част от математиците спират да публикуват открити хипотези, за да не бъдат изсмукани от ботове, а OpenAI според Quanta пази над 100 важни резултата неоповестени.

Реакциите вътре в професията са разнопосочни. Скот Ааронсън от Университета на Тексас смята, че хората са „завинаги свалени от трона като главните доказващи теореми същества на планетата“. Кен Оно, минал от академията към стартъпа Axiom Math, съветва студентите си да се готвят за професия, която „може и да не съществува“. Тасмин Чу от Caltech е сред основателите на новото Association for Human Mathematics. Даниел Лит от Торонто го казва по-сухо: „съществуващото равновесие се разчупи“. На другия полюс Павел Етингоф от MIT вижда нова роля — да тълкуваш и свързваш резултатите на машините, а Матилде Марколи от Caltech предупреждава, че фиксацията само върху решаването на хипотези води към „края на нашето въображение“.

Как се стигна дотук

Годината беше последователна. На 20 май 2026 г. модел на OpenAI опроверга хипотезата на Ердьош за единичните разстояния от 1946 г., при това с подкрепящи коментари от Нога Алон, Мелани Уд и Томас Блум, а Тим Гауърс я нарече крайъгълен камък. На 1 август компанията обяви, че непуснатият Astra е постигнал 10 напредъка, включително три нови задачи на Ердьош, а AlphaProof Nexus на Google DeepMind реши още девет с формална проверка в Lean. Контрастът с октомври 2025 г. е огромен: тогава твърдението, че GPT-5 е решил 10 отворени задачи на Ердьош, се оказа „драматично изопачаване“ — моделът просто беше намерил вече съществуващи публикации.

Заключение

Сингулярността при гладка външна сила е истински резултат и едва ли ще бъде оттеглена. Но спорът не е за нея, а за правилата: кой проверява, кой се подписва, кога се обявява и какво остава за хората, когато отговорът дойде без пътя до него. Докато институтът Клей чака реферирана публикация, OpenAI продължава в типичния си темп — от невидимите водни знаци в ChatGPT за ЕС до визуалните реклами. Математиците ще трябва сами да решат какво ще смятат за свършена работа.