Matematický ústav Clay se vyjádřil k tvrzení OpenAI o Navierových-Stokesových rovnicích

Společnost OpenAI 8. září oznámila, že dosud nezveřejněný interní model AI s využitím přibližně 10 000 autonomních agentů během 88 hodin vytvořil důkaz, že třírozměrné Navierovy-Stokesovy rovnice mohou v konečném čase vyvinout singularitu. Tento výsledek by v případě potvrzení vyřešil jeden ze šesti zbývajících problémů milénia, které v roce 2000 vyhlásil Matematický ústav Clay. Oznámení však zastiňuje vyhrocující se spor s matematikem Tristanem Buckmasterem z Newyorské univerzity a výzkumníkem Leventem Alpögem ze společnosti Anthropic o autorství výzkumu a možném využití soukromých dat.nature+2

Údajný průlom v dynamice tekutin

Navierovy-Stokesovy rovnice popisují pohyb tekutin, jako je voda a vzduch, a otázka, zda jejich řešení zůstávají vždy hladká, nebo zda mohou "kolabovat" a vyvolat fyzikálně nemožné nekonečné rychlosti, zůstávala otevřená po celá desetiletí. OpenAI uvádí, že její důkaz demonstruje, jak původně hladká tekutina v klidu může při hladkém vnějším působení takovou singularitu vyvinout. Výsledek byl ověřen pomocí formálního jazyka pro dokazování vět Lean. Podle vedení OpenAI během tiskového hovoru stály výpočetní náklady na tento projekt miliony dolarů.axios+3

Zpravodajský server Scientific American společnosti S&P Global Inc. ↗ 0.07% uvedl, že ověření v systému Lean prakticky zaručuje správnost důkazu, ačkoli širší matematická komunita ještě nedokončila recenzní řízení. Matematický ústav Clay 11. září prohlásil, že sdílí nadšení, zatímco se výsledek analyzuje a zkoumá, přičemž se zdržel prohlášení problému za definitivně vyřešený.scientificamerican+1

Spor o autorství

Tento úspěch přichází v době obvinění ze strany Buckmastera, že OpenAI urychlila své práce poté, co se dozvěděla o souvisejícím výzkumu, který s Alpögem prováděli částečně s využitím nástroje Codex od OpenAI. Buckmaster a Alpöge zveřejnili své vlastní výsledky 7. září, kdy prokázali vznik singularity v konečném čase u souvisejících, ale zjednodušených rovnic tekutin. Podle zprávy serveru TechRepublic Buckmaster tvrdí, že mu OpenAI nabídla výhradní autorství na řešení Navierových-Stokesových rovnic pod podmínkou, že bude odstraněno jméno Alpögeho. Toto tvrzení výzkumník OpenAI Sébastien Bubeck popírá.techrepublic+3

Společnost OpenAI uvedla, že její výzkumníci a agenti neviděli žádnou část jejich práce žádným způsobem až do jejího veřejného publikování a že k vyřešení tohoto problému nebyly použity žádné konkrétní uživatelské údaje. Společnost však přiznala, že nemůže vyloučit, že k vylepšení modelů pomohla anonymizovaná data získaná z používání jejích produktů. Buckmaster veřejně označil Bubeckovo vysvětlení za zcela nepravdivé a Bubeck se podle serveru The Next Web následně omluvil za poznámku, kterou během jejich komunikace pronesl.thenextweb+4

Širší dopady

Spor vyvolal ohlas v celé matematické komunitě. Otevřený dopis podepsaný předními matematiky kritizuje firmy vyvíjející umělou inteligenci za to, že se spěšně snaží řešit slavné problémy bez řádné citace autorů. Držitel Fieldsovy medaile Deng Yu na sociálních sítích zavtipkoval, že pokud AI vyřeší všechny matematické problémy, půjde domů psát romány yuri, přičemž zároveň varoval, že AI vytvořila v matematických kruzích atmosféru neklidu a netrpělivosti. Oficiální odpověď Matematického ústavu Clay sice vyzdvihla potenciál pro nové lidské poznání, o nároku na finanční odměnu se však vůbec nezmínila.thenews+1