OpenAI a Anthropic tvrdí, že AI vyvrátila výpočetní teorii

Společnost OpenAI v pondělí 26. října oznámila, že její interní modely umělé inteligence přinesly tři výsledky. Prvním je důkaz domněnky o lokálním vyhlazování v každé dimenzi. Druhým je vyvrácení hypotézy o exponenciálním čase (ETH). Třetím je rigorózní důkaz existence interagujících kvantových teorií pole, včetně kvantové chromodynamiky (QCD), uvádí oznámení společnosti. OpenAI popsala rukopisy jako „formu surových výzkumných dat“. Požádala externí experty, aby působili jako „pastýři“ výsledků, a každá oblast přistupuje ke zveřejnění jiným způsobem. Scientific American uvedl, že odborníci jsou „stále v šoku“, ale že zveřejnění je již nyní kontroverzní. Několik hodin po oznámení zveřejnil Anthropic vlastní vyvrácení ETH.openai.com+1

Tři tvrzení, tři plány zveřejnění

V matematice navrhl Christopher Sogge domněnku o lokálním vyhlazování v roce 1991. OpenAI tvrdí, že její důkaz v každé dimenzi také řeší domněnky Kakeya a Stein v libovolné dimenzi. Společnost zveřejnila zápis modelu a formální důkaz v jazyce Lean na GitHubu, uvedla OpenAI. Alex Iosevich, matematik z University of Rochester, řekl Al Džazíře, že zpráva byla „zpočátku šokem“. Označil to za „historický vývoj“.aljazeera.com+1

Pokud jde o ETH, OpenAI uvádí, že její systém našel vyvrácení 16. října a výsledek byl formalizován v Lean 17. října. Russell Impagliazzo a Ramamohan Paturi z UC San Diego, kteří hypotézu poprvé navrhli, vedou přezkum společně s Ryanem Williamsem z MIT. OpenAI se také zavázala financovat konferenci o výsledku, uvedla společnost. Důkaz poskytuje algoritmus pro 3-SAT, který běží o něco rychleji než v exponenciálním čase. Nutně to neřeší problém P versus NP, poznamenal Scientific American.openai.com+1

Fyzikální výsledek pokrývá část existence problému Yang-Mills Millennium Prize, nikoli však hmotnostní mezeru. Skupina vedená nositelem Nobelovy ceny Davidem Grossem se rozhodla materiály vytvořené AI zadržet, zatímco sama sepisuje práci, uvádí OpenAI.openai.com

Kontroverze a konkurenční důkaz

Podle Scientific American jde zveřejnění proti doporučením Poradní skupiny pro matematiku a umělou inteligenci (AGMAI), expertního panelu, který sama OpenAI zorganizovala. Model je stále proprietární a jeho výzvy a výstupy myšlenkového řetězce nebyly zveřejněny. AGMAI vyzvala k publikování článku o Yang-Mills s tím, že „neexistuje žádný vědecký důvod pro další odkládání zveřejnění“. Stejná zpráva uvádí, že zaměstnanec Anthropic a matematik z Northwestern pracovali na stejném problému Yang-Mills veřejně s pomocí AI.scientificamerican.com

Pozdě v pondělí Anthropic publikoval článek „A 2^o(n) Time Algorithm for 3-SAT“, který je připisován modelu Claude. Výzkumník Anthropic Levent Alpöge uvedl, že interní model našel základní algoritmus 16. října „bez jakéhokoli lidského vstupu“, informoval OfficeChai. Žádné z tvrzení laboratoří nebylo recenzováno. Prozatím je na autorech samotné hypotézy, aby rozhodli, zda tvrzené vyvrácení obstojí.officechai.com