ISTORIJSKE VESTI: Veštačka inteligencija rešila jedan od najvećih problema u matematici!

Iz OpenAI tvrde da su pronašli rešenje za decenijama star napredni matematički problem za samo nekoliko sati koristeći novi model veštačke inteligencije (AI) i hiljade AI botova.

Proizvođač ChatGPT-a objavio je u utorak da je fokusiranjem grupe od otprilike 10.000 AI agenata, odnosno AI botova koji zadatke obavljaju donekle autonomno, rešio notorno težak matematički problem za samo 88 sati.

Preporučujemo

Problem je bio deo Navijer-Stouksovih jednačina, koje se tiču toga kako se tečnosti kreću. U poslednjih 90 godina važnim aspektima problema nedostajao je dokaz, argument koji stoji iza tačne matematičke jednačine.

OpenAI je rešenje koje je pronašao nazvao "prekretnicom" i dokazom da se AI alati brzo poboljšavaju.

Rešenje OpenAI-ja još nije nezavisno verifikovano niti javno prihvaćeno od strane Clay Mathematics Institute, matematičke organizacije sa sedištem u SAD koja daje Milenijumsku nagradu, koja nudi velike nagrade prvom koji reši određene matematičke zagonetke.

Ali tvrdnja kompanije već je izazvala reakciju.

Tristan Bakmaster, profesor matematike na New York University, izjavio je u utorak da su on i Levent Alpege, matematičar koji radi za OpenAI-jevog rivala Anthropic, takođe radili na rešavanju problema.

Dvojac je u svom radu koristio OpenAI-jev alat Codex. Ali Buckmaster je rekao da je 3. septembra saznao da su "informacije o našem napretku prosleđene OpenAI-ju".

Bakmasterova izjava stigla je istog dana, ali satima pre nego što je OpenAI objavio svoj rad o Navijer-Stouksovim jednačinama. On tvrdi da OpenAI nije počeo da radi na Navijer-Stouksovim jednačinama sve dok "nisu dobili informacije o našem radu". Uključio je tekst iz mejlova razmenjenih sa OpenAI-jem o radu i svoja pitanja o tajmingu i metodama kompanije.

Bakmaster je dodao da još nije pročitao puni dokaz Open AI-ja, ali da se osećao primoran da javno iznese "šta mi je rečeno, kada i šta mi je predloženo... jer je alternativa da dozvolim nizu objava da kažu nešto za šta znam da je netačno".

OpenAI je u utorak čestitao "istovremenom radu" Bakmastera i Alpegea, nazivajući ga "izuzetnim".

Kompanija je rekla da nije videla "ništa od njihovog rada ni na koji način dok ga nisu javno objavili" i da nisu pristupali korisničkim podacima u svom radu na Navijer-Stouksovom problemu.

"Iako je malo verovatno, ne možemo isključiti da su de-identifikovani podaci izvedeni iz njihove upotrebe naših proizvoda pomogli da se poboljšaju naši modeli", dodala je kompanija. "Međutim, naši dokazi se značajno razlikuju i čak su precizni rezultati koji su dokazani različiti."

OpenAI je rekao da je krajem avgusta počeo da trenira novi model koji je brzo pokazao da je vešt u matematici. AI modeli su računarski programi trenirani na ogromnim količinama podataka da prepoznaju i predviđaju obrasce u informacijama.

Iako novi OpenAI model ostaje alat koji se koristi samo unutar kompanije, pošto je "značajno sposobniji" od najnovijeg izdanja AI modela kompanije, njeni istraživači su odlučili da ga koriste na određenim značajnim naprednim matematičkim problemima.

OpenAI je priznao da je prošle nedelje, 1. septembra, "čuo glasine da su dva problema Milenijumske nagrade Prize rešena" i stoga odlučio da stavi hiljade AI botova treniranih na novom internom modelu da rade na pokušaju rešavanja nekih od preostalih problema.

Do 5. septembra, ili otprilike 88 sati nakon što je postavio 10.000 AI botova na zadatak, OpenAI je pronašao rešenje za ono što se naziva problemom postojanja i glatkoće Navijer–Stouks.

Problem je u srcu turbulencije, fenomena koji još uvek nije dobro shvaćen.

Iako je AI botovima trebalo naizgled malo vremena da dođu do rešenja, OpenAI je rekao da su botovi razmenili skoro 3 miliona poruka i iskoristili 130 milijardi izlaznih tokena, odnosno pojedinačnih linija teksta i koda koje AI model proizvodi u odgovorima, samo na Naviejr-Stouks problem.

Takav napor bi koštao otprilike 10 miliona dolara (7,3 miliona funti), na osnovu OpenAI-jevih sopstvenih cena za izlaz iz najnaprednijih modela.

Rešenje koje OpenAI kaže da je sada dostigao za problem postojanja i glatkoće rešilo je dve od četiri izjave u dokazu koji je Millennium Prize zahtevao. Nagrada za pobednika je 1 milion dolara.

"Naš cilj u objavljivanju ovog rezultata je da izvestimo o značajnom napretku naših AI modela", rekao je OpenAI u utorak. "Ne nameravamo da potražujemo Milenijumsku nagradu za ovaj rezultat.“

(Telegraf Nauka/BBC)