Clay Mathematics Institute poprvé veřejně uznal, že Navier-Stokesův problém existence a hladkosti – jeden ze sedmi problémů tisíciletí – „byl zjevně vyřešen“. Prohlášení zveřejněné na webových stránkách institutu v pátek posouvá jeden z nejspornějších příběhů roku o umělé inteligenci a matematice do procesu formálního vyhodnocování cen institutu a zároveň jasně ukazuje, že nebyla udělena žádná cena ani potvrzen žádný důkaz.

"Dnes CMI sdílí nadšení globální matematické komunity, když uvažujeme o oznámení, že problém Navier-Stokes byl zjevně vyřešen," napsal institut v oznámení z 11. září 2026. "Doufáme, že uvidíme vlny nového lidského porozumění, jak budou analyzovány a zkoumány inovace za touto prací." For more context on this story, see our ongoing AI news.

Proč na prohlášení záleží

Měřený jazyk institutu dělá hodně práce a každé slovo bylo analyzováno během několika hodin na Hacker News, kde oznámení shromáždilo více než 100 bodů. To, co prohlášení neříká, je stejně důležité jako to, co dělá: Clay Mathematics Institute nejmenuje OpenAI, nepotvrzuje, že jakýkoli konkrétní důkaz je správný, a nespouští udělení ceny.

Kontext vysvětluje zdrženlivost. 8. září OpenAI zveřejnilo nárokované řešení problému Navier-Stokes s tím, že interní systém AI – popisovaný společností jako výrazně schopnější než její model GPT-6 Astra – vytvořil jak analytický důkaz, tak formální ověření v asistentovi Lean proof. Oznámení se okamžitě stalo stejně tak o kreditech, jako o výpočtech, protože dva akademičtí matematici zveřejnili ve stejný den úzce související články a výzkumníci stiskli OpenAI, jehož práce informovala o výsledku stroje.

Vzhledem k tomu, že institut nyní uznává, že problém „je zřejmě vyřešen“, spor posouvá terén: od ping-pongu s tiskovými zprávami k postupu hodnocení ceny tisíciletí, které institut popisuje jako „záměrně neuspěchané“.

Na co se ptá problém Navier-Stokes

Problém se týká existence a hladkosti řešení Navier-Stokesových rovnic v trojrozměrném euklidovském prostoru — rovnic, které popisují, jak se pohybují tekutiny, jako je voda a vzduch. Přestože tyto rovnice denně používají inženýři, meteorologové a aerodynamika, matematici nikdy neprokázali, že hladká, fyzikálně rozumná řešení vždy existují ve třech rozměrech nebo že se chovají předvídatelně, spíše než aby vyvíjely singularity.

Clay Mathematics Institute odhalil problémy tisíciletí na setkání v Paříži v roce 2000, přičemž každému ze sedmi problémů, mezi které patří také Riemannova hypotéza a P versus NP, přidělil cenu 1 milion dolarů. Ve svém pátečním prohlášení institut zopakoval své původní zdůvodnění: zvýšit povědomí veřejnosti o tom, že matematická hranice je otevřená, a uznat „úspěchy v matematice historického rozsahu“.

Pouze jeden ze sedmi problémů, Poincarého domněnka, byl vyřešen – Grigori Perelman v práci zveřejněné v letech 2002 a 2003, za kterou skvěle odmítl Fieldsovu medaili i finanční odměnu.

Před námi je „záměrně neuspěchané“ hodnocení

Oznámení institutu poukazuje na pravidla cen jako na řídící rámec toho, co se bude dít dál. „Pravidla, kterými se ceny řídí, popisují proces hodnocení dosaženého úspěchu a přidělování kreditu,“ stojí v prohlášení. "Proces je záměrně neuspěchaný, ale poskytneme aktualizace."

Tato formulace ponechává otevřených několik otázek, o kterých nyní matematická komunita otevřeně diskutuje. Ověření je první překážkou: důkaz hladkosti Navier-Stokes by obvykle zabralo komisi odborníků mnoho měsíců, než by ji zkontrolovala řádek po řádku. Tvrzení OpenAI, že jeho výsledek zahrnuje strojově kontrolovanou formalizaci v Lean, by v zásadě mohlo tuto časovou osu dramaticky zkrátit, protože formální ověření redukuje otázku správnosti na to, co asistent důkazu přijme. Institut však neuvedl, zda mu byla taková formalizace předložena, kdo jsou posuzovatelé nebo jak bude rozdělen kredit mezi systém AI, jeho tvůrce v OpenAI a akademické matematiky, jejichž související články se objevily tentýž týden.

Prohlášení také neřeší, zda řešení, které lze z významné části připsat systému umělé inteligence, se kvalifikuje pro cenu, která má v zakládajícím jazyce institutu uznat lidský matematický úspěch – což je otázka, která nemá v 26leté historii ceny obdoby.

Napětí za oznámením

Oznámení přichází v mimořádně choulostivém okamžiku pro průsečík umělé inteligence a matematiky. V pátek skupina 25 Fields Medalists včetně Terence Taa zveřejnila formální prohlášení varující, že závod o předvádění systémů AI na matematických benchmarcích poškozuje jak vědu, tak komunitu, která je podporuje – prohlášení, které během jednoho dne shromáždilo více než 1300 dalších podporovatelů, jak již dříve uvedl AI Buzz Wire.

Tyto dva dokumenty se čtou téměř jako vzájemné odpovědi. Deklarace matematiků varuje před tím, aby se hluboké problémy nepovažovaly za srovnávací trofeje; oznámení institutu, i když přijímá výsledek, ostře rámuje okamžik kolem porozumění spíše než vítězství v naději, že uvidí „uvolněné vlny nového lidského porozumění, jak budou analyzovány a zkoumány inovace za touto prací“.

Dokonce i vlastní zpráva institutu o okolní oblasti uznává tento posun: „Stále rostoucí schopnost nových technologií urychlit matematický výzkum tento pocit očekávání umocnila,“ uvádí prohlášení a připisuje nedávné průlomy v přilehlých oblastech – některé oceněné cenou Clay Research Award – s nadějí, že Navier-Stokes by mohl brzy padnout.

Co přijde dál

Praktický výklad je prozatím úzký, ale reálný: institut, který problém vlastní, uvedl, že považuje problém za zjevně vyřešený, a zavázal se k veřejným aktualizacím, jak bude jeho hodnocení pokračovat. Pokud dílo přežije zkoumání, byl by to druhý vyřešený problém tisíciletí, první za dvě desetiletí – a první v historii, který lze částečně připsat systému umělé inteligence, což je rozdíl, který bude určovat, jak se matematické instituce vypořádají s dalším takovým tvrzením.

Ústav požádal o trpělivost. Vzhledem k tomu, že tento proces je záměrně záměrně neuspěchaný, budou otázky komunity – o důkazech, kreditu a roli stroje, který jej vyrobil – zodpovězeny na časové ose institutu, nikoli v cyklu zpráv.

---

Stay Ahead of AI

Get the latest AI news, analysis, and breakthroughs — all in one place.

Read more AI news →