OpenAI a publicat astăzi un set amplu de rezultate matematice generate de un model de inteligență artificială care nu a fost lansat încă pentru publicul larg. Potrivit companiei, materialele provin dintr-o evaluare în cadrul căreia sistemul AI a primit aproximativ 4000 de probleme de cercetare din mai multe ramuri ale matematicii.
În total, OpenAI a încărcat pe GitHub 722 de manuscrise, organizate în 372 de familii de rezultate. O parte dintre demonstrații au fost transpuse și în Lean, un limbaj specializat care permite verificarea formală, cu ajutorul calculatorului, a argumentelor matematice. Compania atrage însă atenția că nu toate materialele au trecut prin acest proces și că nivelul lor de verificare diferă.
– articolul continuă mai jos –
„Unele dintre rezultatele neformalizate ar putea avea probleme”, avertizează chiar OpenAI în documentația repository-ului, precizând că eventualele erori vor fi corectate, iar în timp vor fi adăugate noi formalizări.
Modelul AI a analizat mii de probleme de cercetare
Alături de manuscrise, OpenAI a publicat informații suplimentare despre procesul prin care au fost obținute rezultatele. Acestea includ zece sinteze ale raționamentului urmat de model, estimări privind resursele de calcul utilizate și statistici referitoare la numărul problemelor încercate.
Potrivit companiei, obținerea unui rezultat a presupus, în medie, un volum de calcul comparabil cu aproximativ trei ore de „gândire” în ChatGPT Pro. OpenAI nu a dezvăluit numele modelului, limitându-se să îl descrie drept un sistem de ultimă generație, dezvoltat intern. Compania susține că pregătește lansarea acestuia într-un mod responsabil și că rezultatele publicate ar putea contribui la progresul cercetării matematice.
Inițiativa a fost realizată în colaborare cu Advisory Group on Mathematics and Artificial Intelligence, un grup independent asociat Institutului pentru Studii Avansate. Experții subliniază însă că participarea lor nu echivalează cu validarea concluziilor. „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, organizația recomandase ca rezultatele produse de AI să fie însoțite de informații despre model, instrucțiunile primite, timpul de calcul și, atunci când este posibil, demonstrații formalizate. Totodată, matematicienii trebuie să poată înțelege și verifica lucrările înainte ca acestea să fie integrate în cercetarea științifică.
Rezultatul privind ecuațiile Navier-Stokes așteaptă validarea
Publicarea manuscriselor vine la mai puțin de o lună 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, una dintre cele șapte Probleme ale Premiului Mileniului.
Compania afirmă că demonstrația descrie modul în care un fluid tridimensional, aflat inițial într-o stare regulată, poate dezvolta o singularitate într-un interval finit, prin formarea și intensificarea unui vortex. Agenții AI ar fi ajuns la rezultat după aproximativ 88 de ore de lucru, iar formalizarea și verificarea în Lean ar fi necesitat alte 17 ore.
OpenAI consideră că problema a fost rezolvată. Clay Mathematics Institute, organizația care administrează Premiile Mileniului, a transmis însă că aceasta a fost „aparent” rezolvată și că demonstrația trebuie analizată riguros. Regulile institutului prevăd un proces îndelungat de evaluare înainte ca o soluție să fie recunoscută oficial.
În paralel, OpenAI anunță că va continua să finanțeze workshop-uri, conferințe și programe dedicate examinării rezultatelor generate de inteligența artificială. Compania estimează că astfel de inițiative vor permite comunității științifice să verifice, să corecteze și să dezvolte mai departe materialele produse de modelele sale.
Sursa: Mediafax
About the Author
