Conform Mediafax: OpenAI a publicat pe platforma GitHub peste 700 de manuscrise matematice, provenind de la un nou model AI dezvoltat intern. Aceste lucrări acoperă o gamă largă de domenii matematice și includ, pe lângă demonstrațiile propriu-zise, informații detaliate despre modul în care au fost obținute, cum ar fi sinteze ale raționamentului modelului și estimări ale resurselor de calcul utilizate.

Un aspect notabil al publicării este includerea unei părți din dovezi în Lean, un limbaj de programare dedicat verificării formale a demonstrațiilor matematice. Compania avertizează, totuși, că nu toate manuscrisele au fost formalizate și că materialele se află în diverse stadii de verificare. OpenAI recunoaște chiar în documentația repository-ului că unele demonstrații neformalizate ar putea conține erori și își ia angajamentul să corecteze eventualele probleme și să adauge noi formalizări pe viitor.

Detaliile publicării și contribuția la cercetarea matematică

Potrivit informațiilor furnizate de OpenAI, un rezultat generat de model a necesitat, în medie, un volum de calcul echivalent cu aproximativ trei ore de funcționare ale ChatGPT Pro. Compania susține că modelul AI, descris ca fiind de ultimă generație și dezvoltat intern, este lansat într-un mod considerat responsabil. Intenția principală este de a utiliza aceste rezultate pentru a sprijini progresul cercetării matematice.

Pentru această inițiativă, OpenAI a colaborat cu Advisory Group on Mathematics and Artificial Intelligence, un grup independent afiliat Institutului pentru Studii Avansate. Cu toate acestea, grupul de experți subliniază că participarea sa nu constituie o validare automată a rezultatelor și că acestea necesită o analiză riguroasă din partea comunității matematice. „Publicarea acestei lucrări este un prim pas, nu finalul procesului de înțelegere umană și de integrare a rezultatelor în cunoașterea matematică”, a transmis grupul.

Anterior, același grup a recomandat ca rezultatele generate de inteligența artificială să fie însoțite de explicații clare referitoare la modelul utilizat, instrucțiunile primite, timpul de calcul și, pe cât posibil, de formalizări ale demonstrațiilor. De asemenea, a fost accentuată necesitatea ca matematicienii să poată înțelege și verifica aceste rezultate înainte de a fi integrate în cercetarea științifică. OpenAI a anunțat că va continua să finanțeze workshop-uri, conferințe și programe speciale dedicate înțelegerii rezultatelor produse de AI, considerând că aceste inițiative pot facilita verificarea și dezvoltarea ulterioară a acestora.

Controversa problemei Navier–Stokes și rolul verificării formale

Publicarea acestui amplu set de rezultate vine la scurt timp după ce OpenAI a prezentat o demonstrație generată de același sistem intern pentru problema existenței și regularității ecuațiilor Navier–Stokes. Aceasta este una dintre cele șapte Probleme ale Premiului Mileniului, cu o miză considerabilă. Compania susține că demonstrația arată cum un fluid tridimensional, pornind dintr-o stare regulată, poate ajunge să dezvolte o singularitate într-un interval de timp finit, printr-un mecanism complex de formare și intensificare a vortexurilor.

Conform datelor oferite de OpenAI, agenții AI ar fi lucrat aproximativ 88 de ore la generarea demonstrației, iar procesul de formalizare și verificare în Lean a necesitat încă 17 ore. Compania consideră că problema a fost rezolvată. Clay Mathematics Institute, organizația responsabilă cu administrarea Premiilor Mileniului, a transmis că problema a fost „aparent” rezolvată, dar că demonstrația trebuie supusă unui proces de analiză și verificare, conform regulilor stricte ale institutului.

Sursa: Mediafax