Lilith.
⌕
Redakční ilustrace: Oznámení OpenAI o vyřešení Navier-Stokesových rovnic zastiňuje etický konflikt
Ilustrace Lilith · redakční remix

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.