Conform Mediafax: OpenAI a făcut publice peste 700 de manuscrise pe GitHub, reprezentând progrese semnificative în domeniul matematicii. Compania a pus la dispoziție rezultatele grupate în 372 de familii de demonstrații, acoperind o gamă largă de subdomenii matematice. O parte din aceste demonstrații au fost formalizate în limbajul Lean, un instrument care permite verificarea automată a corectitudinii raționamentelor matematice de către calculator.
Cu toate acestea, OpenAI avertizează că nu toate manuscrisele au fost supuse procesului de formalizare completă, iar materialele se află în stadii variate de verificare. Compania subliniază chiar în documentația publicată că unele dintre rezultatele neformalizate ar putea conține erori, angajându-se să remedieze eventualele greșeli și să extindă procesul de formalizare. Pe lângă manuscrise, OpenAI a oferit și detalii despre metodologia de obținere a acestor rezultate, incluzând sinteze ale raționamentului modelelor AI utilizate, estimări ale resurselor de calcul consumate și statistici privind numărul de probleme abordate. Se estimează că, în medie, obținerea unui rezultat a necesitat un volum de calcul echivalent cu aproximativ trei ore de activitate ale ChatGPT Pro.
Un nou model AI, lansat într-un mod „responsabil”
Modelul AI care a generat aceste rezultate este descris ca fiind de ultimă generație, dezvoltat intern de OpenAI, fără a i se dezvălui numele. Compania a subliniat angajamentul său de a lansa acest nou model într-un mod responsabil, intenționând să utilizeze rezultatele obținute pentru a stimula progresul în cercetarea matematică. Pentru lansarea acestui set de rezultate, OpenAI a colaborat cu Advisory Group on Mathematics and Artificial Intelligence, un grup independent afiliat Institutului pentru Studii Avansate. Cu toate acestea, grupul a clarificat că implicarea sa nu constituie o validare a rezultatelor, acestea urmând să fie analizate de comunitatea matematică.
Experții din cadrul grupului consideră că publicarea acestor lucrări reprezintă doar un prim pas, nu finalul procesului de înțelegere umană și integrare a rezultatelor în cunoașterea matematică. Anterior, grupul de experți solicitase ca rezultatele generate de inteligența artificială să fie însoțite de explicații detaliate privind modelul AI folosit, instrucțiunile primite, timpul de calcul consumat și, pe cât posibil, formalizări ale demonstrațiilor. A fost, de asemenea, accentuată necesitatea ca matematicienii să poată înțelege și verifica rezultatele înainte de a fi integrate în cercetarea științifică. În acest sens, OpenAI a anunțat că va continua să finanțeze workshopuri, conferințe și programe speciale dedicate analizei rezultatelor produse de AI, considerând că aceste inițiative vor sprijini cercetătorii în verificarea și dezvoltarea ulterioară a acestor descoperiri.
Controversa problemei Navier-Stokes
Această amplă publicare de rezultate vine la scurt timp după ce OpenAI a prezentat o demonstrație generată de sistemul său intern pentru problema existenței și regularității ecuațiilor Navier-Stokes. Aceasta este una dintre cele șapte Probleme ale Premiului Mileniului, recunoscute pentru dificultatea lor extremă. Compania susține că demonstrația oferită explică cum un fluid tridimensional, inițial într-o stare regulată, poate dezvolta o singularitate într-un interval de timp finit, printr-un mecanism ce implică formarea și amplificarea unui vortex.
Conform informațiilor furnizate de OpenAI, agenții AI au ajuns la această concluzie după aproximativ 88 de ore de lucru, la care s-au adăugat alte 17 ore pentru formalizarea și verificarea demonstrației în limbajul Lean. OpenAI consideră că acest rezultat reprezintă o rezolvare a problemei respective. Clay Mathematics Institute, instituția care administrează Premiile Mileniului, a comunicat că problema a fost „aparent” rezolvată și că demonstrația trebuie supusă unui proces riguros de analiză și verificare, conform regulilor institutului, care prevăd o evaluare îndelungată pentru soluțiile propuse.
Sursa: Mediafax
