Průlom v Navierových-Stokesových rovnicích pomocí AI vyvolal spor o autorství mezi OpenAI a výzkumníky z Anthropic

Spor o jeden z nejslavnějších nevyřešených problémů v matematice vypukl v úterý poté, co matematik z NYU Tristan Buckmaster zveřejnil prohlášení, v němž obvinil OpenAI, že se snaží přivlastnit si zásluhy za práci vycházející z jeho vlastního výzkumu a že na něj vyvíjela nátlak, aby kvůli vazbám na konkurenční společnost zabývající se umělou inteligencí vyřadil svého spolupracovníka z autorství.

Matematika

Buckmaster a Levent Alpöge, matematik zaměstnaný ve společnosti Anthropic, strávili zhruba rok využíváním nástrojů AI k rozšíření výzkumného programu, jehož průkopníky byli Diego Córdoba a Luis Martínez-Zoroa. Jejich práce, zveřejněná v pondělí pozdě večer spolu s formálním ověřením v asistentu důkazů Lean, prokázala, že několik rovnic proudění úzce souvisejících s Navierovými-Stokesovými rovnicemi — včetně 3D nestlačitelných Eulerových rovnic — může v konečném čase vyvinout singularity při hladkém vynucení. Držitel Fieldsovy medaile Terence Tao označil výsledky za „pozoruhodný úspěch“ a uvedl, že nevidí „žádnou zásadní překážku“ v rozšíření těchto metod na úplné Navierovy-Stokesovy rovnice.newscientist+2

Navierovy-Stokesovy rovnice, které popisují pohyb tekutin, jsou jedním ze sedmi problémů Ceny tisíciletí definovaných Clayovým matematickým ústavem, přičemž každý z nich je spojen s odměnou 1 milion dolarů. Matematici se již dvě století snaží určit, zda řešení těchto rovnic vždy zůstávají hladká, nebo zda mohou explodovat do singularit.scientificamerican

Spor

Podle Buckmasterova veřejného prohlášení se zvěsti o jeho pokroku a pokroku Alpögeho dostaly k OpenAI kolem 3. září. O několik dní později mu vědec z OpenAI Sébastien Bubeck řekl, že interní model vytvořil zhruba stostránkový důkaz rozšiřující výsledek na úplné vynucené Navierovy-Stokesovy rovnice. Buckmaster tvrdí, že úsilí společnosti začalo až poté, co se dozvěděla o jeho práci, a že následovalo stejný úzký technický přístup — zaměřený na člen „vynucení“ ve formálním zadání Clayova problému —, který on a Alpöge v tichosti sledovali.officechai+1

Buckmaster uvádí, že Bubeck dvakrát naléhal na vyloučení Alpögeho z autorství, přičemž jako komplikaci uváděl jeho zaměstnání v Anthropic. Když Buckmaster řekl, že půjde s věcí na veřejnost, tvrdí, že Bubeck odpověděl: „Proč bys ničil svou kariéru?“ Také říká, že se ptal, zda byl model OpenAI trénován na jeho soukromých datech ze sezení v Codexu, která obsahovala koncepty důkazů. Tvrdí, že nedostal jasnou odpověď.scientificamerican+1

Bubeck reagoval na síti X, kde obvinění označil za „falešná a pobuřující“ a uvedl, že jednal „v souladu s akademickými normami“. Přislíbil podrobnější prohlášení.officechai

Co zůstává nevyřešeno

OpenAI tvrzený důkaz Navierových-Stokesových rovnic nebyl zveřejněn ani ověřen externími matematiky. Dokonce i ověřené výsledky Buckmastera a Alpögeho se zabývají vynucenými verzemi souvisejících rovnic, nikoliv nevynuceným problémem Navierových-Stokesových rovnic, jak jej interpretuje většina odborníků v rámci Ceny tisíciletí. David Silvester z University of Manchester poznamenal, že současná práce může být přesto dostatečná k získání ceny, zatímco Camilla Nobili z University of Surrey varovala, že rozšíření na úplné Navierovy-Stokesovy rovnice bude vyžadovat víc než jen prosté zopakování stejné techniky.glitchwire+3

„V aplikacích, kde se Navierovy-Stokesovy rovnice používají, se kvůli tomuto výsledku nic nezmění,“ řekl Silvester. „Upřímně řečeno, je to matematická drobnost.“ Větší otázka — zda konkurenční laboratoře AI naruší normy matematického objevování — se může ukázat jako těžší k vyřešení než samotné rovnice.newscientist