Predstavljamo napredak umjetne inteligencije u matematici
Objavljujemo širok raspon novih matematičkih rezultata do kojih je došao interni granični model.
Kako bismo standardizirali način na koji dijelimo rezultate s matematičkom zajednicom, konsultujemo se s nezavisnom Savjetodavnom grupom za matematiku i umjetnu inteligenciju pri Institutu za napredne studije(otvara se u novom prozoru) radi razvoja najboljih praksi. Njihove savjete i javne preporuke(otvara se u novom prozoru) primjenjujemo pri objavljivanju ovih rezultata.
Ove rezultate objavljujemo u repozitoriju na GitHubu, uz protokole za reviziju i citiranje radova. Nastavljamo istraživati i druge mogućnosti za objavljivanje ovih rezultata na platformama koje vodi zajednica, a koje ispunjavaju smjernice odbora. Pri budućim objavama posvećeni smo daljnjem unapređenju kvaliteta radova kroz bolje navođenje izvora, matematičko izlaganje i predstavljanje rezultata radi lakšeg razumijevanja.
U našem repozitoriju na GitHubu dijelimo formalizacije mnogih dokaza u jeziku Lean, programskom jeziku koji omogućava računarsku provjeru matematičkih dokaza. Repozitorij ćemo dopunjavati novim formalizacijama kako budu dostupne.
Radi poticanja naučne transparentnosti i otvorenosti, u repozitoriju objavljujemo i dodatne detalje o tome kako smo došli do rezultata. To uključuje 10 sažetaka rezonovanja modela, procjene utrošenih računarskih resursa izražene kroz korištenje modela Pro u usluzi ChatGPT te statistiku o broju problema koje je model pokušao riješiti. Za jedan rezultat u prosjeku su utrošeni računarski resursi ekvivalentni približno trima satima razmišljanja u usluzi ChatGPT Pro.
Želimo da ovaj napredak pomjeri granice ljudskog znanja i omogući daljnji napredak u matematici. Finansirat ćemo niz radionica, konferencija i posebnih programa posvećenih razumijevanju značajnih rezultata do kojih je došla umjetna inteligencija. Više o tome objavit ćemo u bliskoj budućnosti.
Želimo naučnicima direktno staviti na raspolaganje najsavremenije mogućnosti i radimo na tome da odgovorno objavimo model koji je proizveo ove rezultate. Zato je važno nastaviti procjenjivati sposobnosti naših internih graničnih modela u matematici i drugim naukama, kako bismo ubrzali razvoj alata za unapređenje tih oblasti. Nastavit ćemo postupati prema povratnim informacijama zajednice i ažurirati naše standarde za buduće objave značajnih naučnih dostignuća.
