25 Fildso medalio laureatų įspėja, kad dirbtinio intelekto skelbiami matematikos proveržiai kelia grėsmę disciplinai

Rugsėjo 8 d. „OpenAI“ paskelbė, kad neišleistas vidinis DI modelis išsprendė Navier-Stokes egzistavimo ir glotnumo problemą, kuri yra viena iš septynių tūkstantmečio matematikos problemų, koordinuodamas maždaug 10 000 DI agentų per 88 valandas. Šis teiginys, kuriam dar reikia nepriklausomo patvirtinimo, sukėlė aštrų ginčą dėl autorystės, duomenų privatumo ir DI vaidmens moksliniuose tyrimuose.venturebeat+2

Įrodymas ir ginčas

Navier-Stokes lygtys aprašo skysčių, pavyzdžiui, vandens ir oro, judėjimą ir yra šiuolaikinio mokslo bei inžinerijos pagrindas. „OpenAI“ teigė, kad jų modelis parodė, jog lygtys gali sukurti singuliarumą, greičio šuolį, per baigtinį laiką, o tai yra klausimas, dešimtmečius kankinęs matematikus. Bendrovė teigė pradėjusi šias pastangas išgirdusi gandus, kad su konkurentais „Anthropic“ susiję tyrėjai yra arti sprendimo.galaxy+3

Likus kelioms valandoms iki „OpenAI“ pranešimo, NYU matematikas Tristanas Buckmasteris paskelbė pareiškimą, atskleidžiantį, kad jis ir „Anthropic“ tyrėjas Leventas Alpöge daugiau nei metus dirbo prie tos pačios problemos naudodami kelis didelius kalbų modelius, įskaitant „OpenAI“ „Codex“. Buckmasteris teigė, kad susisiekus su „OpenAI“ dėl savo darbo, bendrovės tyrėjas Sebastienas Bubeckas pakvietė jį bendradarbiauti, su sąlyga, kad Alpöge vardas bus pašalintas dėl jo ryšio su „Anthropic“. Kai Buckmasteris atsisakė, Bubeckas tariamai paklausė: „Kodėl norėtum sugriauti savo karjerą?“ „OpenAI“ šį teiginį paneigė.singularityhub+4

„OpenAI“ taip pat pripažino, kad negali visiškai atmesti galimybės, jog vartotojų duomenys padėjo apmokyti jų modelius. „Nors tai mažai tikėtina, negalime atmesti galimybės, kad nuasmeninti duomenys, gauti naudojantis mūsų produktais, padėjo patobulinti mūsų modelius“, – teigė bendrovė.venturebeat+1

Matematikų atsakas

Rugsėjo 11 d. dvidešimt penki Fildso medalio laureatai, įskaitant Terence'ą Tao, pasirašė atvirą laišką, įspėjantį, kad DI įmonių skuba skelbti apie matematinius proveržius kelia grėsmę disciplinos pamatams. Pasirašiusieji teigė, kad skubotai paskelbti sprendimai, be tinkamo aprašymo ar ankstesnių darbų nurodymo, kenkia bendradarbiavimo kultūrai, kuri palaiko matematiką. „Be norinčių matematikų, kurie turi rūpintis jų plėtra ir integravimu į matematinį kanoną, DI sugalvotos idėjos niekada netaptų visiškai gyvos“, – rašoma laiške.techcrunch+1

Tao atskirai įspėjo, kad jei DI įmonės „šoks ant gandų apie perspektyvų darbą ir mes milijonus dolerių bandydamos aplenkti konkurentus, tyrėjai gali nebesidalinti jokiais perspektyviais tyrimais su platesne bendruomene“. „OpenAI“ šią savaitę atšaukė savo paramą matematikos renginiui „Caltech“ po ten dirbančių tyrėjų kritikos.singularityhub+1

Platesnės pasekmės

Šis epizodas iškėlė klausimų, kurie peržengia matematikos ribas. „Clay“ matematikos institutas vis dar nurodo Navier-Stokes problemą kaip „aktyvią“, o ne „išspręstą“, ir pagal jo taisykles joks prizas negali būti įteiktas anksčiau nei praėjus dvejiems metams po publikacijos. „OpenAI“ pareiškė, kad nepretenduos į 1 milijono dolerių prizą.theweek+2

Ginčas kyla tuo metu, kai „OpenAI“ ir „Anthropic“ ruošiasi planuojamiems viešiems akcijų siūlymams, todėl abi bendrovės yra suinteresuotos pademonstruoti savo modelių galimybes. Kaip rašė Fildso medalio laureatai: „Problemos, su kuriomis dabar susiduria matematikos bendruomenė, yra panašios į problemas, su kuriomis susiduria kitos mokslo ir kūrybos profesijos, ir rodo problemas, su kuriomis gali susidurti visa žmonija“.galaxy+1