OpenAI har släppt en stor samling matematisk forskning som produceras av en internt gräns AI-modell, inklusive arbete med problem som har utmanat professionella matematiker i åratal.
Företaget meddelade frisläppandet den 6 oktober och säger att resultaten täcker ett brett utbud av matematik och publiceras öppet för granskning av forskare.
Den offentliga samlingen innehåller 722 manuskript organiserade i 372 relaterade resultatfamiljer, enligt OpenAI: s utvecklargemenskap. Arbetet växte fram ur en utvärdering med ungefär 4 000 matematiska problem.
Verge rapporterar att insamlingen spänner över hundratals matematiska resultat som genereras av en outgiven gränsmodell. Men publicering betyder inte att varje påstående omedelbart ska behandlas som etablerat matematiskt faktum. Forskare måste undersöka bevisen och bestämma vikten och nyheten av enskilda resultat.
En särskilt viktig funktion är att OpenAI har gett formaliseringar av många bevis med hjälp av Lean, ett programmeringsspråk som tillåter matematiska bevis som ska kontrolleras av datorn. Företaget säger att ytterligare formaliseringar kommer att läggas till över tiden.
OpenAI avslöjade också ett slående mått på datorn. I genomsnitt krävde varje resultat beräkning motsvarande ungefär tre timmar av ChatGPT Att tänka med den interna modellen.
Frisläppandet följer alltmer dramatiska påståenden om AI: s förmåga att bidra till matematik. I september sade OpenAI att samma bredare forskningsinsats hade löst mer än 100 långvariga öppna problem, vilket fick företaget att arbeta med en oberoende grupp av framstående matematiker om hur sådana upptäckter skulle granskas och kommuniceras.
Den rådgivande gruppen inkluderar matematiker från institutioner inklusive Stanford, Harvard, Oxford, Cambridge, Berkeley och Institute for Advanced Study. Dess roll är inte bara att stödja OpenAI: s arbete, utan att självständigt ge råd om betydelse, forskningsstandarder och ansvarsfullt avslöjande.
Den större frågan går nu utöver om AI kan svara på svåra matematikfrågor.
Om oberoende matematiker i slutändan verifierar betydande delar av detta arbete kan den nya gränsen vara om AI rutinmässigt kan upptäcka matematik som människor inte redan visste.
