OpenAI publicerar stor samling matematiska genombrott från ej publicerad AI-modell

Bild: The Verge · Källa

OpenAI har släppt 722 manuskript som beskriver lösningar på hundratals länge öppna matematiska problem, framtagna av en intern AI-modell som inte tidigare offentliggjorts. Arbetet, delat via GitHub, bidrar till AI-drivna framsteg samtidigt som det väcker frågor kring forskningsetik och akademiska normer.

OpenAI har offentliggjort en omfattande samling matematiska resultat skapade av en ej publicerad intern artificiell intelligensmodell, bestående av 722 manuskript grupperade i 372 familjer av relaterade artiklar. Denna stora publicering sägs lösa hundratals länge öppna frågor inom olika områden av matematiken, och följer därmed en nyligen etablerad trend av AI-assisterade genombrott inom fältet. Materialen finns tillgängliga på ett offentligt GitHub-repository, inklusive formaliserade bevis, sammanfattningar av resonemang och stödjande artefakter.

Enligt OpenAI härstammar majoriteten av resultaten från en konsekvent process där den interna modellen tillämpades på cirka 4 000 problem, med en genomsnittlig beräkningstid motsvarande tre timmar på ChatGPT Pro per resultat. Dessa enskilda utskrifter sammanställdes, organiserades noggrant och granskades innan de publicerades. Vissa komplexa fall, såsom bevis relaterade till nollfria områden av Riemanns zetafunktion och Hodge-förmodan för CM-abelska varieteter, involverade undantag från standardprocessen och mänsklig redigering för tydlighet.

Det publicerade repositoryt erbjuder en detaljerad katalog sorterad efter matematisk disciplin, vilket möjliggör navigering genom huvudresultaten och deras följesedlar. Många manuskript har tillhörande formella verifieringar med Lean proof assistant, även om en del ännu inte formaliserats och kan innehålla fel, vilka OpenAI åtar sig att åtgärda i framtida uppdateringar.

Denna offentliggörande följer rekommendationer från Advisory Group on Mathematics and Artificial Intelligence, som uppmanade AI-forskningslaboratorier att snabbt dela matematiska fynd via etablerade akademiska kanaler samtidigt som de tillhandahåller transparent information såsom modellnamn, träningsdata och beräkningskostnader. Gruppen varnade också för att använda sådana resultat enbart som marknadsföringsverktyg på grund av potentiell skada för matematikgemenskapen.

Den bredare effekten av dessa AI-genererade resultat är ännu under utveckling medan matematiker världen över granskar och validerar fynden. Dessa insatser bidrar till en snabbt växande mängd AI-baserad matematisk forskning, med insatser från laboratorier som Anthropic som likaledes arbetat med svåra problem inklusive Millennium Prize-frågor. Den accelererade takten av AI:s engagemang med grundläggande matematik leder till diskussioner om forskningsetik, akademiskt erkännande och mänskliga matematiker vars tidigare arbete utgör grund för AI-prestationerna.

OpenAI planerar att upprätthålla offentlig versionskontroll för dessa manuskript för att möjliggöra löpande revisioner och säkerställa transparens. Företaget undersöker även ytterligare community-baserade plattformar för att distribuera och gemensamt förbättra det matematiska innehållet. Denna release markerar en betydande milstolpe i integrationen av AI inom matematisk forskning och framhäver både anmärkningsvärd potential och komplexiteten i ansvarsfull innovation.