OpenAI objavio stotine matematičkih rješenja i šokirao naučnike

OpenAI, kompanija koja stoji iza ChatGPT-ja, objavio je stotine matematičkih radova s potpunim ili djelimičnim rješenjima problema koje naučnici godinama nisu uspijevali riješiti. 

Rezultati su izazvali snažne reakcije u matematičkoj zajednici i otvorili raspravu o tome koliko će umjetna inteligencija promijeniti naučna istraživanja.

NOVI HIR IZ BIJELE KUĆETrump: Neprijatelj je svako ko koristi termin AI umjesto superinteligencija

Razmjere ovog razvoja pojedini su opisali izrazom „matematička apokalipsa“. Kompanija je prvobitno objavila 722 rada, raspoređena u 372 grupe povezanih rezultata, koje je izradio interni model umjetne inteligencije koji još nije dostupan javnosti. Nakon što su uočene greške, tri rada su povučena, a u još 14 izvršene su ispravke.

Od zadataka za učenike do problema vrhunskih matematičara

Brzina napretka posebno je iznenadila istraživače. Timothy Gowers, profesor matematike na Univerzitetu Cambridge i Collège de Franceu, rekao je za Sky News da je razvoj umjetne inteligencije u ovoj oblasti izuzetno brz.

- U vrlo smo neobičnoj situaciji. Vidimo tsunami, još smo na plaži, vidimo ga, ali još nije sasvim stigao do nas, kazao je Gowers.

Među objavljenim rezultatima nalaze se istraživanja iz teorije brojeva, geometrije, matematičke fizike i teorijskog računarstva. Jedan od njih odnosi se na hipotezu Unique Games, važan problem koji je decenijama predmet istraživanja. Model je ponudio dokaz, ali njegovu ispravnost tek treba detaljno potvrditi.

Američki matematičar Scott Aaronson upozorio je da istraživači još nisu uspjeli temeljito razumjeti većinu novih dokaza. Posebno je zanimljivo što se neki rezultati odnose na probleme kojima su pojedini naučnici posvetili veliki dio svoje karijere.

Veliki broj rješenja ne znači da su sva tačna

Uprkos impresivnim rezultatima, ključno pitanje ostaje njihova pouzdanost. Prema objavljenim podacima, oko 42 posto glavnih rezultata ima formalizirane dokaze u sistemu Lean, koji omogućava računarsku provjeru matematičkih tvrdnji.

Ipak, potrebno je provjeriti i da li takav dokaz zaista potvrđuje izvorni matematički problem. Povlačenje tri rada zbog greške koja je utjecala i na dva povezana istraživanja dodatno je pokazalo zašto je nezavisna provjera neophodna.

Među naučnicima koje su rezultati posebno pogodili je francuski matematičar Hugo Duminil-Copin, dobitnik Fieldsove medalje iz 2022. godine, jednog od najprestižnijih priznanja u matematici.

Prema pisanju lista Le Monde, Duminil-Copin kazao je da je plakao nakon što je saznao za nove rezultate. Šesnaest problema kojima se OpenAI bavio direktno je povezano s njegovim istraživanjima.

- Uništili su moje područje istraživanja, rekao je tokom videokonferencije.

Prema njegovim riječima, umjetna inteligencija u jednom slučaju proizvela je 13 radova koji obuhvataju različite faze istraživačkog programa za koji bi matematičarima inače bile potrebne godine rada.

Duminil-Copin strahuje da bi ovakav razvoj mogao obeshrabriti mlade ljude da se bave matematikom, ali i navesti istraživače da skrivaju svoje ideje kako ih tehnološke kompanije ne bi preduhitrile.

Dio matematičara traži prekid saradnje

Objava je izazvala i neslaganja unutar naučne zajednice. Udruženje Association for Human Mathematics pozvalo je matematičare da prekinu saradnju s OpenAI-jem, ocjenjujući da masovno objavljivanje rezultata nije nužno pokazatelj kvalitetnog naučnog rada.

Prema stavu ovog udruženja, istraživanja bi trebala biti usmjerena na razumijevanje i tumačenje rezultata, a ne samo na njihovu proizvodnju.

Scott Aaronson, s druge strane, smatra da nije realno očekivati od kompanija koje razvijaju umjetnu inteligenciju da izbjegavaju rješavanje otvorenih matematičkih problema. Ipak, naglašava da naučna zajednica ima pravo tražiti veću transparentnost i odgovornost.

Šta ovo znači za budućnost nauke?

Najnovija objava dolazi nakon što je OpenAI u septembru predstavio predloženi dokaz povezan s Navier-Stokesovim jednačinama, koje opisuju kretanje tečnosti i gasova. Riječ je o jednom od sedam problema milenija za čije je rješenje Clay Mathematics Institute predvidio nagradu od milion dolara.

Ni taj rezultat ni najnovija zbirka radova ne znače da je neki od preostalih problema milenija zvanično riješen.

OpenAI tvrdi da želi ubrzati naučna otkrića i pomoći istraživačima da dođu do novih saznanja. Kompanija je radove objavila na platformi GitHub, uz mogućnost naknadnih ispravki i ažuriranja.

Ipak, glavno pitanje više nije samo može li umjetna inteligencija ponuditi rješenja koja su ljudima dugo izmicala. Sve je važnije i kako će naučnici provjeravati, razumijevati i koristiti rezultate koje modeli mogu proizvesti mnogo brže nego što ih ljudi mogu proučiti.