Conform Mediafax: OpenAI, compania de cercetare și dezvoltare în domeniul inteligenței artificiale, a anunțat formarea unui nou grup consultativ dedicat evaluării rezultatelor matematice obținute de sistemele sale. Decizia survine după ce un model intern a revendicat rezolvarea a peste 100 de probleme matematice deschise, inclusiv celebra ecuație Navier–Stokes, una dintre problemele Premiului Millennium.
Progresele rapide ale inteligenței artificiale în matematică au generat un val de interes, dar și dezbateri aprinse în comunitatea științifică. OpenAI afirmă că ritmul rapid al descoperirilor a declanșat discuții interne despre cum astfel de realizări ar trebui prezentate și validate de mediul academic.
Navier–Stokes, o provocare
Problema Navier–Stokes, una dintre cele șapte probleme considerate cele mai dificile din matematică, se concentrează pe descrierea mișcării fluidelor. Obiectivul este de a determina dacă soluțiile ecuațiilor inițiale regulate rămân aceleași sau pot evolua spre o singularitate într-un timp finit. OpenAI a declarat pe 8 septembrie că sistemul său a generat o demonstrație pentru această problemă în aproximativ 88 de ore de lucru al agenților AI. Ulterior, demonstrația a fost formalizată și verificată cu ajutorul sistemului de verificare matematică Lean. Compania a precizat că nu are intenția de a revendica premiul de un milion de dolari asociat acestei probleme.
Controverse privind contribuțiile
Rezultatul OpenAI nu a fost lipsit de controverse, ridicând întrebări legate de atribuirea contribuțiilor și posibila influență a unor cercetări anterioare. Matematicianul Tristan Buckmaster de la New York University și Levent Alpoge de la Anthropic lucrau la o problemă înrudită. Buckmaster a exprimat preocupări că cercetările sale ar fi putut influența rezultatul OpenAI.
Compania a respins acuzațiile, afirmând, după o investigație internă, că sistemul său nu a avut acces la datele private ale lui Buckmaster. De asemenea, OpenAI a subliniat diferențele semnificative dintre cele două proiecte: lucrarea lui Buckmaster și Alpoge se referea la ecuațiile Euler cu forțare externă, în timp ce demonstrația OpenAI tratează cazul Navier–Stokes fără forțare externă.
Rolul noului grup consultativ
În acest context, OpenAI a înființat un grup consultativ menit să ajute compania să evalueze importanța rezultatelor matematice obținute prin AI. Grupul va stabili modalități adecvate de comunicare a acestor rezultate și va asigura respectarea standardelor academice și profesionale din domeniu.
Institutul pentru Studii Avansate din Princeton, SUA, găzduiește acest grup, format inițial din nouă membri de renume, printre care François Charles, Camillo De Lellis, Timothy Gowers, Martin Hairer, Nikhil Srivastava, Ulrike Tillmann, Ravi Vakil, Edward Witten și Melanie Matchett Wood.
Grupul va funcționa independent, membrii săi nefiind remunerați de OpenAI. Aceștia vor avea libertatea de a formula recomandări nesolicitate și de a le face publice. Grupul va putea comenta impactul OpenAI asupra matematicii și va consilia compania în privința modului în care instrumentele sale pot sprijini cercetarea și educația în acest domeniu. Inițiativa vine pe fondul îngrijorărilor mai largi legate de efectul progresului AI asupra disciplinei matematice. Unii matematicieni au criticat utilizarea problemelor deschise ca etalon pentru evaluarea sistemelor AI și au cerut discuții mai ample despre atribuirea contribuțiilor, verificarea rezultatelor și impactul asupra comunității academice.
Sursa: Mediafax
