Den 6 oktober lade OpenAI ut nästan 400 grupper av matematiska resultat i 719 manuskript. De kommer från en intern modell som ännu inte är tillgänglig för användare och rör öppna problem inom matematik och teoretisk datavetenskap.
Några resultat kan vara viktiga, men publicering är inte samma sak som bevisad kunskap. Enligt The Verge hade 300 huvudresultat formaliserats i Lean, motsvarande omkring 42 procent av antalet manuskript. Lean är ett program som kan granska om logiska steg håller. Även då måste forskare kontrollera att programmet faktiskt bevisar det som texten påstår.
Här blir nyheten större än själva matematiken. AI kan nu producera forskning snabbare än människor hinner bedöma kvalitet, nyhet och korrekt kreditering. Den 8 oktober hade tre manuskript redan tagits bort efter att ett teckenfel gjort argument ogiltiga. Kritiker menar också att hundratals samtidiga dokument flyttar mycket arbete från upptäckt till sortering.
OpenAI beskriver materialet som framsteg och lovar fler formella kontroller. Ett rimligt förhållningssätt är därför: intressant och potentiellt betydelsefullt – men varje resultat måste förtjäna sin plats genom noggrann kontroll.