Kompanija OpenAI, poznata po razvoju umjetne inteligencije, nedavno je objavila značajan broj matematičkih radova, nudeći rješenja za probleme koji su decenijama mučili matematičare. U okviru ove objave, predstavljeno je 722 rada, raspoređena u 372 grupe povezanih rezultata. Ova dostignuća su izazvala burne reakcije unutar matematičke zajednice, s nekima koji ih nazivaju “matematičkom apokalipsom”.
Kako se navodi, inicijalni modeli umjetne inteligencije koji su izradili ove radove još uvijek nisu dostupni javnosti. Nakon što su uočene neke greške, tri rada su povučena, dok su izvršene ispravke na još 14. Pojedini stručnjaci, poput profesora Timothyja Gowersa sa Univerziteta Cambridge, ukazali su na brzinu napretka ovog polja, ističući da se nalazimo u neobičnoj situaciji s potencijalno velikim posljedicama.
Primjeri radova obuhvataju teoriju brojeva, geometriju, matematičku fiziku i teorijsko računarstvo. Među njima se nalazi istraživanje vezano za hipotezu Unique Games, problem koji je dugo bio predmet istraživanja, a model je ponudio dokaz čija ispravnost tek treba biti potvrđena. Američki matematičar Scott Aaronson istaknuo je poteškoće u temeljnom razumijevanju novih dokaza, posebno onih koji se odnose na probleme kojima su se istraživači posvetili tokom godina.
Iako je impresivan broj objavljenih rješenja, ostaje pitanje njihove pouzdanosti. Oko 42 posto glavnih rezultata ima formalizirane dokaze u sistemu Lean, ali je potrebno provjeriti njihovu tačnost. Povlačenje radova zbog grešaka dodatno naglašava važnost neovisne verifikacije u ovom procesu.
Uzbuđenje i zabrinutost u matematičkoj zajednici dodatno su pojačani izjavama renomiranih stručnjaka poput Hugo Duminil-Copina, dobitnika Fieldsove medalje, koji se osjećao izgubiti zbog rješenja koja su se pojavila izvan njegovog istraživačkog polja. U njegovim riječima, OpenAI je “uništio njegovo područje istraživanja”, a strahuje se da bi ovakvi događaji mogli obeshrabriti mlade istraživače.
Ovaj razvoj također je doveo do nesuglasica unutar naučne zajednice. Udruženje Association for Human Mathematics apeliralo je na matematičare da prekinu saradnju s OpenAI-jem, ističući da masovno objavljivanje rezultata ne znači nužno kvalitetan naučni rad. Nasuprot tome, Aaronson smatra da je nerealno očekivati od tehnoloških kompanija da izbjegavaju rješavanje otvorenih matematičkih problema, ali ističe potrebu za većom transparentnošću.
Objava dolazi nakon što je OpenAI prethodno predstavio dokaz povezan s Navier-Stokesovim jednačinama, jednim od sedam problema milenija. OpenAI navodi da se njihova misija fokusira na ubrzavanje naučnih otkrića i doprinos istraživačima u sticanju novih saznanja. No, pobuđuje se sve veće pitanje kako će naučna zajednica provjeriti i razumjeti rezultate koje umjetna inteligencija može generirati brže nego ikada prije.
Bosanski.info
