OpenAI udgiver 722 AI-skrevne matematikartikler, men langt fra alle er tjekket

OpenAI har offentliggjort 722 matematiske manuskripter, som en intern og endnu ikke udgivet AI-model har skrevet. De ligger frit tilgængelige på GitHub, en side hvor man deler kode og dokumenter. OpenAI siger, at samlingen indeholder løsninger på hundredvis af åbne problemer. Det er spørgsmål, som matematikere endnu ikke har kunnet svare på.

Hvad er der udgivet?

Manuskripterne er sorteret i 372 familier inden for ren matematik, teoretisk datalogi og matematisk fysik. Ifølge omtalen på Interesting Engineering blev der i alt forsøgt løst omkring 4.000 problemer, og de udgivne er et udvalg derfra. Hvert resultat kostede i gennemsnit omtrent så meget regnekraft som tre timers tænkning i ChatGPT Pro.

Modellen har ikke et offentligt navn og kan ikke bruges af almindelige brugere endnu.

Hvor sikre er resultaterne?

Her er det vigtigt at holde tungen lige i munden. Mange af manuskripterne har en såkaldt Lean-version. Lean er et programmeringssprog, hvor en computer kan kontrollere, at hvert enkelt trin i et matematisk bevis følger logisk af det foregående. Det er en slags automatisk faktatjek af matematik.

Kun omkring hvert femte manuskript har sådan et computertjekket bevis, ifølge en gennemgang af udgivelsen. OpenAI skriver selv, at de øvrige kan have fejl. Og selv Lean-kontrol beviser ikke automatisk, at hele påstanden er rigtig, fordi problemet også skal være oversat korrekt til Lean.

OpenAI har ladet en uafhængig rådgivningsgruppe om matematik og AI ved Institute for Advanced Study kigge med undervejs. Firmaet venter, at feedback fra matematikere vil påvirke fremtidige udgivelser.

Baggrund

Udgivelsen kommer efter en række lignende meldinger fra OpenAI i år. I maj fremlagde en intern model et modeksempel til et problem om afstande mellem punkter, som Paul Erdős stillede i 1946. I august fulgte ti nye matematiske fremskridt fra modellen Astra. Matematikeren Timothy Gowers har sagt, at maj-resultatet kunne have været udgivet i et af fagets fineste tidsskrifter.

Hvad betyder det for dig?

Det betyder ikke noget i din hverdag lige nu. Men det er et tegn på, at AI begynder at bidrage til forskning, ikke kun til at skrive mails og opsummere tekster. Mængden er nu så stor, at menneskelige matematikere skal bruge lang tid på at afgøre, hvor mange af de 722 resultater der faktisk holder.