OpenAI tvrdí, že vyriešilo Navierove–Stokesove rovnice. Prečo treba s verdiktom počkať

OpenAI tvrdí, že jeho interný multiagentný systém našiel riešenie Navierových–Stokesových rovníc. Formálne overenie existuje, no vedecké potvrdenie bude vyžadovať nezávislé skúmanie.

OpenAI 8. septembra 2026 zverejnilo mimoriadne odvážne tvrdenie: interný systém spoločnosti mal nájsť dôkaz k problému existencie a hladkosti Navierových–Stokesových rovníc v troch rozmeroch. Ide o jednu zo siedmich Millennium Prize Problems, teda otázok, ktoré Clay Mathematics Institute vybral ako mimoriadne dôležité a na každú vyčlenil odmenu jeden milión dolárov.

Správa je významná už samotným rozsahom technického úsilia. Zároveň však nie je správne písať, že problém je definitívne vyriešený. Potvrdené je, že OpenAI publikovalo vlastný matematický opis výsledku a sprístupnilo formálnu formalizáciu v systéme Lean. Nepotvrdené zatiaľ ostáva najdôležitejšie: či argument obstojí pred nezávislou matematickou kontrolou a či ho odborná komunita prijme ako korektné riešenie presne definovaného problému.

Čo presne OpenAI oznámilo

Navierove–Stokesove rovnice sú základným matematickým modelom prúdenia tekutín a plynov. V praxi sú relevantné napríklad pri aerodynamike, meteorológii či modelovaní prúdenia krvi. Najťažšia časť problému sa netýka toho, či vieme rovnice numericky použiť v konkrétnej simulácii, ale toho, či sa pri hladkých počiatočných podmienkach v troch priestorových rozmeroch vždy zachová hladké správanie riešenia.

Oficiálna formulácia Clay Mathematics Institute pripúšťa viac ciest k riešeniu. Dve alternatívy požadujú dokázať globálnu existenciu a hladkosť riešení bez vonkajšej sily. Ďalšie dve alternatívy umožňujú ukázať zlyhanie: nájsť hladké počiatočné dáta a hladkú vonkajšiu silu, pre ktoré neexistuje globálne hladké riešenie so stanovenými vlastnosťami.

OpenAI tvrdí, že preukázalo práve alternatívy C a D. V zjednodušenej reči to znamená konštrukciu prípadu, v ktorom sa dynamika kvapaliny za konečný čas dostane do singularity, hoci začína z hladkého stavu a použitá sila má zostať hladká. Spoločnosť opisuje mechanizmus ako vír, ktorý sa súčasne sťahuje a naťahuje, pričom rýchlosť narastá bez obmedzenia.

To je podstatná nuansa. Výsledok sa netýka tvrdenia, že každé reálne prúdenie vody či vzduchu náhle dosiahne nekonečnú rýchlosť. Ide o hranice matematického kontinua, ktorým rovnice opisujú tekutinu. Singularita v takom modeli by signalizovala, že za určitých ideálnych predpokladov už samotný opis nestačí na hladké pokračovanie riešenia.

Prečo je Lean dôležitý, ale nie je konečnou pečiatkou

OpenAI k oznámeniu pripojilo formalizáciu v Lean, jazyku a prostredí pre strojovo kontrolované matematické dôkazy. Verejný repozitár uvádza dve deklarované Navierove–Stokesove tvrdenia: jedno pre priestor ℝ³ a druhé pre periodický priestor. Repozitár zároveň obsahuje postup na zostavenie formalizácie a pokyny pre nezávislé overovanie použitých certifikátov.

Ide o zásadný krok vpred oproti situácii, keď by firma ponúkla iba rozsiahly dokument a žiadala verejnosť, aby jej dôverovala. Formálny kontrolór dokáže overiť, či záver logicky vyplýva z formalizovaných definícií, axióm a pomocných viet. Takýto proces je cenný najmä pri dôkazoch s veľkým počtom technických krokov.

Zároveň platí, že formalizácia neodstraňuje všetky otázky. Matematikov bude zaujímať, či formalizovaný výrok presne zodpovedá oficiálnemu zadaniu Clay Mathematics Institute, či sú všetky pomocné výsledky vhodne zachytené a či analytický dôkaz neobsahuje problém pri prenose do formálneho zápisu. Kontrola správnosti zdrojového kódu dôkazu je veľmi silná, no vedecké prijatie zahŕňa aj nezávislé pochopenie metódy, jej porovnanie s existujúcou teóriou a odbornú diskusiu.

Aj samotné pravidlá Clay Mathematics Institute nastavujú vysokú latku. Navrhované riešenie musí vyjsť v kvalifikovanom publikačnom prostredí, získať všeobecné prijatie v globálnej matematickej komunite a prejsť rigoróznym preskúmaním najmenej dva roky. Až potom môže inštitút pristúpiť k vlastnému detailnému hodnoteniu. OpenAI navyše uviedlo, že o cenu nemá záujem žiadať.

Odporúčame

AI Nástroje 9. septembra 2026

OpenAI uvádza ChatGPT Images 2.5: sľubuje rýchlejšie generovanie a presnejšie úpravy

OpenAI uvádza ChatGPT Images 2.5, novú generáciu obrazového modelu s dôrazom na rýchlejšie vytváranie, presnejšie úpravy a nové kreatívne nástroje pre používateľov.

3 min 0

Dôležité AI 7. septembra 2026

ChatGPT, Reddit a Roblox pod prísnejším dohľadom EÚ: čo im prináša status VLOP a VLOSE

Európska komisia zaradila ChatGPT, Reddit a Roblox pod prísnejší dohľad DSA. Rozhodnutie mení rozsah ich povinností, nie automaticky podobu služieb.

