OpenAI anunță trei descoperiri științifice majore în matematică, informatică și fizică cuantică

OpenAI trece de la automatizarea sarcinilor de birou la știința de frontieră și anunță trei descoperiri fundamentale în matematică, informatică teoretică și fizică. Modelele companiei au reușit să rezolve conjecturi matematice deschise de zeci de ani, să infirme o ipoteză computațională celebră și să aducă dovezi riguroase într-o problemă legată de Premiile Mileniului, deschizând un nou mod de colaborare între laboratoarele AI și comunitatea academică internațională.

Ce s-a întâmplat

Compania a raportat trei rezultate majore generate de modelele sale interne și formalizate riguros în limbajul Lean. În matematică, sistemele au demonstrat „local smoothing conjecture” (propusă de Christopher Sogge în 1991) în toate dimensiunile, fapt care rezolvă implicit celebra conjectură Kakeya și conjectura de restricție a lui Stein în analiza armonică. În informatică teoretică, AI-ul a demonstrat că Ipoteza Timpului Exponențial (Exponential Time Hypothesis - ETH), o piatră de temelie folosită în sute de lucrări pentru a arăta limitele eficienței algoritmilor, este falsă. Nu în ultimul rând, în fizică a fost produsă o demonstrație riguroasă a existenței teoriilor de calibru în patru dimensiuni, vizând cromodinamica cuantică (QCD) și teoria Yang-Mills pură.

Pentru a valida aceste rezultate tratate drept „date brute de cercetare”, OpenAI a implicat experți independenți (shepherds) și aplică trei strategii diferite de lansare. Printre coordonatorii externi se numără fondatorii ETH (Russell Impagliazzo și Ramamohan Paturi) și laureatul premiului Nobel David Gross pentru fizică. OpenAI a subliniat că nu solicită merite academice pentru modelele sale, colaboratorii nu semnează acorduri de confidențialitate (NDA), iar compania va finanța o conferință deschisă dedicată implicațiilor infirmării ETH.

De ce contează în România

Pentru comunitatea academică din România — de la departamentele de matematică și informatică ale Universității din București, UBB sau Universitatea Politehnica, până la institutele de cercetare precum IMAR sau cele de pe platforma Măgurele — aceste anunțuri schimbă paradigma cercetării. Infirmarea ETH rescrie literatura despre complexitatea computațională, forțând cercetătorii locali să reevalueze algoritmii pentru probleme clasice de grafuri, baze de date sau biologie computațională.

În plus, utilizarea asistenților formali precum Lean arată direcția în care se îndreaptă știința exactă. Pentru tinerii matematicieni și programatori români, verificarea formală asistată de AI nu mai este un experiment teoretic, ci un standard de lucru prin care chiar și echipe mici pot valida sau demonta demonstrații complexe la scară globală.

Cum poți încerca

Spre deosebire de un produs comercial clasic, aceste rezultate sunt disponibile sub formă de preprinturi și cod sursă. Pentru matematică și informatică teoretică, OpenAI a publicat deja demonstrațiile în limbaj natural și codurile de formalizare în Lean în mod deschis, în depozitul său de pe GitHub, unde orice cercetător le poate analiza și compila.

În cazul rezultatului din fizică, grupul coordonat de David Gross a decis să amâne publicarea directă a fișierelor brute generate de AI pentru a redacta mai întâi un material explicativ accesibil comunității. Cercetătorii din domeniu care doresc să colaboreze sau să trimită observații grupului de lucru din fizică sunt invitați să transmită un mesaj la adresa dedicată menționată de comitet: YANGMILLS4D@gmail.com.