Predstavljamo napredak umjetne inteligencije u matematici
Objavljujemo širok raspon novih matematičkih rezultata koje je ostvario interni granični model.
Kako bismo standardizirali način dijeljenja rezultata s matematičkom zajednicom, savjetujemo se s neovisnom Savjetodavnom skupinom za matematiku i umjetnu inteligenciju pri Institutu za napredne studije(otvara se u novom prozoru) o razvoju najboljih praksi. Njihove savjete i javne preporuke(otvara se u novom prozoru) primjenjujemo pri objavi ovih rezultata.
Ove rezultate objavljujemo u repozitoriju na GitHubu, uz protokole za revizije radova i citiranje. Nastavljamo istraživati druge mogućnosti objave ovih rezultata na platformama zajednice koje su u skladu sa smjernicama skupine. U budućim objavama nastavit ćemo poboljšavati kvalitetu radova kroz citiranje, matematičko izlaganje i prikaz rezultata kako bi bili razumljiviji.
U našem repozitoriju na GitHubu dijelimo i formalizacije mnogih dokaza u Leanu, programskom jeziku koji omogućuje računalnu provjeru matematičkih dokaza. U repozitorij ćemo dodavati nove formalizacije kako budu dostupne.
Kako bismo promicali transparentnost i otvorenost u znanosti, u repozitoriju objavljujemo i dodatne pojedinosti o tome kako smo došli do rezultata. One uključuju 10 sažetaka rasuđivanja modela, procjene utrošenih računalnih resursa izražene kroz upotrebu modela Pro u ChatGPT‑u te statistiku o broju problema koje je model pokušao riješiti. Za prosječan rezultat utrošeno je računalnih resursa koliko i za otprilike tri sata razmišljanja u ChatGPT Pro.
Želimo da ovaj napredak pomakne granice ljudskog znanja i omogući daljnji napredak u matematici. Financirat ćemo niz radionica, konferencija i posebnih programa usmjerenih na razumijevanje važnih rezultata koje je ostvarila umjetna inteligencija. Više o tome objavit ćemo uskoro.
Želimo znanstvenicima izravno omogućiti pristup najsuvremenijim mogućnostima te radimo na tome da model koji je ostvario ove rezultate učinimo dostupnim na odgovoran način. Zato je važno nastaviti procjenjivati sposobnosti naših internih graničnih modela u matematici i drugim znanostima kako bismo ubrzali razvoj alata za napredak tih područja. Nastavit ćemo uvažavati povratne informacije zajednice i ažurirati svoje standarde za buduće objave važnih znanstvenih postignuća.
