OpenAI a lansat o mare colecţie de cercetări matematice produse de un model de IA de frontieră internă, inclusiv lucrări pe probleme care au provocat matematicieni profesionişti de ani de zile.
Compania a anunțat lansarea pe 6 octombrie, declarând că rezultatele acoperă o gamă largă de matematică și sunt publicate deschis pentru control de către cercetători.
Colecţia publică conţine 722 de manuscrise organizate în 372 de familii rezultate, potrivit comunităţii de dezvoltatori OpenAI. Lucrarea a rezultat dintr-o evaluare care a implicat aproximativ 4.000 de probleme matematice.
Verge raportează că colecţia se întinde pe sute de rezultate matematice generate de un model de frontieră neeliberat. Dar publicarea nu înseamnă că orice revendicare ar trebui tratată imediat ca fapt matematic stabilit. Cercetătorii vor trebui să examineze dovezile și să determine importanța și noutatea rezultatelor individuale.
O caracteristică deosebit de semnificativă este faptul că OpenAI a furnizat formalizări ale multor dovezi folosind Lean, un limbaj de programare care permite verificarea de către calculator a dovezilor matematice. Compania spune că formalizări suplimentare vor fi adăugate în timp.
OpenAI a dezvăluit, de asemenea, o măsură izbitoare a calculatorului implicat. În medie, fiecare rezultat a necesitat calcul echivalent cu aproximativ trei ore de ChatGPT Pro gândire folosind modelul intern.
Lansarea urmează afirmații din ce în ce mai dramatice despre capacitatea AI de a contribui la matematică. În septembrie, OpenAI a declarat că același efort mai amplu de cercetare a rezolvat peste 100 de probleme deschise de lungă durată, ceea ce a determinat compania să lucreze cu un grup independent de matematicieni importanți cu privire la modul în care aceste descoperiri ar trebui revizuite și comunicate.
Acest grup consultativ include matematicieni din instituții, inclusiv Stanford, Harvard, Oxford, Cambridge, Berkeley și Institutul pentru Studiu Avansat. Rolul său nu este doar de a susține activitatea OpenAI, ci de a consilia independent cu privire la semnificație, standardele de cercetare și dezvăluirea responsabilă.
Întrebarea mai mare merge acum dincolo de dacă AI poate răspunde la întrebări matematice dificile.
Dacă matematicienii independenți verifică în cele din urmă porțiuni semnificative ale acestei lucrări, noua frontieră poate fi dacă AI poate descoperi în mod obișnuit matematica pe care oamenii nu o știu deja.