OpenAI:s nästan 400 AI-genererade matematiska resultat kan ta år att bedöma

OpenAI publicerade nästan 400 AI-genererade matematiska resultat i mer än 700 manuskript, inom områden från talteori och geometri till teoretisk datavetenskap och matematisk fysik. Matematiker som talade med The Verge sade att det kan ta år att förstå samlingen.

Publiceringen innehöll en innehållsförteckning och abstracts på omkring 40 sidor. Forskare sade att det tog större delen av en timme bara att läsa det materialet och att samlingens omfattning gjorde en första bedömning svår.

Graden av verifiering varierar mellan manuskripten. OpenAI uppgav att 300 huvudresultat av 719 manuskript hade formaliserats, alltså omkring 42 procent, och att många, men inte alla, manuskript hade formaliserats i Lean. OpenAI sade att företaget skulle lägga till fler formaliseringar i takt med att de blev tillgängliga.

Forskare varnade för att Lean-kod inte i sig avgör om en artikels påståenden stämmer: de måste kontrollera att det formaliserade beviset motsvarar resultatet som beskrivs i manuskriptet. Flera matematiker sade till The Verge att bevisens kvalitet och överensstämmelse med manuskriptens påståenden varierade.

Vissa forskare sade att deras första intryck var bättre än väntat, men betonade att det inte nödvändigtvis innebar att arbetet uppfyllde akademiska standarder. Enligt artikeln gör den stora mängden material och den ojämna verifieringen det svårt att bedöma samlingen som helhet.