Sistemul de inteligență artificială al OpenAI ar fi rezolvat una dintre cele șapte „Probleme ale Mileniului” – problema existenței și regularității soluțiilor ecuațiilor Navier–Stokes. Compania susține că agenții săi AI au reușit să găsească soluția în 88 de ore, deși oamenii de știință încearcă să rezolve această problemă de peste 90 de ani.
Compania afirmă că a decis să abordeze problema după ce a aflat despre progresele realizate în cercetările lor de doi matematicieni – Tristan Buckmaster și Levent Alpöge.
Cei doi cercetători, care au folosit la rândul lor inteligența artificială în activitatea lor, se tem însă că modelul OpenAI ar fi putut fi antrenat pe datele lor și ar fi preluat, fără ca acest lucru să fie evident, unele dintre ideile dezvoltate de ei.
Mai mult, Buckmaster susține că, atunci când a decis să facă publică situația, compania l-ar fi amenințat că îi va „distruge cariera”.
OpenAI și-a început cercetările după ce a aflat că oamenii de știință ar fi găsit soluția unei „Probleme a Mileniului”
Ecuațiile Navier–Stokes sunt ecuații diferențiale care descriu mișcarea fluidelor sub acțiunea inerției și a forțelor externe.
Din acest punct de vedere, ele sunt pentru hidrodinamică la fel de importante precum legile lui Newton pentru mecanică – cu diferența că legile lui Newton descriu comportamentul unui punct sau al unui corp, în timp ce ecuațiile Navier–Stokes se aplică unui mediu în ansamblu, la scări la care componentele sale individuale, precum moleculele sau atomii, pot fi neglijate.
Potrivit versiunii evenimentelor prezentate de OpenAI pe site-ul său, la 1 septembrie angajații companiei au auzit „zvonuri” despre posibila rezolvare a două dintre „Problemele Mileniului”.
După ce au aflat informația, cercetătorii au decis să testeze capacitățile unui nou sistem AI pe toate problemele încă nerezolvate din această categorie.
Este vorba despre un nou model intern de inteligență artificială, aflat încă în faza de antrenare și care nu este disponibil publicului larg.
Compania a creat mai multe grupuri de agenți AI, de dimensiuni diferite, cărora le-a oferit acces la o versiune stocată a internetului, precum și posibilitatea de a executa cod și de a comunica între ei.
Pe lângă „Problemele Mileniului”, sistemului AI i-au fost atribuite și câteva probleme mai simple, dar care au legătură cu acestea.
Printre ele s-a numărat problema regularității soluțiilor ecuațiilor Euler. Aceste ecuații sunt înrudite cu ecuațiile Navier–Stokes, cu diferența că nu iau în calcul vâscozitatea mediului, ceea ce simplifică semnificativ lucrul cu ele.
Un grup format din 100 de agenți AI ar fi rezolvat această problemă în 50 de ore.
După analizarea soluției, cercetătorii au considerat că problema Navier–Stokes oferea cele mai promițătoare perspective pentru continuarea cercetării.
Agenții AI care lucrau la celelalte „Probleme ale Mileniului” au fost redirecționați către aceasta, iar pe 5 septembrie, după aproximativ 88 de ore, un grup format din 10.000 de agenți ar fi ajuns la o soluție.
Au mai fost necesare 17 ore pentru formalizarea și verificarea rezultatelor în Lean, un sistem interactiv pentru demonstrarea și verificarea formală a teoremelor.
Această ultimă sarcină a fost încredințată modelului GPT-6 Astra, lansat recent.
La sfârșitul publicării sale, OpenAI a menționat că zvonurile care au determinat compania să înceapă cercetarea au vizat munca profesorului de matematică Tristan Buckmaster de la Universitatea din New York și a lui Levent Alpöge, un matematician care lucrează la Anthropic.
Textul precizează că, după verificarea rezultatelor în sistemul Lean, finalizată pe 6 septembrie, reprezentanții OpenAI au contactat oamenii de știință pentru a propune publicarea simultană a lucrărilor.
Cercetătorii menționează că le-au furnizat lui Buckmaster și Alpöge toate instrucțiunile pe care le-au folosit pentru analiză (lucru confirmat de Buckmaster) și ulterior le-au arătat demonstrația problemei (ceea ce neagă).
Compania a subliniat de două ori că recunoaște munca anterioară a oamenilor de știință în rezolvarea problemei Euler și a menționat, de asemenea, că nu candidează pentru Premiul Mileniului. OpenAI susține, de asemenea, că nici cercetătorii înșiși, nici agenții lor de inteligență artificială nu au avut acces la munca lui Buckmaster și Alpöge și nu au folosit date specifice despre utilizatori.
