Čuveni matematički problem dosad se smatrao nerješivim: Open AI: ‘Uspjeli smo za 88 sati‘

OpenAI tvrdi da je njegov još neobjavljeni model umjetne inteligencije riješio jedan od najpoznatijih neriješenih problema moderne matematike, Navier-Stokesov problem, na kojem matematičari rade generacijama. Ako rezultat prođe rigoroznu stručnu provjeru, bio bi to tek drugi riješeni problem među sedam čuvenih "Milenijskih problema".

Kompanija je u utorak objavila da je umjetnoj inteligenciji za pronalazak rješenja trebalo svega nekoliko dana, ali i računalni resursi vrijedni milijune dolara. Prema OpenAI-ju, konačno rješenje dobiveno je nakon približno 88 sati rada.

Navier-Stokesov problem odnosi se na jednadžbe koje opisuju kretanje fluida, odnosno tekućina i plinova. Te jednadžbe imaju veliku praktičnu važnost i koriste se, među ostalim, u projektiranju zrakoplova, prognoziranju vremena te proučavanju protoka krvi.

Riječ je o jednom od sedam Milenijskih problema koje je Clay Mathematics Institute izdvojio 2000. godine kao neke od najvažnijih neriješenih problema matematike. Za rješenje svakoga od njih ponuđena je nagrada od milijun dolara.

Na problemu radilo 10.000 AI agenata

OpenAI navodi da je krajem kolovoza počeo trenirati novi model, sposobniji od modela koje je dosad javno predstavio. Nakon što su se pojavile informacije da konkurentski istraživači rade na Milenijskim problemima, kompanija je novom sustavu zadala svih šest koji još nisu riješeni.

Navier-Stokesov problem ubrzo je pokazao najviše potencijala pa je OpenAI na njega usmjerio goleme računalne kapacitete.

U završnoj fazi projekta na problemu je istodobno radilo čak 10.000 AI agenata, odnosno programa sposobnih za samostalno obavljanje zadataka i međusobnu razmjenu informacija.

Glavni direktor OpenAI-ja za istraživanje Mark Chen rekao je da su računalni troškovi projekta bili „definitivno u milijunima dolara“. Istraživač Sebastien Bubeck procijenio je da je kompanija potrošila oko tisuću puta više računalnih resursa nego na svoje ranije matematičke rezultate.

„Ovo je važna prekretnica za istraživanje umjetne inteligencije, a njezino obećanje za svijet jest da bi odgovori na još veći broj naših najtežih pitanja mogli postati mogući“, rekao je Chen.

Izbio spor oko zasluga

Objavu o mogućem povijesnom proboju odmah je, međutim, zasjenio spor oko toga kome pripadaju zasluge.

Samo nekoliko sati prije OpenAI-jeve objave matematičar sa Sveučilišta New York Tristan Buckmaster i Levent Alpoge, istraživač konkurentskog Anthropica, objavili su vlastiti rad uz pomoć umjetne inteligencije na trima povezanim jednadžbama.

Buckmaster tvrdi da se OpenAI ozbiljno prihvatio problema tek nakon što su se proširile informacije o njihovu istraživanju te da je primijenio isti neuobičajeni pristup koji su on i Alpoge razvijali mjesecima.

OpenAI to odbacuje.

„Da budemo jasni, nismo koristili njihove promptove ili dokaze kako bismo davali upute našim modelima ili usmjeravali naše agente“, rekao je Bubeck.

Kompanija je ipak naknadno priznala da ne može potpuno isključiti mogućnost da su podaci nastali korištenjem njezinih proizvoda neizravno utjecali na razvoj modela.

„Iako je to malo vjerojatno, ne možemo isključiti mogućnost da su anonimizirani podaci proizašli iz njihova korištenja naših proizvoda pomogli poboljšati naše modele“, objavio je OpenAI.

Do potvrde bi mogle proći godine

Tvrdnja OpenAI-ja zasad ne znači da je Navier-Stokesov problem službeno riješen. Put do takvog priznanja mogao bi trajati godinama.

Prema pravilima Clay Mathematics Institutea, rješenje najprije mora biti objavljeno u recenziranom znanstvenom časopisu, a potom najmanje dvije godine biti prihvaćeno i provjeravano u matematičkoj zajednici. Tek nakon toga institut može sazvati posebno povjerenstvo koje će odlučiti je li problem doista riješen.

„Proces evaluacije namjerno je spor i pobrinut ćemo se da bude apsolutno rigorozan“, rekao je predsjednik instituta Martin Bridson.

Od sedam Milenijskih problema dosad je službeno riješena samo Poincaréova slutnja. OpenAI je poručio da, bude li njegovo rješenje Navier-Stokesova problema potvrđeno, neće tražiti nagradu od milijun dolara.

Mogući proboj mogao bi imati značenje i daleko izvan same matematike. Najnapredniji AI sustavi posljednjih godina sve češće rješavaju složene matematičke probleme, a OpenAI-jeva tvrdnja, potvrdi li se, bila bi jedan od najupečatljivijih primjera sposobnosti umjetne inteligencije da sudjeluje u stvaranju novih znanstvenih spoznaja.