Rovnice, které popisují vodu, vzduch i proudění kolem křídla letadla, ukrývají téměř sto let starou otázku. Nově zveřejněný návrh důkazu tvrdí, že za určitých podmínek se jejich hladké řešení skutečně může „rozbít“. Zatím však nejde o definitivně uznaný výsledek.
Co vlastně Navierovy–Stokesovy rovnice popisují?
Pusťte vodu z kohoutku, zamíchejte kávu nebo sledujte kouř stoupající vzhůru. Všude se pohybuje tekutina – a v matematice se za tekutinu považuje nejen voda, ale také vzduch.
Navierovy–Stokesovy rovnice jsou návodem, jak takové proudění popsat. Zohledňují rychlost, tlak i viskozitu, tedy „vnitřní tření“, které má tendenci divoké pohyby uklidňovat.
Stejný matematický základ používají počítačové modely při předpovědi počasí, návrhu letadel a aut, vývoji turbín nebo zkoumání proudění krve.
Kde se skrývala velká hádanka?
Rovnice umíme používat a v mnoha situacích dávají velmi dobré výsledky. Matematici ale nevěděli, zda jejich řešení ve třech rozměrech zůstane vždy hladké a předvídatelné.
Představte si vír, který se stále zmenšuje, protahuje a zrychluje. Viskozita se ho snaží vyhladit, zatímco nelineární chování proudění může energii soustředit do stále menší oblasti.
Otázka zněla: může tento souboj skončit bodem, v němž matematická rychlost nebo její změna vyroste bez omezení během konečného času? Takovému místu se říká singularita.
Neznamená to, že by skutečná voda začala téct nekonečnou rychlostí. Spíše by to ukázalo hranici modelu: rovnice by v daném okamžiku přestaly poskytovat hladký popis proudění.
Co se podle zveřejněného návrhu podařilo dokázat?
OpenAI 8. září 2026 zveřejnila analytický důkaz a jeho formální zápis v systému Lean. Podle návrhu může hladké trojrozměrné proudění, které začíná v klidu, při působení pečlivě zvolené hladké vnější síly vytvořit singularitu v konečném čase. Energie přitom zůstává konečná.
Jednoduše řečeno: návrh má ukazovat konkrétní protipříklad k představě, že Navierovy–Stokesovy rovnice musí zůstat hladké za všech povolených okolností.
Konstrukce pracuje s vírem, který se stáčí dovnitř a stále více se protahuje – podobně jako když se při otáčení natahuje tenké vlákno špaget. Právě toto soustředění pohybu má vést k matematickému „výbuchu“.
Důležitý detail: nejde o tvrzení, že se tak chová každé proudění nebo že vznikl jednoduchý univerzální vzorec pro počasí. Důkaz se týká přesně vymezeného scénáře s vnější silou.
Proč byl problém tak těžký?
Proudění ovlivňuje samo sebe. Rychlost kapaliny mění její další pohyb, vznikají víry, ty se natahují a předávají energii mezi různými měřítky. Malá změna se tak může promítnout do velmi složitého chování.
Současně působí viskozita, která nerovnosti tlumí. Bylo proto mimořádně obtížné ukázat, zda vyhlazování vždy zvítězí, nebo zda lze pohyb soustředit rychleji, než ho viskozita stačí uklidnit.
Numerická simulace sama nestačí. Počítač může spočítat obrovské množství kroků, ale matematický důkaz musí pokrýt i chování v libovolně malém měřítku a vyloučit skrytou chybu.
Jakou roli v tom hrála umělá inteligence?
Podle OpenAI výsledek vytvořil interní systém složený z mnoha spolupracujících AI agentů. Následně byl převeden do jazyka Lean, který umožňuje počítačově kontrolovat logickou návaznost důkazu.
Formální kontrola je silný podpůrný nástroj, ale není automaticky totéž co nezávislé odborné přijetí. Matematici musí ještě prověřit, zda formalizace přesně odpovídá oficiálnímu zadání a zda nejsou problematické některé předpoklady či převody mezi částmi argumentu.
K čemu je to běžnému člověku?
Zítra kvůli tomu nevznikne dokonalejší předpověď počasí ani letadlo s poloviční spotřebou. Přínos je především v lepším pochopení hranic rovnic, na kterých stojí velká část fyzikálních simulací.
Pokud se důkaz potvrdí, vědci a inženýři budou přesněji vědět, kdy mohou hladkému matematickému modelu důvěřovat a kde musí být opatrní. Nové metody se mohou časem promítnout do modelování turbulencí, aerodynamiky, klimatu, proudění v turbínách nebo krve v cévách.
Neméně důležitý je způsob práce. Úspěch by byl výraznou ukázkou toho, že AI nemusí jen shrnovat známé poznatky, ale může pomáhat hledat a formálně kontrolovat nové matematické argumenty.
Je tedy problém definitivně vyřešen?
Zatím ne v oficiálním smyslu. Jde o nově zveřejněný návrh řešení, který čeká na širší nezávislou kontrolu a uznání matematické komunity.
Clayův matematický institut navíc posuzuje řešení problému tisíciletí teprve po publikaci v kvalifikovaném odborném zdroji, po uplynutí nejméně dvou let a po dosažení obecného přijetí mezi matematiky. Teprve potom může přijít rozhodnutí o milionové ceně.
Současné oznámení je proto přesnější chápat jako velmi významný kandidát na řešení. Pokud odborná kontrola potvrdí všechny kroky, půjde o historický průlom v matematice i důležitý milník pro AI ve vědeckém výzkumu.
