OpenAI a pus la dispoziţie pe GitHub 722 de manuscrise grupate în 372 de familii de rezultate. Rezultatele acoperă numeroase domenii ale matematicii, iar OpenAI a publicat şi o parte dintre dovezi în Lean, un limbaj care permite verificarea formală a demonstraţiilor de către calculator.

Compania precizează însă că nu toate manuscrisele au fost formalizate şi că materialele se află în stadii diferite de verificare.

„Unele dintre rezultatele neformalizate ar putea avea probleme”, avertizează chiar OpenAI în documentaţia repository-ului, adăugând că va continua să corecteze eventualele erori şi să adauge noi formalizări.

OpenAI a publicat odată cu manuscrisele şi mai multe informaţii despre modul în care au fost obţinute rezultatele. Acestea includ 10 sinteze ale raţionamentului modelului, estimări ale resurselor de calcul şi statistici privind numărul de probleme încercate.

Potrivit companiei, un rezultat a utilizat, în medie, un volum de calcul echivalent cu aproximativ trei ore de gândire a ChatGPT Pro.

Modelul care a generat materialele este descris drept un model AI de ultimă generaţie, dezvoltat intern de OpenAI, neprecizând în anunţ numele acestuia. Compania afirmă că lucrează la lansarea sa într-un mod responsabil şi că intenţionează să folosească rezultatele pentru a sprijini progresul cercetării matematice.

Pentru lansarea setului de rezultate, OpenAI a colaborat cu Advisory Group on Mathematics and Artificial Intelligence, un grup independent asociat Institutului pentru Studii Avansate. Grupul subliniază însă că participarea sa nu reprezintă o validare a rezultatelor şi că acestea trebuie analizate de comunitatea matematică.

„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 de experţi.

În recomandările sale publicate anterior, grupul ceruse ca rezultatele generate de AI să fie însoţite de explicaţii privind modelul folosit, instrucţiunile date acestuia, timpul de calcul şi, pe cât posibil, formalizări ale demonstraţiilor. Grupul a insistat, de asemenea, asupra necesităţii ca matematicienii să poată înţelege şi verifica rezultatele înainte ca acestea să fie preluate în cercetarea ştiinţifică.

OpenAI spune că va finanţa în continuare workshopuri, conferinţe şi programe speciale dedicate înţelegerii rezultatelor produse de AI. Compania consideră că astfel de iniţiative pot ajuta cercetătorii să verifice şi să dezvolte mai departe rezultatele generate de modelele sale.

Publicarea noului set de rezultate 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 susţine că demonstraţia arată cum un fluid tridimensional, iniţial aflat într-o stare regulată, poate dezvolta o singularitate într-un timp finit, printr-un mecanism bazat pe formarea şi intensificarea unui vortex.

Potrivit companiei, agenţii AI au ajuns la rezultat după aproximativ 88 de ore de lucru, iar formalizarea şi verificarea în Lean au necesitat alte 17 ore.

OpenAI consideră că rezultatul rezolvă problema. Clay Mathematics Institute, organizaţia care administrează premiile, a transmis că problema a fost „aparent” rezolvată şi că demonstraţia trebuie analizată şi verificată. Regulile institutului prevăd un proces deliberat îndelungat pentru evaluarea unei soluţii.