8 min 0

Ako mal pracovať systém s tisíckami agentov

Podľa technického opisu OpenAI spustilo projekt 1. septembra po tom, čo zachytilo informácie o možnom pokroku pri Millennium Prize Problems. Na riešenie nasadilo koordinované skupiny agentov poháňaných neveľejným modelom. Tí mali k dispozícii programovanie a uloženú verziu internetu, pričom agenti v jednotlivých skupinách medzi sebou komunikovali.

Skupina, z ktorej napokon vzišiel deklarovaný výsledok pre Navierove–Stokesove rovnice, mala mať rádovo 10 000 súbežne pracujúcich agentov. OpenAI uvádza, že od štartu prvých agentov po nájdenie riešenia uplynulo približne 88 hodín. Následná formalizácia a verifikácia v Lean mali trvať ďalších 17 hodín. Pri práci na samotnom Navierovom–Stokesovom probléme malo padnúť približne 2,7 milióna správ agentov a asi 130 miliárd výstupných tokenov.

Tieto čísla sú tvrdeniami spoločnosti, nie nezávisle auditovanou metrikou. Aj tak však ukazujú nový model výskumu: nie jeden program, ktorý navrhne jednu hypotézu, ale rozsiahly systém paralelných pracovných vetiev. Časť agentov skúša alternatívne prístupy, časť hľadá chyby, ďalšia integruje priebežné poznatky. Výhodou je prieskum obrovského priestoru možností. Rizikom je, že pri takom rozsahu sa ťažšie vysvetľuje pôvod každej rozhodujúcej myšlienky a ľudská kontrola sa môže stať úzkym hrdlom.

Najprv Euler, potom Navier–Stokes

OpenAI zároveň oznámilo samostatný výsledok pre trojrozmerné nevynútené Eulerove rovnice, ktoré modelujú ideálnu kvapalinu bez viskozity. V zverejnenom dokumente firma tvrdí konečnočasový vznik singularity z hladkých, kompaktne podporených a bezdivergenčných počiatočných dát.

Eulerove a Navierove–Stokesove rovnice spolu súvisia, ale nemožno ich zamieňať. Pri Navierových–Stokesových rovniciach viskozita pôsobí ako mechanizmus vyhladzovania. Práve preto je otázka, či môže napriek nej vzniknúť singularita, taká náročná. Clay Mathematics Institute vo svojej oficiálnej dokumentácii pripomína, že pri trojrozmernom probléme sú známe lokálne výsledky a rôzne čiastkové poznatky, no historicky chýbal všeobecný dôkaz globálnej regularity alebo jej zlyhania v požadovanom rozsahu.

Ak sa výsledok OpenAI potvrdí, neznamená to automaticky, že simulácie počasia alebo návrh lietadiel prestanú fungovať. Inžinierske modely pracujú s konečným rozlíšením, konkrétnymi okrajovými podmienkami a empirickým overovaním. Teoretický prelom by však zásadne zmenil naše porozumenie hraníc rovníc, na ktorých stojí veľká časť mechaniky tekutín.

Spor o súbežný výskum a používateľské dáta

Technické oznámenie sprevádza aj citlivá otázka výskumnej etiky. The Verge priniesol výpoveď profesora Tristana Buckmastera, ktorý tvrdí, že s Leventom Alpögem pracoval na príbuznom probléme pre nútené Eulerove rovnice a po kontakte s OpenAI mal obavy, či firma nemohla poznať ich rozpracované poznatky. Ide o tvrdenia účastníka sporu, ktoré z poskytnutých materiálov nemožno nezávisle potvrdiť.

Oficiálne stanovisko OpenAI je odlišné. Spoločnosť uvádza, že jej výskumníci ani agenti nevideli prácu dvojice pred jej verejným zverejnením a že pri riešení nepoužili žiadne konkrétne používateľské dáta. Súčasne však pripúšťa, že nevie s absolútnou istotou vylúčiť nepriamy vplyv deidentifikovaných údajov z používania produktov na zlepšovanie modelov. Firma tiež rozlišuje medzi vlastným výsledkom pre nevynútené Eulerove rovnice a prácou Buckmastera s Alpögem pre nútený prípad.

Nejde iba o konflikt medzi dvoma laboratóriami. Matematický výskum stojí aj na neformálnom zdieľaní rozpracovaných postupov, predbežných nápadov a otázok. Ak by vedci nadobudli pocit, že každý dotaz do komerčného nástroja môže nepriamo posilniť systém, ktorý neskôr vyhľadá rovnaké riešenie vo veľkom, mohli by byť pri zdieľaní opatrnejší. To by bolo v priamom rozpore s kultúrou otvorenej akademickej spolupráce.

Čo sledovať v najbližších rokoch

Najbližším testom nebude marketingová prezentácia ani počet agentov. Rozhodujúce bude, či nezávislí odborníci rozoberú dôkaz krok za krokom, nájdu prípadné medzery alebo potvrdia jeho jadro. Dôležité bude aj to, či sa analytický text dostane do publikačného procesu, ktorý spĺňa kritériá Clay Mathematics Institute.

Pre technologický sektor je prípad rovnako dôležitý. Ukazuje, že AI systémy sa posúvajú od asistencie pri jednotlivých výpočtoch k organizovaniu komplexných výskumných kampaní. Veda však nie je len generovanie výsledku. Patrí k nej reprodukovateľnosť, transparentnosť vstupov, nezávislá kritika a jasné uznanie priority práce. Ak OpenAI obstojí v matematickej kontrole, pôjde o historický výsledok. Ak nie, aj tak zostane dôležitou lekciou o tom, aké nároky musia mať AI laboratóriá, keď vstupujú do najcitlivejších oblastí vedeckého poznania.