OpenAI publică 722 de manuscrise matematice dintr-un model AI frontier intern nedezvoltat

Într-un post de cercetare publicat 6 octombrie 2026, OpenAI a declarat că lansează o gamă largă de noi rezultate matematice produse de un model frontier intern nedezvoltat, publicând 722 de manuscrise organizate în 372 de familii într-un depozit public GitHub, alături de formalizări de demonstrații în Lean și rezumate abreviate ale raționamentului modelului.

În interiorul depozitului GitHub

Rezultatele sunt publicate în depozitul openai/math, lansat sub licența Apache-2.0. README-ul său descrie conținutul ca manuscrise matematice și artefacte de demonstrație suport, produse de un model intern OpenAI, adunate ca parte a evaluărilor de dezvoltare a modelului pe probleme de cercetare deschisă.

Catalogul curent conține 722 de manuscrise organizate în 372 de familii. O familie grupează lucrări conexe, care pot include un rezultat principal, argumente însoțitoare, consecințe sau demonstrații alternative, iar fiecare familie este clasificată după disciplină matematică. Un director de preprinturi conține PDF-uri, fișiere sursă și instrucțiuni de citare și construire specifice fiecărui manuscris, în timp ce o bibliotecă Lean și un catalog de formalizări descriu demonstrațiile formale disponibile, lucrările asociate și configurațiile de verificare.

Colecția acoperă diferite etape de verificare. Multe manuscrise au formalizări însoțitoare în Lean, un limbaj de programare care permite verificarea demonstrațiilor matematice de către un calculator, dar nu toate. README-ul avertizează că unele dintre rezultatele neformalizate ar putea avea probleme, iar OpenAI afirmă că va încerca să rezolve rapid astfel de probleme, actualizând depozitul cu noi formalizări pe măsură ce sunt obținute. OpenAI mai spune că va păstra istoricul public al lansărilor colecției, înregistrând corecții și revizii ca versiuni noi, menținând accesibile versiunile deja lansate, iar fiecare director de manuscris conține un bloc BibTeX pentru citări.

Cum au fost produse rezultatele

Conform README-ului, marea majoritate a rezultatelor au fost obținute prin aceeași procedură utilizând un model intern OpenAI nedezvoltat. În timpul evaluării, modelul a fost supus la aproximativ 4.000 de probleme, iar OpenAI raportează că rezultatul mediu a folosit echivalentul a aproximativ trei ore de gândire cu ChatGPT Pro. README-ul afirmă că OpenAI a extins aceste evaluări după ce performanța pe evaluările matematice existente a atins plafonul, și că unele rezultate se bazează pe rezultate anterioare produse de modelele sale. Necesitatea unui nivel adecvat de semnificație și agregarea ieșirilor în familii de rezultate și manuscrise a condus la catalogul publicat.

Două excepții numite au deviat de la acea procedură fixă: lucrul la o regiune fără zerouri pentru funcția zeta a lui Riemann și o demonstrație a Conjecturii Hodge pentru varietăți abeliene CM. Redactarea care acoperă regiunea fără zerouri Re(s) > 11/12 pentru funcția zeta a lui Riemann a fost editată de oameni pentru lizibilitate.

Depozitul publică, de asemenea, 10 rezumate abreviate ale raționamentului modelului. Acestea acoperă rezultate privind corelațiile obișnuite în doi puncte ale funcțiilor multiplicative, exponentul de iraționalitate al lui π, conjecturile Mahler simetrică și generală, NP-duritatea obișnuită la pragul semidefinit de bază, limite quasipolinomiale pentru progresii aritmetice, conjectura de direct-finiteness a lui Kaplansky în caracteristica doi, formula Mézard–Parisi pentru sticlă de spin diluată, magnetizarea spontană în feromagnetul cuantic Heisenberg, izomorfismul factorilor grupului liber și sistemul relativist tridimensional Vlasov–Maxwell.

OpenAI a declarat că publică aceste detalii suplimentare, inclusiv estimări de calcul exprimate în termeni de utilizare ChatGPT Pro și statistici privind numărul de probleme încercate, pentru a promova transparența și deschiderea științifică.

Recomandările grupului consultativ

