Această decizie survine după o perioadă în care avansurile rapide ale inteligenței artificiale în matematică au generat atât curiozitate, cât și dezbateri în rândul specialiștilor. OpenAI afirmă că un model nou, intern, a cărui pregătire a debutat la 28 august, a rezolvat mai mult de 100 de probleme matematice nesoluționate, din diverse ramuri. Compania menționează că viteza cu care apar aceste descoperiri a generat discuții interne despre modul în care asemenea rezultate ar trebui prezentate și analizate de mediul academic.
Între chestiunile evidențiate de OpenAI se numără Navier–Stokes, una dintre cele șapte provocări ale Premiului Millennium, considerate de experți cele mai dificile ecuații din matematică. Aceasta vizează relațiile care descriu dinamica fluidelor și încearcă să determine dacă soluțiile plecând de la condiții inițiale regulate rămân regulate sau pot genera o singularitate într-un interval de timp finit.
OpenAI a făcut public pe 8 septembrie că platforma sa a identificat o demonstrație pentru această chestiune. Conform companiei, demonstrația a fost obținută în aproximativ 88 de ore de muncă ale unor agenți AI și ulterior formalizată și verificată prin intermediul sistemului de verificare matematică Lean. OpenAI a subliniat că nu intenționează să solicite premiul de un milion de dolari atașat problemei.
Controverse
Rezultatul a fost totuși însoțit de controverse privind atribuirea și posibila influență a unor cercetări anterioare anunțului OpenAI. Matematicianul Tristan Buckmaster de la New York University și Levent Alpöge, matematician la Anthropic, lucraseră simultan la o problemă asemănătoare. Buckmaster a exprimat îngrijorări cu privire la posibilitatea ca cercetările sale să fi influențat rezultatul obținut de OpenAI.
OpenAI a negat această posibilitate și a afirmat, după o verificare internă, că sistemul nu a avut acces la informațiile private ale lui Buckmaster și că cercetările celor două proiecte diferă substanțial. Compania a menționat că, în cazul lucrării lui Buckmaster și Alpöge, era vorba despre ecuațiile Euler cu forțare externă, în timp ce demonstrația prezentată de OpenAI abordează cazul Navier–Stokes fără forțare externă.
În contextul acestor evoluții, OpenAI afirmă că noul grup consultativ va avea rolul de a ajuta compania să evalueze importanța rezultatelor matematice produse de AI, să stabilească modalități adecvate de comunicare și să țină cont de standardele academice și profesionale ale domeniului.
Grupul este găzduit de Institutul pentru Studii Avansate, de la Princeton, SUA, și are inițial nouă membri, între 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
OpenAI afirmă că grupul va funcționa independent. Membrii săi nu vor fi remunerați de companie și vor putea formula inclusiv recomandări nesolicitate, precum și să dezbată public recomandările lor. 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.
Inițiativa apare în contextul unor preocupări mai ample privind efectul progresului AI asupra matematicii. Un grup de matematicieni a criticat utilizarea problemelor deschise drept reper pentru măsurarea progresului sistemelor AI și a cerut dezbateri mai ample despre atribuirea contribuțiilor, verificarea rezultatelor și impactul asupra comunității academice.
