kunstig intelligens
OpenAI legger ut 377 matteresultater
OpenAI har publisert hundrevis av nye resultater fra en intern modell, men matematikerne er uenige om hva de er verdt.
Publisert
OpenAI har lagt ut resultater på 377 matematiske problemer fra en intern modell som ikke er sluppet til publikum.
Problemene spenner over algebra, tallteori, teoretisk informatikk, matematisk logikk og topologi.
Resultatene ligger i et GitHub-arkiv sammen med Lean-formaliseringer av mange av bevisene, regler for revisjon og sitering, og oppsummeringer av hvordan modellen resonnerte på ti av problemene.
Ifølge OpenAI blir flere bevis formalisert etter hvert. Selskapet oppgir også hvor mye regnekraft som er brukt, målt i ChatGPT Pro-bruk, og hvor mange problemer modellen har forsøkt seg på.
Kreativitet eller sluttspurt?
Fagmiljøet er delt. Noen matematikere mener modellen viser kreativ tenkning. Andre mener den bare gjør ferdig bevis basert på ideer fra menneskelige matematikere.
Det er ikke første gang OpenAI går denne veien. I august publiserte selskapet ti resultater med maskinsjekkbare Lean-bevis. I september opprettet OpenAI et rådgivende panel av ni matematikere ved Institute for Advanced Study i Princeton, etter at 25 vinnere av Fieldsmedaljen kritiserte det de mener er en forhastet publisering.
OpenAI har gjort det klart at panelet ikke skal gi råd om tempoet i selskapets egen matematikkforskning.
Ifølge The Information kom kunngjøringen samtidig som OpenAI henter ny kapital.
