Cum poate un sistem de inteligență artificială să rezolve în câteva zile o problemă pe care matematicienii nu au reușit să o descifreze timp de nouă decenii? Potrivit Profit.ro, care preia informația, OpenAI a anunțat că 10.000 de agenți AI, coordonați între ei, au produs o soluție la ecuațiile Navier-Stokes în doar 88 de ore de lucru simultan.
Ecuațiile Navier-Stokes descriu modul în care se mișcă fluidele, precum apa și aerul, și sunt folosite în proiectarea aeronavelor, prognoza meteo și studiul fluxului sanguin. Problema face parte din cele șapte Probleme ale Mileniului stabilite de Institutul Clay de Matematică, fiecare cu un premiu de un milion de dolari.
Ce a demonstrat, de fapt, sistemul de agenți AI
Compania a folosit un model intern, mai puternic decât cel mai avansat model public al său, GPT-6 Astra, pentru a coordona grupuri de agenți autonomi. Aceștia au primit acces la o versiune arhivată a internetului și puteau rula cod pentru a-și testa ipotezele.
Grupurile de agenți au fost împărțite pe echipe capabile să comunice între ele, iar cel care a produs rezolvarea Navier-Stokes a ajuns la circa 10.000 de agenți care lucrau simultan. Potrivit companiei, agenții au schimbat aproximativ 2,7 milioane de mesaje și au generat circa 130 de miliarde de token-uri de ieșire.
Soluția a fost obținută sâmbătă, 5 septembrie, la 88 de ore după lansarea primilor agenți. Ulterior, modelul GPT-6 Astra a mai petrecut 17 ore formalizând și verificând demonstrația în limbajul de programare Lean, folosit pentru validarea riguroasă a demonstrațiilor matematice.
Proiectul a pornit pe 1 septembrie, după ce cercetătorii OpenAI au auzit zvonuri că doi matematicieni rezolvaseră probleme din categoria Millennium. Compania a orientat atunci resursele de calcul spre variante ale problemelor Euler și Navier-Stokes, iar rezultatele au depășit așteptările inițiale ale echipei.
De ce contestă un matematician de la New York University rezultatul
Vestea a stârnit imediat controverse în comunitatea academică. Tristan Buckmaster, profesor de matematică la New York University, a declarat că a colaborat personal cu Levent Alpöge, cercetător la Anthropic, la mai multe probleme matematice, inclusiv Navier-Stokes.
„Nu am văzut demonstrația OpenAI. Nu știu ce a făcut modelul lor sau cum. Nu știu dacă datele noastre au fost folosite”, a scris Buckmaster.
Matematicianul a susținut că drumul descris de OpenAI seamănă cu propria lor abordare și că nu este o direcție la care se ajunge în câteva zile doar oferind unui model enunțul problemei. El a ridicat și posibilitatea ca sistemele OpenAI să fi fost antrenate folosind sesiunile lor de lucru cu Codex.
OpenAI a răspuns că, după ce a finalizat proiectul și a verificat demonstrația în Lean pe 6 septembrie, i-a contactat pe cei doi cercetători, crezând că aceștia rezolvaseră deja problema. Compania le-a propus un anunț comun, dar a aflat ulterior că descoperirea lor viza de fapt o variantă înrudită, problema Euler forțată.
Institutul Clay de Matematică, care administrează premiile pentru Problemele Mileniului, nu a comentat până acum public propunerea de soluție a OpenAI. Compania a precizat că nu intenționează să revendice premiul de un milion de dolari pentru acest rezultat, prezentându-l mai degrabă drept dovadă a capacităților avansate de raționament matematic ale sistemelor sale de inteligență artificială.
Demonstrația arată, potrivit OpenAI, că un vârtej de fluid poate atinge o viteză infinită într-un timp finit, păstrând totuși o energie totală finită — o formă de discontinuitate matematică numită singularitate. Rezultatul rămâne, deocamdată, o propunere care trebuie supusă unei examinări riguroase din partea comunității matematice înainte de a fi acceptată oficial.
