OpenAI je napravio značajan korak ka otvorenijoj nauci. Kompanija je objavila niz novih matematičkih rezultata koje je proizveo njihov interni model veštačke inteligencije, označavajući ovo kao nastavak napora da se javnost upozna sa napretkom AI u fundamentalnim naukama.
Ono što ovu objavu čini posebno zanimljivom jeste nivo transparentnosti. OpenAI je rezultate objavio u GitHub repozitorijumu, zajedno sa formalizacijama mnogih dokaza u Lean programskom jeziku. Lean omogućava računarima da proveravaju matematičke dokaze, što znači da ovi rezultati nisu samo tvrdnje — oni su mašinski verifikovani.
Koliko je računarske moći utrošeno?
U duhu naučne otvorenosti, OpenAI je podelio i detalje o tome kako su rezultati dobijeni. Objavljeno je 10 sažetaka rezonovanja modela, procene potrošnje računarskih resursa izražene kroz korišćenje ChatGPT Pro, kao i statistike o broju pokušanih problema. Prosečan rezultat je koristio računarsku moć ekvivalentnu otprilike tri sata razmišljanja ChatGPT Pro modela.
Kompanija je navela da je sarađivala sa nezavisnom Savetodavnom grupom za matematiku i veštačku inteligenciju pri Institutu za napredne studije (Institute for Advanced Study) kako bi razvila najbolje prakse za objavljivanje ovakvih rezultata. Iako je ovo prva javna objava ove vrste, OpenAI je najavio da će nastaviti da unapređuje kvalitet radova kroz bolje citiranje i matematičku ekspoziciju.
Šta ovo znači za budućnost matematike?
OpenAI planira da finansira niz radionica, konferencija i specijalnih programa posvećenih razumevanju velikih rezultata koje proizvodi veštačka inteligencija. Cilj je jasan — da se naučnici direktno osnaže najsavremenijim alatima i da se ubrza razvoj u oblastima poput matematike i drugih nauka.
Kompanija je takođe naglasila da namerava da odgovorno objavi model koji je proizveo ove rezultate, uz kontinuiranu evaluaciju internih modela na polju matematike. Ovo je jasan signal da trka u razvoju AI za naučne svrhe ne pokazuje znake usporavanja.
Za više detalja i pristup samim rezultatima, pogledajte zvaničnu objavu OpenAI.