Najnovija istraživanja pokazuju da savremeni AI modeli ne rešavaju više samo školske ili univerzitetske matematičke zadatke, već i da uspevaju da generišu u potpunosti nove dokaze za probleme koji su decenijama bili nerešeno.
Modeli poput GPT-5.2 već su demonstrirali sposobnost da samostalno proizvedu kompletna matematička rešenja za pojedine probleme iz oblasti teorije brojeva, uključujući i probleme povezane sa radom legendarnog matematičara Paula Erdosa.
U jednom od ovih zadataka, model je dobio formulaciju otvorenog problema i u relativno kratkom vremenu generisao rešenje koje je i provereno pomoću softverskih sistema za verifikaciju kao što je Lean, čime je potvrđena i logička ispravnost rešenja.
Upravo ova formalna verifikacija predstavlja ključni element u celom procesu, jer omogućava da se matematički dokaz proveri korak po korak uz strogu kontrolu. Ovo smanjuje mogućnost greške unutar modela veštačke inteligencije i daje dodatnu potvrdu da je rešenje zaista validno.
Stručnjaci navode i da je u poslednjih nekoliko meseci između jedanaest i petnaest matematičkih problema koji su bili otvoreni i po nekoliko decenija rešeno uz pomoć veštačke inteligencije. Ovo ukazuje i na trend u naučnoj zajednici u kojem veštačka inteligencija postaje aktivan alat u matematici, fizici, organskoj hemiji i biologiji.
Istovremeno, vodeći svetski matematičari upozoravaju i da je važno pažljivo pratiti same rezultate i moguća rešenja, jer AI modeli u velikoj meri koriste već postojeće matematičko znanje i istraživanja iz javno dostupnih publikacija i istraživanja, a koje sadržano u podacima na kojima su trenirani.
Ipak, sama činjenica da AI sistemi mogu da generišu formalno proverljive rezultate ili mogu da kreiraju kompleksne matematičke aplikacije uz samo par klikova mišem (poput usluge Create AI) i to bez direktnog kopiranja postojećih radova matematičara predstavlja značajan pomak u odnosu na ranije generacije AI alata, koji su se uglavnom oslanjali na pretragu interneta ili svojih baza podataka i reprodukciju već poznatih rešenja.
Ovakav brzi razvoj ima i mnogo šire implikacije za globalnu nauku, jer otvara mogućnost da matematičari koriste AI kao ravnopravnog saradnika u istraživanjima, značajno ubrzavajući proces testiranja hipoteza i proveravanja složenih logičkih struktura.
Iako veštačka inteligencija još uvek ne može u potpunosti zameniti ljudsku kreativnost i intuiciju, te duboko razumevanje kompleksnih problema koje imaju iskusni matematičari, sve je jasnije da nauka ulazi u novu fazu u kojoj AI modeli postaju relevantan akter u rešavanju problema koji čekaju na rešenje gotovo stotinu godina.
Preuzmite Newsmax Balkans aplikaciju:
Pratite nas na društvenim mrežama:
Komentari (0)