OpenAI har udgivet en stor samling af matematiske forskning produceret af en intern grænse AI model, herunder arbejde på problemer, der har udfordret professionelle matematikere i årevis.
Virksomheden annoncerede udgivelsen den 6. oktober, siger resultaterne dækker en bred vifte af matematik og bliver offentliggjort åbent for undersøgelse af forskere.
Den offentlige samling indeholder 722 manuskripter organiseret i 372 relaterede resultat familier, ifølge OpenAI 's udvikler samfund. Arbejdet opstod fra en evaluering involverer omkring 4.000 matematiske problemer.
Den Verge rapporterer, at samlingen spænder hundredvis af matematiske resultater genereret af en ufrigivet grænse model. Men offentliggørelse betyder ikke, at alle krav straks skal behandles som etableret matematiske kendsgerning. Forskerne bliver nødt til at undersøge beviserne og bestemme betydningen og nyheden af individuelle resultater.
En særlig vigtig funktion er, at OpenAI har leveret formaliseringer af mange beviser ved hjælp af Lean, et programmeringssprog, der tillader matematiske beviser, der skal kontrolleres af computeren. Virksomheden siger yderligere formaliseringer vil blive tilføjet over tid.
OpenAI også afsløret en slående foranstaltning af computing involveret. I gennemsnit krævede hvert resultat computing svarende til omkring tre timers ChatGPT Pro tænker ved hjælp af den interne model.
Udgivelsen følger stadig mere dramatiske krav om AI 's evne til at bidrage til matematik. I september, OpenAI sagde den samme bredere forskning indsats havde løst mere end 100 langvarige åbne problemer, der får virksomheden til at arbejde med en uafhængig gruppe af fremtrædende matematikere om, hvordan sådanne opdagelser bør gennemgås og kommunikeres.
Denne rådgivende gruppe omfatter matematikere fra institutioner, herunder Stanford, Harvard, Oxford, Cambridge, Berkeley og Institute for Advanced Study. Dens rolle er ikke blot at støtte OpenAI 's arbejde, men at uafhængigt rådgive om betydningen, forskning standarder og ansvarlig offentliggørelse.
Det større spørgsmål nu går ud over, om AI kan besvare vanskelige matematik spørgsmål.
Hvis uafhængige matematikere i sidste ende kontrollere betydelige dele af dette arbejde, den nye grænse kan være, om AI rutinemæssigt opdage matematik, at mennesker ikke allerede kender.
