OpenAI a Navierovy–Stokesovy rovnice: co firma oznámila a proč přišla ostrá reakce matematiků

Oznámení OpenAI z 8. září bylo mimořádné: firma tvrdí, že její neveřejný interní systém posunul jeden z nejslavnějších nevyřešených problémů matematiky. Téměř okamžitě se ale rozhořel spor. V matematice totiž oznámený důkaz — ani důkaz doplněný formálním ověřením — není automaticky uznaným výsledkem. Musí jej nezávisle prostudovat odborná komunita.

Co přesně OpenAI tvrdí

OpenAI uvedla, že její interní systém vytvořil analytický důkaz i formalizaci v systému Lean. Výsledek má ukazovat, že původně hladké trojrozměrné proudění může podle Navierových–Stokesových rovnic vytvořit singularitu v konečném čase. Na úloze podle firmy pracovala skupina čítající zhruba 10 000 souběžně běžících agentů. 2

Pokud by se důkaz potvrdil a odpovídal oficiální formulaci zadání, znamenalo by to zápornou odpověď na otázku existence a hladkosti: hladká řešení nemusejí zůstat hladká navždy. Clay Mathematics Institute (CMI) popisuje problém jako otázku existence a hladkosti řešení Navierových–Stokesových rovnic v trojrozměrném eukleidovském prostoru. 18

Proč je tento problém tak významný

Navierovy–Stokesovy rovnice popisují pohyb tekutin. Jsou základním nástrojem matematického studia proudění, přestože obecné chování jejich trojrozměrných řešení zůstává i přes původ rovnic v 19. století nedostatečně pochopené. 30

Úloha patří mezi Problémy tisíciletí, soubor mimořádně obtížných matematických otázek vypsaných CMI. Oficiální zadání požaduje buď důkaz, že fyzikálně rozumná hladká řešení existují globálně v čase, nebo jiné vyřešení splňující stanovené podmínky. 1721

Proto nešlo jen o další test schopností modelu. Platný výsledek by zasáhl do klíčové otázky matematické analýzy a dynamiky tekutin. Právě jeho význam ale zároveň zvyšuje nároky na ověření.

Proč zatím nejde o všeobecně přijaté řešení

CMI 11. září uvedl, že s nadšením sleduje oznámení, podle nějž byl problém „zřejmě vyřešen“. Současně zdůraznil, že proces hodnocení výsledku i přiznání zásluh je záměrně pomalý. 18

Pravidla CMI stanovují tři podmínky, než institut vůbec začne navržené řešení posuzovat: publikaci v uznávaném odborném médiu, uplynutí nejméně dvou let od této publikace a všeobecné přijetí globální matematickou komunitou. 27 Navržené řešení navíc musí uspokojivě odpovědět na oficiální znění problému. 20

Lean dokáže ověřit, zda zadaný formální řetězec tvrzení skutečně plyne z přesně zakódovaných definic a předpokladů. To je velmi silný druh kontroly. Nenahrazuje však odborné posouzení: matematici musí prověřit, zda formalizovaná věta, její předpoklady i převod neformálního zadání opravdu řeší zamýšlenou otázku.

Nejpřesnější současné označení tedy zní: tvrzený výsledek pod odborným zkoumáním, nikoli obecně uznané nebo cenou potvrzené řešení.

Spor o prioritu a zásluhy

Oznámení přišlo uprostřed sporu, do něhož vstoupili matematik Tristan Buckmaster z New York University a Levent Alpöge, matematik spojený s Anthropicem. Podle zpravodajství oba pracovali na příbuzných otázkách a Buckmaster vyslovil pochybnosti, jak se OpenAI k řešení tohoto problému dostala. 953

Buckmaster rovněž vznesl obvinění týkající se jednání o připsání zásluh a spolupráci. OpenAI širší obvinění odmítla: uvedla, že její výzkumníci ani agenti neviděli práci obou matematiků před jejím veřejným zveřejněním a že k řešení nebyla použita žádná konkrétní uživatelská data. 53

