La mai puțin de o lună după ce a lansat în masă sute de manuscrise despre care susținea că conțin soluții la întrebări matematice de lungă durată, OpenAI revine cu încă trei descoperiri „majore” în matematică, informatică și fizică. De data aceasta, compania a decis să lase experți externi – pe care îi descrie drept „păstori” – să ghideze rezultatele în informatică și fizică. Pentru problema de matematică, OpenAI spune că a fost sfătuită să lanseze direct rezultatul AI, astfel încât cercetătorii să-și poată elabora propriile explicații. Pentru că nimic nu spune „rigoare științifică” precum externalizarea peer review-ului către mulțime.

Descoperirea matematică, potrivit OpenAI, este o demonstrație a „netezirii locale pentru ecuația undelor euclidiene”. Demonstrația folosește o ecuație cu derivate parțiale auxiliară pentru a stabili netezirea locală a lui Sogge pentru unde în orice dimensiune spațială de cel puțin doi. De asemenea, produce conjecturile maximale și dimensionale Kakeya și estimările sferice de restricție ale lui Stein în interiorul intervalului conjecturat. OpenAI publică direct rezultatul modelului, așa cum a făcut și în lansarea din 6 octombrie. Acum doar câteva luni, profesoara Hong Wang de la NYU a câștigat prestigioasa medalie Fields din partea Uniunii Internaționale de Matematică pentru rezolvarea conjecturii Kakeya în trei dimensiuni. Acum un AI spune că a rezolvat-o în toate dimensiunile. Încă nu se știe dacă medalia vine cu un update de firmware.

Rezultatul din informatică este și mai îndrăzneț: o lucrare intitulată „The Exponential Time Hypothesis is False” (Ipoteza timpului exponențial este falsă). Lucrarea oferă un algoritm determinist care numără exact atribuirile satisfăcătoare ale formulelor CNF de lățime fixă în timp subexponențial și spațiu polinomial. Cazul 3-SAT infirmă Ipoteza timpului exponențial (ETH). Un grup de lucru independent de informaticieni condus de Russell Impagliazzo, Ramamohan Paturi și Ryan Williams va examina și explica demonstrația. La cererea grupului, OpenAI face materialele publice imediat, pentru ca și alții să le poată examina. Impagliazzo și Paturi au făcut parte din grupul care a propus inițial ETH în 1999 – așa că cel puțin cineva din încăpere își amintește când ipoteza era considerată adevărată.

Informațiile din fizică nu au fost publicate în întregime, dar OpenAI le descrie drept o „dovadă matematic riguroasă a existenței anumitor teorii cuantice de câmp interactiv care conțin câmpuri de gauge și fermioni în patru dimensiuni, inclusiv Cromodinamica Cuantică (QCD) și o completare unificată a Modelului Standard al fizicii particulelor”. David Gross va conduce un grup din care fac parte Michael Douglas, Arthur Jaffe, Igor Klebanov și Nikita Nekrasov, care va „păstori” această lucrare. Pentru că nimic nu spune „suntem încrezători” precum reținerea detaliilor complete și chemarea laureaților Nobel.

OpenAI recunoaște că această abordare poate avea propriile probleme. Panoul AGMAI de consilieri matematici format de OpenAI a declarat chiar ieri că „recomandăm ca companiile de AI să nu adopte” practicile de a desemna anumite persoane care să primească rezultatul mai întâi, invocând accesul inegal, reputația împrumutată și selecția părtinitoare ca fiind câteva dintre probleme. În schimb, au recomandat ca, în viitor, laboratoarele de AI să publice rezultatele pe depozite științifice, cu demonstrații formalizate în Lean, informații despre modul în care au fost alese problemele, finanțare pentru cei care lucrează la înțelegerea rezultatelor și alte informații. Cu alte cuvinte: poate nu tratați știința revoluționară ca pe o prevânzare VIP.

Grupul de informatică a decis să publice astăzi pe GitHub raportul rezultatului AI și demonstrația Lean. De asemenea, au publicat o scrisoare deschisă către comunitate, cerând păreri despre cum să examineze afirmația și despre stabilirea unor norme pentru tratarea descoperirilor generate de AI. Scrisoarea pune trei întrebări mai largi: Ce așteptări ar trebui să guverneze accesul timpuriu la rezultatele generate de AI, divulgarea conflictelor de interese și utilizarea materialului nepublicat pentru cercetări ulterioare? Cum ar trebui creditată recunoașterea atât a noilor descoperiri, cât și a muncii de verificare, corectare, simplificare, explicare și extindere a acestora? Cum putem sprijini studenții