Tvorcovia ChatGPT oznámili prelomové riešenia dlhoročných problémov v informatike, matematike a časticovej fyzike. Tentoraz však laboratórium nezvolilo chaotický únik surových dát, ale privolalo na pomoc samotných autorov pôvodných teórií.
Vedecký svet zažíva ďalšie zemetrasenie poháňané umelou inteligenciou. Len niekoľko týždňov po tom, čo vývojári z laboratórií okolo generálneho riaditeľa, ktorým je Sam Altman, zverejnili stovky výstupov z pokročilých matematických modelov, prichádza spoločnosť s ďalším zásadným oznámením. Spoločnosť OpenAI ohlásila trojicu významných vedeckých objavov, ktoré zasahujú do základov teoretickej informatiky, čistej matematiky aj teoretickej fyziky.
Namiesto nečakaného zaplavenia vedeckej obce stovkami nepreverených preprintov tentoraz tvorcovia ChatGPT vsadili na spoluprácu s poprednými akademickými osobnosťami. Vedecká komunita totiž v uplynulých týždňoch hlasno protestovala proti praxi, kedy technologické korporácie publikujú záplavu neprehľadných materiálov bez kontextu a nechávajú akademikov tápať v tom, čo je skutočný objav a čo len halucinácia neurónovej siete. Výsledky pokrývajú vyvrátenie základnej hypotézy v teoretickej informatike, matematický dôkaz vlnových rovníc a teoretický prielom v kvantovej fyzike.
Vyvrátenie hypotézy, na ktorej stála zložitosť algoritmov
Najhmatateľnejší otras v informatike vyvolalo tvrdenie, že padla takzvaná hypotéza exponenciálneho času, známa pod skratkou ETH z anglického Exponential Time Hypothesis. Túto domnienku sformulovali informatici Russell Impagliazzo a Ramamohan Paturi ešte v roku 1999 a desaťročia slúžila ako kľúčový predpoklad pri určovaní toho, ako rýchlo dokážu počítače riešiť zložité výpočtové problémy typu 3-SAT. Všeobecne sa predpokladalo, že tieto zložité úlohy nie je možné vyriešiť v subexponenciálnom čase, teda výrazne rýchlejšie než vyskúšaním všetkých možností.
Prečítaj si tiežRTX 5090 končia „vykuchané“ v čínskych AI serveroch
Video ukazuje hromadné rozoberanie grafík RTX 5090 v čínskej fabrike. Čipy z nich končia v AI serveroch, čo vysvetľuje vysoké ceny a nedostatok na trhu....
Podľa oficiálnej dokumentácie OpenAI však ich model odvodil deterministický algoritmus na riešenie a presné počítanie splniteľnosti formúl typu k-CNF v subexponenciálnom čase pri zachovaní polynomiálnych pamäťových nárokov. Ak sa dôkaz ukáže ako bezchybný, ide o prepísanie základných učebníc teórie výpočtovej zložitosti. OpenAI sa preto spojila priamo s pôvodnými autormi hypotézy Impagliazzom a Paturim, ku ktorým sa pridal aj Ryan Williams z prestížneho Massachusettského technologického inštitútu (MIT), aby výsledok nezávisle zanalyzovali a vysvetlili komunite.
Matematické vlnenie a záhady kvantových polí
V oblasti čistej matematiky systém predložil formálny dôkaz hypotézy lokálneho vyhladzovania pre euklidovské vlnové rovnice vo všetkých priestorových dimenziách od dvoch vyššie. Tento aparát priamo prináša vyriešenie Kakeyovej domnienky a Steinových reštrikčných odhadov. Pikantnosťou zostáva, že len nedávno získala profesorka Hong Wang prestížnu Fieldsovu medailu za vyriešenie Kakeyovej domnienky v trojrozmernom priestore, zatiaľ čo umelá inteligencia teraz tvrdí, že predložila univerzálne riešenie pre všetky dimenzie naraz.
Prečítaj si tiežMalý vtáčí mozog? Podľa vedcov sa vrana rozhoduje rýchlejšie než človek
Vizuálne rozhodovanie vtákov funguje dvakrát rýchlejšie než u primátov. Zistite, ako kompaktný mozog vrany spracováva zrakové vnemy bez straty presnosti....
Tretí ohlásený pilier cieli do teoretickej fyziky, kde malo dôjsť k preukázaniu matematicky rigoróznej existencie interagujúcich kalibračných kvantových teórií poľa so spinormi v štyroch rozmeroch. Riešenie zahŕňa kvantovú chromodynamiku aj zjednotené rozšírenie Štandardného modelu časticovej fyziky. Na túto fyzikálnu analýzu dohliada vedecká skupina, ktorú vedie nositeľ Nobelovej ceny David Gross spoločne s fyzikmi Michaelom Douglasom, Arthurom Jaffem, Igorom Klebanovom a Nikitom Nekrasovom.
Nový model vedeckej spolupráce a dostupnosť materiálov
Spôsob, akým OpenAI materiály prezentuje, odráža snahu otupiť kritiku zo strany akademických inštitúcií. Spoločnosť čelila odporu poradných zborov, ktorým prekážalo selektívne prideľovanie prednostného prístupu vybraným jednotlivcom. Vedecká rada AGMAI výslovne odporučila, aby laboratóriá neprivilegovali úzke skupiny vedcov, ale radšej zverejňovali formálne overiteľné kódy priamo vo verejných archívoch spoločne s grantovou podporou pre výskumníkov, ktorí ich analýze venujú mesiace práce.
Prečítaj si tiežPrídu lietajúce autá Tesla na trh, alebo je to bublina?
Sú lietajúce autá od Tesly zlomom v doprave, alebo len marketingom? Pozreli sme sa na stav vzdušných taxíkov a reálne plány na výrobu....
Pokiaľ ide o dostupnosť samotných zistení, verejnosť aj akademická obec dostávajú rôzne časti výstupov postupne. Kým kompletný fyzikálny preprint ešte čaká na záverečné spracovanie skupiny okolo Davida Grossa, materiály k vyvráteniu hypotézy exponenciálneho času spolu s formálnym dôkazom v jazyku Lean sú už voľne dostupné v repozitári OpenAI na GitHube. Výskumníci po celom svete tak môžu začať s nezávislou previerkou jednotlivých riadkov matematického zápisu.
Odklad zverejnenia fyzikálnych dôkazov kritizuje nezávislá poradná skupina matematikov AGMAI, ktorá vo vyhlásení z 26. októbra vyzvala OpenAI, aby všetkým výskumníkom bezodkladne sprístupnila pôvodné výstupy umelej inteligencie vrátane formálnych dôkazov. Argumentuje tým, že OpenAI už podľa vlastných slov dokončila formalizáciu dôkazu Yangovej-Millsovej teórie v systéme Lean, takže ďalšie zadržiavanie materiálov nemá vedecké opodstatnenie a iba zvýhodňuje vybranú skupinu vedcov, ktorá k nim získala prednostný prístup.
