TVRTKA OpenAI objavila je da je njezina najnovija tehnologija umjetne inteligencije riješila "problem postojanja i glatkoće rješenja Navier-Stokesovih jednadžbi", jedan od sedam takozvanih "milenijskih" matematičkih problema.

Riješena dva od sedam problema

Riječ je o skupu ključnih neriješenih matematičkih pitanja za čija je rješenja Matematički institut Clay 2000. godine ponudio nagradu od po milijun dolara. Do ove objave bio je riješen samo jedan od navedenih problema.

Navier-Stokesove jednadžbe opisuju gibanje fluida, uključujući vodu i zrak, te se primjenjuju i u meteorologiji za prognozu vremena. Teoretski problem bavi se pitanjem kolapsa matematičkog modela u određenim uvjetima. Prema tvrdnjama iz OpenAI-ja, njihov je model, koji još nije dostupan javnosti, u samo 88 sati definirao upravo takve uvjete.

Rješavanje zadatka provedeno je uz pomoć 10.000 sinkroniziranih sustava, takozvanih "AI agenata", uz primjenu naprednog učenja podržavanjem (engl. reinforcement learning) i programskog jezika Lean, koji služi za formalnu provjeru matematičkih dokaza.

AI agenti riješili problem?

Istraživači tvrtke navode kako su znanstvenici djelovali kao posrednici pri prijenosu ključnih ideja između različitih grupa agenata. Objava predstavlja najznačajniji pokazatelj utjecaja umjetne inteligencije na višu matematiku, što u znanstvenoj zajednici izaziva podijeljene reakcije.

Terence Tao, profesor s Sveučilišta u Kaliforniji u Los Angelesu (UCLA) i dobitnik Fieldsove medalje, upozorava da automatizirano rješavanje složenih problema može oslabiti ljudsko razumijevanje područja jer se gubi obrazovni proces koji prati dugotrajno samostalno istraživanje.

Tvrtka OpenAI objavila je rad s kompletnim dokazom kako bi ga neovisni matematičari mogli analizirati i verificirati. Unatoč uspjehu, u stručnim se krugovima napominje da rješenje matematičke singularnosti u jednadžbama ne podrazumijeva nikakva odstupanja u fizikalnoj stvarnosti, poput spontanih poremećaja u ponašanju vode.