Matematički podvig veka: Veštačka inteligencija rešila zagonetku koju čovek nije mogao od 1946. godine

Kompanija OpenAI objavila je veliko naučno dostignuće - njihov interni model veštačke inteligencije uspeo je da reši matematički problem koji je bio nerešiv skoro osam decenija.

Reč je o "problemu jediničnih rastojanja u ravni" (planar unit distance problem), koji je 1946. godine formulisao čuveni matematičar Pal Erdoš. Problem se bavi određivanjem maksimalnog broja parova tačaka koje se mogu nalaziti na tačno jediničnom međusobnom rastojanju u okviru dvodimenzionalne ravni.

Iako formulacija zvuči jednostavno, ovo pitanje je decenijama bilo izazov za generacije naučnika. Poslednji značajan pomak u postavljanju teorijskih granica ovog problema zabeležen je još 1984. godine.

Prema navodima iz OpenAI-ja, njihov model je uspeo da nadmaši tu granicu, predlažući potpuno novu kategoriju rasporeda tačaka koja vodi do preciznijeg rezultata nego što je Erdoš ikada predvideo.

Model nije bio posebno obučen za matematiku

Tanjug/AP/Michael Dwyer

Ono što ovaj uspeh čini još impresivnijim jeste činjenica da, prema tvrdnjama kompanije, ovaj AI model nije bio posebno obučen za rešavanje konkretnog problema, niti je bio specijalizovan isključivo za matematičke primene. Radi se o sistemu za zaključivanje opšte namene koji je do rešenja došao potpuno autonomno, koristeći originalan pristup.

U zvaničnoj objavi, OpenAI je ovo postignuće okarakterisao kao prekretnicu kako za matematiku, tako i za razvoj veštačke inteligencije.

"Ovo je prvi put da je jedan značajan otvoreni problem, od centralne važnosti za čitavu jednu matematičku granu, rešen autonomno pomoću AI sistema", saopštili su iz kompanije.

Istraživači ističu da je model primenio potpuno drugačiji teorijski pristup od onih koji su se tradicionalno koristili. Štaviše, neki od koncepata koje je AI upotrebio poznati su prvenstveno stručnjacima za algebarsku teoriju brojeva, a njihovo povezivanje sa geometrijskim problemima iznenadilo je čak i vrhunske eksperte.

Veštačka inteligencija pomaže matematičarima

Tanjug/AP/Michael Dwyer

Uprkos ovom epohalnom otkriću, iz OpenAI-ja naglašavaju da veštačka inteligencija ne služi kao zamena za matematičare, već kao moćan alat koji može ubrzati i produbiti naučna istraživanja.

Upravo zbog toga, dokaz je prošao proveru nezavisnih stručnjaka koji su sastavili poseban rad kako bi objasnili teorijsku pozadinu i značaj dobijenih rezultata.

Matematičar Tomas Blum sa Univerziteta u Mančesteru, koji vodi platformu posvećenu Erdošovim problemima, istakao je da je prvobitni dokaz koji je generisao model bio potpuno validan, ali je dodatno usavršen kroz saradnju istraživača OpenAI-ja i drugih naučnika.

"Ljudski faktor je i dalje neophodan za interpretaciju, usavršavanje i primenu ovih dokaza, kao i za istraživanje njihovih daljih implikacija", naveo je Blum.

Reakcije akademske zajednice su izuzetno pozitivne. Istaknuti matematičar Tim Gauers sa Univerziteta u Kembridžu opisao je ovaj rezultat kao istorijski momenat.

"Nema sumnje da je rešenje problema jediničnih rastojanja prekretnica za AI u matematici. Da je ovaj rad podneo čovek najprestižnijem časopisu 'Annals of Mathematics' i da su me pitali za mišljenje, predložio bih hitno prihvatanje bez ikakvog oklevanja. Nijedan prethodni dokaz koji je generisao AI nije bio ni blizu ovog nivoa", zaključio je Gauers.