OpenAI je objavio novu rundu matematičkih rezultata koji obuhvaćaju rješenja za više od 370 dosad neriješenih problema. Sve to odrađeno je pomoću njihovog internog naprednog modela za matematičke zadatke, koji je nedavno (doduše, dosta kontroverzno) ponudio i rješenje za Milenijski problem Navier-Stokesovih jednadžbi.
Prilikom pripreme i objave ovih podataka, kompanija se savjetovala s neovisnom Savjetodavnom skupinom za matematiku i umjetnu inteligenciju pri Institutu za napredne studije (IAS). Na temelju njihovih preporuka i javnih smjernica uspostavljene su prakse dijeljenja rezultata s matematičkom zajednicom, sve s ciljem izbjegavanja nezadovoljstva, kakvo smo vidjeli pri objavi rečenih Navier-Stokes dokaza.
Podaci javno dostupni
Iz tog razloga svi su novi rezultati javno dostupni u GitHub repozitoriju, u sklopu kojeg su definirani i protokoli za revizije radova te citiranje. Za buduća izdanja najavljeno je dodatno podizanje kvalitete radova kroz poboljšanje citata, matematičkog izlaganja i opće prezentacije radi lakšeg razumijevanja.
U sklopu objavljenog repozitorija podijeljene su i formalizacije brojnih dokaza u programskom jeziku Lean, koji omogućuje da računalo provjeri točnost matematičkih dokaza. Iz OpenAI-ja napominju kako će repozitorij redovito nadopunjavati novim formalizacijama kako ih budu izrađivali. Dosad je proizvedeno ukupno 722 rada organizirana u 372 “obitelji”.
Jedan dokaz – tri sata rada
U svrhu poticanja znanstvene transparentnosti, objavljeni su i dodatni tehnički detalji o samom procesu dobivanja rezultata. Ti podaci uključuju deset sažetaka rezoniranja modela, procjene utrošene računalne snage izražene kroz korištenje ChatGPT Pro verzije te statistiku o broju pokušanih zadataka. Za izračun prosječnog rezultata, kažu, utrošena je računalna snaga ekvivalentna otprilike tri sata rezoniranja unutar sustava ChatGPT Pro.
Cilj ove inicijative jest pomicanje granica ljudskog znanja i poticanje daljnjeg napretka u matematici, poručuju iz OpenAI-a te najavljuju da planiraju financirati niz radionica, konferencija i posebnih programa usmjerenih na razumijevanje matematičkih rezultata koje je generirala umjetna inteligencija, a detaljnije informacije o tome objavit će uskoro. Sve to, čini se, pokušaj je “mirenja” s matematičkom i općenito znanstvenom zajednicom i uspostavljanja suradnje umjesto “natjecanja” u tome tko će prije i bolje riješiti pojedini otvoreni problem.
[post_publish_update_datetime]
