Compartim els avenços de la IA en matemàtiques
Publiquem un ampli ventall de nous resultats matemàtics obtinguts amb un model intern d'avantguarda.
Per establir un procediment comú per compartir resultats amb la comunitat matemàtica, hem consultat el Grup Assessor sobre Matemàtiques i Intel·ligència Artificial de l'Institut d'Estudis Avançats(s'obre en una finestra nova), un òrgan independent, per definir bones pràctiques. Estem incorporant els seus consells i les seves recomanacions públiques(s'obre en una finestra nova) a la manera com publiquem aquests resultats.
En aquesta ocasió, publiquem els resultats en un repositori de GitHub, amb protocols per a les revisions dels articles i les citacions. Continuem explorant altres alternatives allotjades per la comunitat per publicar aquests resultats que compleixin les directrius del comitè. De cara a futures publicacions, ens comprometem a continuar millorant la qualitat dels articles pel que fa a les citacions, l'exposició matemàtica i la presentació dels resultats per facilitar-ne la comprensió.
Al nostre repositori de GitHub, compartim formalitzacions de moltes de les demostracions en Lean, un llenguatge de programació que permet verificar demostracions matemàtiques amb un ordinador. Actualitzarem el repositori amb més formalitzacions a mesura que les obtinguem.
Per promoure la transparència i l'obertura de la ciència, també publiquem al repositori més detalls sobre com hem obtingut els resultats. Aquests detalls inclouen 10 resums del raonament del model, estimacions dels recursos de càlcul utilitzats expressades en termes d'ús de Pro a ChatGPT i estadístiques sobre el nombre de problemes que s'han intentat resoldre. De mitjana, cada resultat ha requerit recursos de càlcul equivalents a unes tres hores de raonament de ChatGPT Pro.
Volem que aquests avenços ampliïn els límits del coneixement humà i permetin continuar progressant en matemàtiques. Finançarem una sèrie de tallers, conferències i programes especials centrats en la comprensió de resultats importants obtinguts amb IA. Aviat en compartirem més detalls.
Volem posar capacitats d'última generació directament a l'abast dels científics i estem treballant per fer accessible de manera responsable el model que ha obtingut aquests resultats. Per això és important continuar avaluant els nostres models interns d'avantguarda en matemàtiques i altres ciències, per poder accelerar el desenvolupament d'eines que facin avançar aquests camps. Continuarem incorporant els comentaris de la comunitat i actualitzant els nostres criteris per a futures publicacions d'avenços científics importants.
