OpenAI a anunțat publicarea pe platforma GitHub a unui set masiv de date care conține 722 de manuscrise matematice. Aceste documente sunt grupate în 372 de familii de rezultate și acoperă numeroase domenii ale matematicii. Materialele au fost generate de un model AI de ultimă generație, dezvoltat intern de companie, însă numele acestui sistem nu a fost precizat oficial în cadrul anunțului.
Compania a inclus în setul de date și o parte dintre dovezi utilizând Lean, un limbaj care permite verificarea formală a demonstrațiilor prin intermediul calculatorului. Totuși, OpenAI avertizează că nu toate manuscrisele au fost formalizate și că materialele se află în stadii diferite de verificare. În documentația repository-ului, compania precizează că unele dintre rezultatele neformalizate ar putea prezenta probleme, promițând că va continua să corecteze eventualele erori.
Pentru a oferi transparență, OpenAI a publicat detalii despre procesul de obținere a rezultatelor, incluzând 10 sinteze ale raționamentului modelului și estimări ale resurselor de calcul. Un rezultat a utilizat, în medie, un volum de calcul echivalent cu aproximativ trei ore de gândire a ChatGPT Pro. Compania a menționat că intenționează să folosească aceste rezultate pentru a sprijini progresul cercetării matematice și că lucrează la lansarea modelului într-un mod responsabil.
Proiectul a fost realizat în colaborare cu Advisory Group on Mathematics and Artificial Intelligence, un grup independent asociat cu Institutul pentru Studii Avansate. Membrii grupului subliniază că participarea lor nu reprezintă o validare a rezultatelor, care trebuie analizate de comunitatea matematică. Aceștia consideră că publicarea lucrării este doar un prim pas în procesul de integrare a acestor descoperiri în cunoașterea matematică actuală.
OpenAI a declarat că va finanța workshopuri, conferințe și programe speciale pentru a ajuta cercetătorii să verifice rezultatele produse de AI. Această mișcare urmează o demonstrație recentă a sistemului intern asupra ecuațiilor Navier–Stokes, una dintre cele șapte Probleme ale Premiului Mileniului. În acel caz, agenții AI au lucrat aproximativ 88 de ore, urmate de 17 ore pentru formalizarea și verificarea în Lean, procesul fiind considerat de Clay Mathematics Institute ca fiind unul de evaluare deliberat îndelungat.
Evoluția tehnologiei AI în domeniul științific marchează o schimbare în modul în care sunt abordate problemele complexe de calcul. În timp ce modelele lingvistice au fost utilizate anterior pentru sarcini de comunicare, noile arhitecturi sunt acum capabile să execute raționamente matematice avansate. Această tranziție necesită o colaborare strânsă între dezvoltatorii de software și comunitatea academică pentru a asigura acuratețea demonstrațiilor matematice generate automat.