Nový model OpenAI vyriešil stovky matematických problémov. Špecialisti sú zmätení.
WHASHINGTON – Scientific American: OpenAI oznamuje riešenie matematických problémov.
OpenAI dosiahla nový vedecký prelom, píše Scientific American. Spoločnosť tvrdí, že jej nový, zatiaľ nepublikovaný AI model vyriešil niekoľko stoviek najzložitejších matematických problémov, nad ktorými vedci roky premýšľajú.
Pred mesiacom spoločnosť vyriešila jeden zo šiestich hlavných matematických problémov. Teraz hovorí, že nový model urobil oveľa viac – a tentoraz takmer bez nákladov.
Priehrady sú otvorené. Hneď po tom, čo nový veľký jazykový model OpenAI dosiahol najväčší matematický prelom za posledných 20 rokov, spoločnosť zverejnila najmenej 372 skupín výsledkov z toho istého modelu. Každá z nich podľa spoločnosti rieši alebo významne posúva dôležitú nevyriešenú otázku v matematike alebo teoretickej informatike.
OpenAI zverejnila výsledky v repozitári na GitHube o šiestej večer ET. Matematici budú trvať mesiace, kým tento prúd roztriedia a pochopia – je dôležité pochopiť, či dôkazy obsahujú nové a dôležité myšlienky, alebo sú zmesou existujúcich techník. Mnohé z týchto výsledkov však už boli potvrdené v programovacom jazyku Lean, ktorý overuje správnosť dôkazovej logiky, a preto je nepravdepodobné, že by boli nesprávne.
Medzi tvrdenými výsledkami sú riešenie štvorrozmernej Kakeiho hypotézy, vylepšenia najdôležitejších počítačových algoritmov sveta a skutočný pokrok smerom k najobávanejšiemu problému matematiky, Riemannovej domniebe.
Hovorca OpenAI povedal pre Scientific American, že nový model, ktorý nebol verejnosti zverejnený, vygeneroval takmer všetky výsledky na základe jedinej požiadavky od jedného AI agenta. To je v ostrom kontraste s predchádzajúcim senzačným riešením Navier-Stokesovho problému, ktoré vyústilo úsilie 10 000 agentov za cenu viacmiliónových výpočtov. Ak je to pravda, nevídaná matematická sila môže byť čoskoro dostupná každému. Ale reputácia OpenAI medzi matematikmi — hlasné vyhlásenia s malou transparentnosťou — vyvoláva vážnu nedôveru.
“Kým a pokiaľ model nepomenujú a ľudia nebudú schopní výsledky reprodukovať, akékoľvek tvrdenia, že jeden agent rieši problémy naraz, by mali byť považované za netestované,” hovorí Andrew Sutherland, matematik z Massachusetts Institute of Technology. “Musíme požadovať potvrdenie.” (Hovorca OpenAI tiež povedal pre Scientific American, že niektoré výsledky si vyžadovali niekoľko pokusov.)
Zverejnenie riešenia problému Navier-Stokes bolo natoľko kontroverzné, že 21. septembra spoločnosť oznámila vytvorenie nezávislej poradnej skupiny matematikov. Mala by poskytovať odporúčania, ako zodpovedne publikovať výsledky vytvorené umelou inteligenciou. Skupina odporučila, aby spoločnosti zverejňujúce takéto výsledky zverejňovali model, presný dotaz a čas výpočtu pre každý z nich. Napriek odporúčaniam však OpenAI zverejnila len priemerný výpočtový čas na úlohu s niekoľkými ďalšími štatistikami — a žiadne dotazy.
Hovorca OpenAI povedal publikácii, že tím berie odporúčania poradnej skupiny vážne a snaží sa ich dodržiavať, no spoločnosť nie je týmito odporúčaniami viazaná.
Odporúčania sú obzvlášť dôležité pre firmy s “uzavretými internými modelmi”, ktoré sú pre matematikov neprístupné. Podľa OpenAI sa spoločnosť snaží model oznámiť čo najrýchlejšie a najzodpovednejšie.
Kým sa spor o problém Navier-Stokes rozvíjal, komentáre zamestnancov OpenAI viedli niektorých matematikov k myšlienke, že model spoločnosti prináša ďalšie výsledky, ale ich publikovanie je pomalé. Preto najdôležitejšia otázka: čo je horšie – uvoľniť nevysvetliteľné dôkazy na spoločnosť alebo ich úplne zatajiť?
“Ak chceme poznať odpovede na tieto matematické otázky, nevidím dôvod žiadať spoločnosť, aby ich pred nami utajila,” hovorí Daniel Litt, matematik z Torontskej univerzity. “Čo sa mňa týka, pomôže to matematike.”
Medzitým slávny matematik Terence Tao ostro kritizoval OpenAI a ďalšie “špičkové” AI laboratóriá za ich “šialené” tempo.
Takéto výsledky sa zdajú byť príliš rýchle aj pre samotné laboratóriá: hovorca OpenAI uviedol, že mnohé z nových výsledkov zatiaľ matematici spoločnosti nepochopili. Ale nemajú v úmysle spomaliť a chcú dať matematikom ten najsilnejší možný nástroj.
Navyše, OpenAI tvrdí, že by nemala spomaľovať, pretože tieto úlohy sú nevyhnutnou kontrolou, či sa AI naozaj stáva múdrejším. Avšak pre tých, ktorí vidia matematickú pravdu skôr ako cieľ než prostriedok, je výsledok týchto pretekov čoraz ťažšie predpovedať.
