Prezentăm progresele IA în matematică
Publicăm o gamă largă de rezultate matematice noi, obținute de un model intern de vârf.
Pentru a standardiza modul în care comunicăm rezultatele comunității matematice, ne-am consultat cu Grupul consultativ independent pentru matematică și inteligență artificială din cadrul Institutului de Studii Avansate(se deschide într-o fereastră nouă) în vederea elaborării unor bune practici. Integrăm sfaturile și recomandările publice(se deschide într-o fereastră nouă) ale grupului în modul în care publicăm aceste rezultate.
De această dată, publicăm rezultatele într-un depozit GitHub, însoțite de protocoale pentru revizuirea și citarea lucrărilor. Continuăm să explorăm și alte alternative găzduite de comunitate pentru publicarea acestor rezultate, care să respecte recomandările comitetului. Pentru publicațiile viitoare, ne angajăm să îmbunătățim în continuare calitatea lucrărilor prin citări, expunerea matematică și prezentarea rezultatelor, astfel încât acestea să fie mai ușor de înțeles.
În depozitul nostru GitHub, punem la dispoziție formalizări ale multor demonstrații în Lean, un limbaj de programare care permite verificarea demonstrațiilor matematice cu ajutorul unui calculator. Vom adăuga noi formalizări în depozit pe măsură ce le obținem.
Pentru a promova transparența și deschiderea în știință, publicăm în depozit și detalii suplimentare despre modul în care am obținut rezultatele. Acestea includ 10 rezumate ale raţionamentului modelului, estimări ale resurselor de calcul consumate, exprimate în echivalentul utilizării Pro în ChatGPT, și statistici privind numărul de probleme pentru care s-a încercat găsirea unei soluții. În medie, obținerea unui rezultat a necesitat resurse de calcul echivalente cu aproximativ trei ore de gândire în ChatGPT Pro.
Ne dorim ca aceste progrese să extindă limitele cunoașterii umane și să permită noi progrese în matematică. Vom finanța o serie de ateliere, conferințe și programe speciale dedicate înțelegerii rezultatelor majore obținute de IA. Vom oferi mai multe detalii în viitorul apropiat.
Dorim să le oferim oamenilor de știință acces direct la cele mai avansate capacități și lucrăm la lansarea responsabilă a modelului care a obținut aceste rezultate. De aceea, este important să continuăm să evaluăm modelele noastre interne de vârf în matematică și în alte științe, pentru a putea accelera dezvoltarea instrumentelor care să contribuie la progresul acestor domenii. Vom continua să ținem cont de feedbackul comunității și să ne actualizăm standardele pentru comunicarea viitoarelor progrese științifice majore.
