Nyhet

OpenAI publicerar nya matematikresultat från intern AI-modell och delar Lean-bevis på GitHub

OpenAI släppte den 6 oktober 2026 en bred samling nya matematiska resultat som enligt bolaget har tagits fram av en intern frontier-modell. Resultaten publiceras i ett GitHub-arkiv, tillsammans med datorverifierade bevis i Lean och uppgifter om hur mycket beräkningskraft som gick åt. Modellen som gav resultaten är inte släppt, men OpenAI säger sig arbeta för att släppa den på ett ansvarsfullt sätt.

Det viktigaste i korthet

• OpenAI publicerade den 6 oktober 2026 nya matematiska resultat från en intern frontier-modell.

• Resultaten ligger i ett GitHub-arkiv, med protokoll för revideringar av artiklar och för citering.

• Många av bevisen delas som formaliseringar i Lean, ett programmeringsspråk som låter en dator kontrollera matematiska bevis.

• Enligt OpenAI använde ett genomsnittligt resultat beräkningskraft motsvarande ungefär tre timmars tänkande i ChatGPT Pro.

• Arkivet innehåller bland annat 10 sammanfattningar av modellens resonemang, uppskattningar av förbrukad beräkningskraft och statistik över antalet försökta problem.

• OpenAI uppger att modellen ännu är intern men att man arbetar för att släppa den ansvarsfullt.

Vad har hänt

OpenAI har publicerat en bred uppsättning nya matematiska resultat, som enligt bolaget producerats av en intern frontier-modell. I sin beskrivning skriver bolaget att resultaten gäller öppna problem inom matematik. Resultaten har inte släppts via en tidskrift utan i ett GitHub-arkiv.

OpenAI säger att man har rådfrågat Advisory Group on Mathematics and Artificial Intelligence vid Institute for Advanced Study. Det är en oberoende grupp. Syftet har varit att ta fram bra arbetssätt för hur AI-resultat delas med matematikergemenskapen. OpenAI uppger att man har utgått från gruppens råd och offentliga rekommendationer när släppet utformades. Arkivet innehåller protokoll för hur artiklarna revideras och citeras. Bolaget skriver också att det undersöker alternativ som drivs av forskarsamhället själv och som följer kommitténs riktlinjer. Vid kommande släpp vill OpenAI förbättra artiklarnas kvalitet, bland annat genom bättre citat, matematisk framställning och presentation.

En central del är formaliseringar av många av bevisen i Lean. Eftersom en dator kan kontrollera bevis skrivna i Lean går de att verifiera maskinellt. OpenAI skriver att man kommer att komplettera arkivet med fler formaliseringar när de är klara.

För att visa hur resultaten togs fram publicerar OpenAI även extra material. Det gäller 10 sammanfattningar av modellens resonemang, uppskattningar av hur mycket beräkningskraft som lades på uppgifterna, uttryckt i ChatGPT Pro-användning, samt statistik över hur många problem som modellen försökte lösa. Enligt OpenAI krävde det genomsnittliga resultatet motsvarande ungefär tre timmars tänkande i ChatGPT Pro.

OpenAI säger också att man ska finansiera en serie workshoppar, konferenser och särskilda program kring hur större AI-framtagna resultat ska förstås. Mer information utlovas inom kort. Bolaget skriver att målet är att flytta fram gränsen för mänsklig kunskap och att ge forskare toppmoderna verktyg. Därför vill man fortsätta utvärdera sina interna modeller inom matematik och andra naturvetenskaper. OpenAI lovar att ta till sig feedback och uppdatera sina normer för framtida redovisningar av stora vetenskapliga framsteg.

Vad det betyder för dig i Sverige

Källan tar inte upp Sverige eller svenska forskare. Materialet är öppet publicerat på GitHub, så den som vill granska resultaten, Lean-bevisen och de tillhörande detaljerna kan göra det. Det gäller även matematiker och forskare i Sverige. Modellen som gav resultaten är inte släppt, och det finns ingen uppgift om när eller hur den blir tillgänglig, eller om den i så fall blir tillgänglig i Sverige.

Det här vet vi inte än

• Källan anger inte när modellen släpps, vad den kommer att heta, vad den kommer att kosta eller vilka som får tillgång.

• Det framgår inte här hur många resultat som publicerats eller hur många av bevisen som hittills har formaliserats i Lean. OpenAI säger bara att fler ska läggas till.

• Det är inte känt vilka workshoppar, konferenser och program OpenAI ska finansiera. Mer information utlovas.

• OpenAI utreder fortfarande andra, community-drivna plattformar för publiceringen, och det är oklart vilken som kan bli aktuell.

• Resultaten är publicerade av OpenAI självt. Källan beskriver ingen oberoende granskning av dem.