Proč si OpenAI nevyzvedla milion dolarů za Navierovy–Stokesovy rovnice

OpenAI podle dostupných zpráv nezískala peníze z první matematické ceny Justina Suna, přestože její výsledek k Navierovým–Stokesovým rovnicím byl označen za vítězný a způsobilý k vyplacení milionu dolarů. Nejde jen o administrativní zvláštnost: případ ukazuje rozdíl mezi formálním ověřením důkazu softwarem, nezávislým matematickým posouzením a tím, komu náleží vědecké uznání. 3689

Co OpenAI skutečně tvrdí

OpenAI 8. září 2026 zveřejnila popis důkazu i jeho formalizaci v systému Lean. Firma uvádí, že její interní systém nalezl analytický důkaz, podle něhož se u trojrozměrných nestlačitelných Navierových–Stokesových rovnic může z původně hladké kapaliny v klidu při působení hladké vnější síly v konečném čase vytvořit singularita. 6

Rozhodující je rozsah tvrzení. V terminologii zadání Clay Mathematics Institute jde o cestu vynuceného protipříkladu, tedy případy C a D. Nejde o prokázání nevynucených alternativ globální regularity, případů A a B. Zkratka typu „Navierovy–Stokesovy rovnice jsou vyřešeny“ proto může zastřít, co přesně bylo oznámeno: tvrzenou konstrukci singularity při vnější síle, nikoli automaticky každé chápání celého problému. 61819

Jak vznikal důkaz a co ověřil Lean

OpenAI uvádí, že interní model začala na problému zkoušet 28. srpna a po 1. září práci rozšířila. Podle firmy pracovaly koordinované skupiny agentů s přístupem ke kódu a uloženým webovým materiálům; na úloze se podílelo zhruba 10 000 souběžně běžících agentů. 6

Zprávy uvádějí přibližně 88 hodin pro samotné nalezení výsledku a dalších asi 17 hodin, během nichž GPT-6 Astra práci formalizoval a kontroloval v Leanu. OpenAI zároveň zdůraznila, že původní matematický objev vytvořil interní model výrazně schopnější než GPT-6 Astra; Astra tedy nemusela být systémem, který důkaz nalezl. 68

Formalizace v Leanu je silným důkazem, že z předpokladů zapsaných do formálního systému plyne daná věta. Sama o sobě však neodpovídá na jinou otázku: zda formalizované předpoklady přesně pokrývají všechny podmínky Clayova zadání. Ani nenahrazuje odborné posouzení matematiky nezávislou komunitou.

Proč Clay Mathematics Institute dosud neudělil vlastní milion

Cena Clay Mathematics Institute je od Sunovy odměny oddělená. Institut 11. září oznámil, že vyhodnocuje tvrzení OpenAI podle svých pravidel, a zdůraznil, že tento proces je záměrně pomalý. 1

Pravidla Millennium Prize vyžadují zveřejnění navrženého řešení v kvalifikovaném publikačním kanálu, nejméně dvouletou lhůtu po publikaci a obecné přijetí světovou matematickou komunitou, než institut může o ceně vůbec uvažovat. Ani úspěšná kontrola kódu v Leanu tedy nemůže znamenat okamžité získání Clayovy ceny.

Aktuální stav je proto prostý: OpenAI zveřejnila své tvrzení a formalizační materiály, ale Clay Mathematics Institute je dosud neuznal jako řešení oceněné Millennium Prize. Nezávislí matematici ještě musí prověřit analytický důkaz, formalizaci i to, zda výsledek naplňuje příslušné podmínky problému. 16

Co uznává cena Justina Suna

Justin Sun vyhlásil 16. září svou cenu jako decentralizovaný akademický program odměn za průlomy v základním výzkumu a strojové formální verifikaci. První sada ocenění zahrnovala 66 matematických problémů a tvrzený výsledek OpenAI získal nejvyšší vypsanou odměnu 1 milion dolarů. 314

Tento program je koncipován šířeji a rychleji než postup Clayova institutu: má uznávat strojově ověřitelné důkazy a je otevřen lidským badatelům, systémům AI i spolupráci lidí s AI. 414

Jde však o soukromou cenu s vlastními pravidly, nikoli o náhradu standardů, jimiž matematická obec určuje správnost, prioritu nebo dlouhodobý význam výsledku. Udělení Sunovy ceny proto nezavazuje Clayův institut ani ostatní matematiky, aby věc považovali za definitivně uzavřenou.

Proč zůstala odměna nevyzvednutá

Podle zpráv záznam v repozitáři ceny uváděl OpenAI jako způsobilou k převzetí odměny, avšak peníze zůstaly nevyzvednuté. Zprávy tuto volbu spojovaly s nevyřešeným sporem o původ důkazu a s tím, že OpenAI v této fázi neusiluje o cenu Clayova institutu. 89

OpenAI v dostupných materiálech veřejně nestanovila jednoznačný důvod, proč si odměnu odmítla či odložila její převzetí. Opatrný závěr je tedy pouze tento: přijetí soukromé ceny v době, kdy se stále řeší rozsah důkazu, jeho původ a zásluhy, by mohlo působit jako předčasné potvrzení konečnosti výsledku.

Spor o autorství není vedlejší téma

Matematik Tristan Buckmaster z New York University tvrdí, že práce OpenAI čerpala z neveřejného výzkumu. OpenAI toto tvrzení rozporuje. Dostupné zdroje zatím nepřinášejí nezávislé konečné vyřešení sporu. 120

Časopis Nature v této souvislosti upozornil na potřebu užší spolupráce AI firem s výzkumnou komunitou při určování autorství a připsání zásluh. Systémy AI dokážou vyhledávat, kombinovat a formalizovat nápady ve výjimečném měřítku, ale původ konkrétního podnětu se pak může obtížně rekonstruovat. 1720

To samo o sobě nedokazuje, že je formální důkaz chybný. Ukazuje to však, že matematická správnost a autorství jsou dvě různé otázky — a obě jsou podstatné, má-li jít o průlom v zásadní oblasti matematiky.

Jak výsledek popisovat nyní

Tvrzení OpenAI je mimořádné: firma popisuje konstrukci singularity v konečném čase pro významnou formulaci Navierových–Stokesových rovnic, nalezenou rozsáhlým systémem agentů a doplněnou formalizací v Leanu. 61819

Zatím jej ale nelze označovat za Clayovým institutem uznané řešení Millennium Prize Problem. Sunova milionová odměna podle zpráv zůstala nevyzvednutá, postup Clayova institutu je samostatný a podstatně pomalejší a spor o autorství není vyřešen. 18920

Dalšími důležitými kroky budou nezávislé posouzení matematiky, pečlivá kontrola shody formálního tvrzení s podmínkami zadání a důvěryhodné objasnění priority a autorství. Do té doby je nejpřesnější mluvit o velmi významném matematickém tvrzení vytvořeném s pomocí AI, které má strojově ověřitelnou složku — nikoli o konečném výsledku, na němž panuje odborná shoda.