Jde o protichůdná tvrzení, nikoli o prokázaná zjištění. Jisté je, že technické oznámení se změnilo ve spor o to, komu náleží uznání, když se laboratoře AI a akademičtí výzkumníci pohybují na stejné hranici poznání.

Proč se řešila data uživatelů

Mimořádně citlivou otázkou bylo, zda mohla práce vložená do produktů AI ovlivnit schopnosti modelu použitého v pozdějším výzkumu. OpenAI uvedla, že nepracovala s konkrétními uživatelskými daty těchto výzkumníků při řešení Navierových–Stokesových rovnic. Zároveň připustila, že nemůže zcela vyloučit, že ke zlepšení jejích modelů přispěla anonymizovaná data odvozená z používání produktů. 59

Rozdíl mezi přímým přístupem ke konkrétním datům a nepřímým vlivem anonymizovaných dat může být technicky podstatný. Neuzavírá však otázku správy dat: jakou míru dohledatelnosti původu dat, souhlasu a auditu mají vědci očekávat, když nástroje AI používají pro dosud nepublikovaný výzkum?

Pro akademické uživatele je spor připomínkou, aby si před vložením konceptů článků, hypotéz, kódu či jiných citlivých materiálů do nástroje AI ověřili pravidla nakládání s daty.

Varování nositelů Fieldsovy medaile

Terence Tao 11. září zveřejnil prohlášení nazvané A Severe Misalignment of AI in Mathematics („Vážný nesoulad AI a matematiky“), které mělo 25 původních signatářů — všechny držitele Fieldsovy medaile. 43

Prohlášení vyjadřuje obavu, že firmy mohou chápat slavné nevyřešené problémy jako veřejné benchmarky nebo soutěž o publicitu, namísto jako společnou intelektuální práci. Kritici se obávají, že uspěchaná oznámení, nedostatečně vyložené důkazy, slabé uvádění zásluh a motivace „předběhnout“ konkurenty mohou vědce odradit od sdílení rozpracovaných nápadů.

Nejde o výzvu k vyloučení AI z matematiky. Jde o požadavek chránit normy, na nichž matematický pokrok stojí: otevřenou kontrolu, pečlivý výklad, férové uznání autorství a odbornou debatu.

Co by měla mimořádná tvrzení podpořená AI obsahovat

Spor ukazuje praktický standard pro mimořádná výzkumná tvrzení spojená s AI:

• Veřejně kontrolovatelné podklady: Tvrzení by mělo doprovázet rigorózní odborné zpracování a tam, kde je to možné, i strojově ověřitelná formalizace.
• Nezávislé posouzení: Formální kontrola a expertní matematické hodnocení plní odlišné role; zásadní výsledky potřebují obojí.
• Jasné připsání zásluh: Laboratoře by měly dokumentovat relevantní předchozí práci, lidské přispěvatele i hranice úlohy samotného systému.
• Původ dat: Výzkumníci potřebují srozumitelné závazky o tom, zda a jak mohou jejich interakce přispívat ke zlepšování modelů.
• Prostor pro rozvahu: Vyřešit velký problém neznamená jen vyprodukovat odpověď ano–ne. Znamená to také doložit, co přesně bylo dokázáno, proč je to správně a kam výsledek zapadá v oboru.

Závěr

Oznámení OpenAI může být mezníkem ve výzkumu matematiky s pomocí AI. V den zveřejnění ale debatu neuzavřelo. Rozhodující bude, zda se tvrzenému důkazu dostane dlouhodobého nezávislého přijetí podle standardů matematické komunity a Clay Mathematics Institute. 1827

Ostrá reakce ukázala, proč na tomto postupu záleží. S tím, jak AI proniká do výzkumu s vysokými sázkami, nebude důvěra záviset jen na tom, co systémy dokážou objevit, ale také na tom, zda lze jejich objevy ověřit, vysvětlit a férově připsat zásluhy.