„OpenAI“ užsimena apie antrąjį „Millennium“ premijos matematikos proveržį

Praėjus mažiau nei dviem savaitėms po pareiškimo apie Navjė ir Stokso lygčių egzistavimo ir glotnumo problemos išsprendimą, „OpenAI“ užsiminė, kad gali būti arti dar vienos iš septynių „Millennium“ premijos matematikos problemų įveikimo, o spėlionės krypsta į Hodžo hipotezę. Šis žingsnis žengtas bendrovei susidūrus su organizuotu matematikos bendruomenės pasipriešinimu, įskaitant 25 Fildso premijos laureatų pasirašytą laišką, įspėjantį apie „rimtą neatitikimą“ tarp DI įmonių ir disciplinos, kurią jos keičia.

Navjė ir Stokso lygčių pasekmės

Rugsėjo 8 d. „OpenAI“ paskelbė, kad maždaug 10 000 koordinuotų DI agentų, varomų neišleisto vidinio modelio, pateikė 166 puslapių įrodymą ir „Lean“ formalizaciją, rodančią, kad Navjė ir Stokso lygtys gali „sprogti“ – sukeldamos begalinį skysčio greitį iš glotnių pradinių sąlygų – per 88 valandų skaičiavimą, prasidėjusį rugsėjo 1 d. Pranešimas iškart sulaukė kaltinimų iš NYU matematiko Tristano Buckmasterio, kuris teigė, kad „OpenAI“ paskubėjo spręsti problemą sužinojusi, jog jis ir „Anthropic“ tyrėjas Leventas Alpöge daro pažangą naudodami panašų metodą. „OpenAI“ neigė šiuos teiginius, sakydama, kad „kategoriškai“ neįmanoma, jog Buckmasterio darbas būtų paveikęs jos vidinį modelį.nytimes+3

Ginčas greitai išaugo. Rugsėjo 11 d. Terence'as Tao ir 24 kiti Fildso premijos laureatai paskelbė deklaraciją „Rimtas DI neatitikimas matematikoje“, teigdami, kad DI įmonės garsias problemas vertina kaip etalonus, kuriuos reikia įveikti jėga, o ne kaip priemones tikram supratimui pasiekti. „Dažnai šie sprendimai skelbiami skubotai, nepaliekant laiko tinkamam aprašymui, naujų metodų ir idėjų išskyrimui bei nuorodoms į ankstesnius kitų darbus“, – teigiama laiške. Nuo to laiko jį parėmė beveik 6 000 papildomų matematikų.science+2

Atskirai daugiau nei 1 000 matematikų pasirašė atvirą laišką, prieštaraujantį planuojamam „matematonui“ Kalifornijos technologijos institute (Caltech), kuriame tyrėjai būtų poruojami su „OpenAI“ ir „Anthropic“ DI skaičiavimo kreditais, vadindami tai korporatyviniu pradedančiųjų mokslininkų išnaudojimu. „OpenAI“ vėliau pasitraukė iš renginio.science

Antroji „Millennium“ problema

Net kol matematikai nagrinėja sudėtingą Navjė ir Stokso lygčių įrodymą, „OpenAI“ signalizuoja, kad gali būti arti antrosios „Millennium“ premijos problemos sprendimo, praneša „The Information“ ir „Science“. Bendrovė nepatvirtino, kurią problemą taikosi, tačiau spėlionės susitelkė į Hodžo hipotezę – algebrinės geometrijos problemą, kuri yra tokia abstrakti, kad net jos formulavimui reikia magistro lygio žinių. Gandai taip pat nurodo Bircho ir Swinnertono-Dyerio hipotezę kaip galimą „OpenAI“ ar „Anthropic“ taikinį.theinformation+4

Laikas sulaukė aštrios kritikos. Javieras Gómez-Serrano iš Browno universiteto, rugsėjo 11 d. skaitęs paskaitą apie Navjė ir Stokso lygčių įrodymą Harvarde, apibūdino 166 puslapių dokumentą kaip „nesuprantamą“ ir teigė, kad matematikos bendruomenė išgyvena „egzistencinę krizę“. Sergejus Gukovas iš „Caltech“ šią akimirką palygino su „žemės drebėjimu“.science

Ar kitas „OpenAI“ pareiškimas, jei jis įvyks, pagilins atskirtį su matematikais, ar taps lūžio tašku bendradarbiavimo link, lieka atviras klausimas. Kaip rašė Fildso premijos laureatai: iššūkis, su kuriuo dabar susiduria matematika, „rodo problemas, su kuriomis gali susidurti visa žmonija: kaip užtikrinti, kad DI keičiant darbo būdą, nepamestume iš akių to, ką tas darbas turėjo pasiekti iš pat pradžių“.terrytao.wordpress