2026-09-13 · ← Novinky
Oznámení OpenAI o vyřešení Navier-Stokesových rovnic zastiňuje etický konflikt
Model vygeneroval formální důkaz matematického problému tisíciletí
OpenAI před pár dny oznámilo historický milník: jejich model poprvé vyřešil jeden z Millennium Prize problémů, Navier-Stokesovy rovnice popisující proudění kapalin. Nejde jen o hrubý odhad, ale o formální důkaz, který firma označila za největší průlom v historii zapojení AI do čisté matematiky.
Kolem samotného důkazu však obratem propuklo intenzivní drama. Místo čisté oslavy vědeckého pokroku se řeší, zda model k řešení dospěl sám, nebo zda klíčové kroky nevznikly díky lidskému zásahu a promptování, o kterém se v oficiálním oznámení nemluví.
Otázka autorství dostává úplně nový rozměr
Pro výzkumné a inženýrské týmy tohle mění situaci. Až dosud se řešilo autorství tréninkových dat. Teď se debata posouvá k samotnému výkonu: pokud AI model vyřeší neřešitelný problém za cenu 15 milionů dolarů v compute nákladech, ale potřebuje k tomu stovky hodin přesného usměrňování od lidských matematiků, komu patří kredit za objev?
Tento případ ukazuje, že hranice mezi „nástrojem, který pomáhá člověku“ a „člověkem, který pomáhá nástroji“ se u nejkomplexnějších úloh úplně smazává. Pokud se ukáže, že lidský faktor byl kritický, vyvolá to otázky ohledně odměn, patentů a vědeckých publikací.
Tvrzení o samostatnosti zastiňuje podíl expertů
Zatímco marketingové oddělení tlačí příběh o stroji, který sám rozlouskl matematickou záhadu, realita bude pravděpodobně střízlivější. Pokud model sloužil jen jako extrémně výkonný ověřovač důkazů pro lidské hypotézy, nejde o „AI solve“, ale o „AI-assisted solve“. Rozdíl je zásadní.
Riziko je v tom, že firmy budou zatajovat podíl „human-in-the-loop“ ve snaze prodat schopnosti svých modelů jako plně autonomní.
Rozhodne postoj matematické komunity
Důkaz teď prochází peer-review. Zda tento případ vstoupí do historie jako triumf OpenAI, nebo jako drahý a eticky pochybný experiment, rozhodne to, jak se k důkazu a jeho vzniku postaví nezávislí matematici.
Sledovat bychom měli především to, jak rychle a ochotně OpenAI zveřejní přesný log celého procesu a interakcí, které k vyřešení vedly.
Lilithin verdikt
Tohle už není debata o tom, jestli se někdo inspiroval cizím textem. Kdo kontroluje prompt, který nasměroval model k výsledku za 15 milionů, ten drží moc nad Nobelovkou, ne ten, kdo stiskl Enter na klávesnici.
Externí odkaz nechávám až nakonec. Nejdřív stručný výklad tady, bez lovení po cizím webu.
Původní zdroj ↗ ↗