Pro malé objevitele
Když zamícháš vodu ve sklenici, vznikne vír. Vědci používají matematické rovnice, aby takové proudění popsali.
Dlouho nevěděli, zda se může matematický vír za určitých podmínek stále více zrychlovat, až rovnice přestanou popisovat hladké proudění.
AI podle zveřejněného důkazu našla vír, který se stále více natahuje a zužuje, až jeho matematická rychlost roste bez omezení.
Skutečná voda se takto nemůže pohybovat nekonečně rychle. Výsledek tedy říká něco o hranicích matematického modelu.
Jako když roztočíš lžíci v polévce a ptáš se, zda by se v dokonale matematickém světě mohl vzniklý vír bez hranice zrychlovat.
Co přesně se zjistilo?
- Důkaz se týká trojrozměrné nestlačitelné tekutiny s hladkým vnějším silovým působením a konečnou energií.
- Konstrukce vede ke vzniku singularity v konečném čase, přestože počáteční proudění je hladké.
- OpenAI uvádí, že tak splňuje varianty C a D oficiálního zadání problému tisíciletí.
Jak k tomu AI došla?
Interní systém koordinoval přibližně 10 000 souběžných AI agentů.
Agenti nejprve našli související výsledek pro Eulerovy rovnice, poté navázali konstrukcí pro Navierovy–Stokesovy rovnice.
Výsledek byl podle OpenAI nalezen za přibližně 88 hodin a následně formalizován pomocí GPT-6 Astra v Leanu.
Pomáhá to už v praxi?
Nemáme doloženo, že by samotný výsledek již přinesl nové praktické řešení.
Nový způsob chápání toho, kde mohou klasické rovnice selhat.
Žádné nové zlepšení předpovědního modelu způsobené tímto důkazem zatím doloženo není.
Důkaz sám neposkytuje novou aerodynamickou technologii.
Je objev opravdu ověřený?
Strojově ověřený důkaz, odborná diskuse pokračuje
OpenAI zveřejnila 8. září 2026 rukopis a Lean formalizaci. Clay Mathematics Institute 11. září uvedl, že problém byl podle oznámení zřejmě vyřešen, avšak odborné posouzení bude pokračovat; nejde o konečné uznání ani udělení ceny. Nezávislá práce Bastounise, Circelliho a Hansena zveřejněná 6. října 2026 upozornila na nesoulad mezi slovním důkazem Navierových–Stokesových rovnic a jeho překladem do Leanu. Strojové ověření tedy samo o sobě nepotvrzuje, že přesně odpovídá původnímu tvrzení. Autoři kritiky tím neprokázali nepravdivost samotného matematického výsledku. Nezávislé definitivní uznání zatím není doloženo.
Co ještě nevíme?
- Jak se důkaz vyrovná s nezávislým odborným posouzením?
- Přinese novou prakticky použitelnou teorii turbulence?
- Dokážou odborníci potvrdit, že formální Lean věta skutečně odpovídá zamýšlenému slovnímu důkazu?
- Jak bude vyhodnocena nezávislá kritika formálního překladu z 6. října 2026?
Původní zdroje a důkazy
Na tyto veřejné zdroje odkazují důležitá tvrzení v článku. Můžeš si vše přečíst a posoudit sám.