Problem je decenijama zbunjivao matematičare širom svijeta jer se naizgled čini jednostavnim: ako se na ravni postavi određeni broj tačaka, koliko parova tih tačaka može biti udaljeno tačno jednu jedinicu? Iako pitanje zvuči elementarno, iza njega se krije izuzetno složena matematička struktura.

AI osporio teoriju staru skoro osam decenija

Pol Erdoš je vjerovao da maksimalan broj takvih parova raste samo malo brže od samog broja tačaka, a matematička zajednica godinama je smatrala da su konfiguracije nalik kvadratnoj mreži najbolji mogući raspored za rješavanje problema. 

Međutim, OpenAI tvrdi da je njihov model pronašao potpuno novu porodicu geometrijskih konstrukcija koja daje bolje rezultate i praktično ruši dugogodišnju pretpostavku.

Kompanija navodi da je model do rješenja došao autonomno, koristeći opšti sistem rezonovanja, a ne specijalizovani alat treniran isključivo za matematiku, navodi "ScienceAlert". Upravo ta činjenica izazvala je ogromnu pažnju naučne zajednice, jer se smatra da je ovo prvi slučaj da je AI samostalno riješio veliki otvoreni problem iz aktivne oblasti matematike.

Matematičari iznenađeni kvalitetom dokaza

Više uglednih matematičara pregledalo je dokaz i potvrdilo njegovu ispravnost. Među njima je i poznati britanski matematičar Tim Govers, dobitnik Fieldsove medalje, koji je ocijenio da bi rad bez problema mogao biti objavljen u jednom od najprestižnijih matematičkih časopisa čak i da ga je napisao čovjek.

Kanadski matematičar Danijel Lit opisao je rezultat kao „prvi AI dokaz koji je sam po sebi zaista matematički interesantan“, dok je Arul Šankar sa Univerziteta u Torontu izjavio da modeli sada pokazuju "originalne i ingeniozne ideje", a ne samo sposobnost pomaganja ljudima.

Posebno je fascinantno što je AI u rješenju koristio sofisticirane ideje iz algebraičke teorije brojeva - oblasti koju mnogi nisu povezivali sa ovim geometrijskim problemom. To je dodatno impresioniralo istraživače, jer ukazuje na neočekivanu sposobnost modela da povezuje veoma udaljene matematičke discipline.

Početak nove ere u matematici?

OpenAI tvrdi da ovaj uspjeh predstavlja važnu prekretnicu za razvoj vještačke inteligencije u nauci. Kompanija ističe da matematika predstavlja idealno okruženje za testiranje rezonovanja AI sistema, jer se svaki korak može precizno provjeriti, a cijeli dokaz mora biti logički konzistentan od početka do kraja.

Ovo nije jedini nedavni primjer korištenja AI u matematici. Samo nekoliko dana nakon objave OpenAI-ja, tim iz Google DeepMinda objavio je da je njihov model riješio više manjih otvorenih problema koje je takođe postavio Erdoš.

Ipak, mnogi matematičari upozoravaju da AI još nije zamjena za ljudske istraživače. Stručnjaci smatraju da će vještačka inteligencija prije postati alat koji ubrzava istraživanja i pomaže u pronalaženju novih ideja, nego potpuno autonomni naučnik.

Bez obzira na to, veliki broj istraživača smatra da bi upravo ovaj događaj mogao označiti početak potpuno nove ere u matematici - ere u kojoj će vještačka inteligencija igrati mnogo veću ulogu u naučnim otkrićima nego što se do sada vjerovalo.

Pratite nas na našoj Facebook i Instagram stranici, Twitter nalogu i uključite se u našu Viber zajednicu.