OpenAI a declarat că a consultat grupul independent Advisory Group on Mathematics and Artificial Intelligence de la Institute for Advanced Study pentru a elabora cele mai bune practici de partajare a rezultatelor cu comunitatea matematică și că s-a bazat pe sfaturile și recomandările publice ale grupului pentru a ghida această lansare.

Grupul consultativ a publicat recomandările sale de lansare responsabilă pe 29 septembrie 2026, după ce a primit peste 600 de răspunsuri din partea comunității matematice, și afirmă că recomandările sunt susținute de o pluralitate clară a respondenților. O notă de subsol precizează că sondajul a întrebat despre o situație specifică în care OpenAI a anunțat existența multor rezultate fără a oferi detalii. Documentul începe prin a observa că unele laboratoare AI frontier testează probleme matematice avansate pe modele proprietare care rămân inaccesibile pentru comunitatea științifică largă, apoi declară: “nu susținem această practică și le cerem să înceteze testarea problemelor matematice avansate pe modele proprietare.”

Recomandările solicită ca rezultatele să fie depuse în depozite academice pe care niciun laborator AI nu le controlează, cu identificatori persistenţi și citabili și cu modificări înregistrate corespunzător, și îndeamnă laboratoarele să nu trateze publicarea rezultatelor ca instrumente de marketing pentru modelele lor. Pentru fiecare rezultat publicat, grupul spune că laboratoarele ar trebui să facă public numele modelului, prompturile utilizate, un lanț de gândire rezumat, timpul necesar și costul estimat al calculului, și afirmă că demonstrațiile ar trebui să fie formalizate pe cât posibil. Când multe rezultate sunt publicate simultan, recomandările cer un document public suplimentar care să le facă referire pe toate și să explice câte alte probleme de dificultate comparabilă au fost încercate și nu rezolvate de modele, precum și cum au fost alese problemele.

Grupul recomandă în plus ca laboratoarele să ofere sprijin semnificativ, inclusiv finanțare, pentru dezvoltarea înțelegerii umane a rezultatelor generate de AI, menționând conferințe, școli de vară, ateliere țintite, grupuri de lucru pe termen lung și cărți sau articole expozitive ample ca activităţi potențiale. Se afirmă că deciziile privind ce eforturi să fie susținute ar trebui să revină instituţiilor nonprofit existente, nu să fie dirijate de laboratoare, și se recomandă acordarea comunităţii matematice globale unui acces larg și echitabil la modelele disponibile public.

OpenAI a declarat că continuă să exploreze alte alternative găzduite de comunitate pentru această lansare care să respecte liniile directoare ale comitetului și că este angajat să îmbunătățească citările, expunerea matematică și prezentarea rezultatelor în lansările viitoare.

Fundalul modelului intern și pașii următori

Fraza “model frontier intern” în postarea OpenAI face trimitere la 8 septembrie 2026, anunț laboratorului că un sistem intern OpenAI a produs o demonstrație, cu o formalizare Lean, arătând că mișcarea fluidă netedă tridimensională guvernată de ecuațiile Navier–Stokes poate dezvolta o singularitate în timp finit. OpenAI a declarat că rezultatul rezolvă o problemă pe care Clay Mathematics Institute a numit-o una dintre cele șapte probleme Millennium Prize în 2000 și că nu intenționează să revendice premiul Millennium pentru aceasta. În acea postare, OpenAI a spus că modelul intern utilizat este semnificativ mai capabil decât GPT-6 Astra, că antrenează modelul din 28 august 2026, că a lansat un efort de evaluare a problemelor Millennium Prize pe 1 septembrie 2026 și că agenții săi au ajuns la rezolvare pe 5 septembrie 2026.

OpenAI a declarat că va finanța o serie de ateliere, conferințe și programe speciale legate de înțelegerea rezultatelor majore produse de AI și va împărtăşi mai multe informaţii în curând. De asemenea, a afirmat că lucrează pentru a elibera în mod responsabil modelul care a produs aceste rezultate și că va continua să acționeze pe baza feedback‑ului comunităţii și să își actualizeze standardele pentru divulgările viitoare ale progreselor ştiințifice majore.