OpenAI uppgav att företaget drar tillbaka tre matematiska förhandsartiklar efter att ett teckenfel upptäckts i ett centralt bevis. Felet gör ett steg med en annullering av stabiliseringsspår ogiltigt, vilket också undergräver två senare artiklar som bygger på resultatet. De tillbakadragna manuskripten är: • Algebraicity of Weil classes on split abelian eightfolds • Algebraicity of Kuga–Satake Correspondences for K3 Surfaces • The rational Hodge conjecture for products of K3 surfaces OpenAI har lagt till meddelanden i artiklarna och länkat till arkiverade versioner så att läsarna kan se bristen.
Vad mer uppdaterades?
Samtidigt som artiklarna drogs tillbaka rättade OpenAI 14 andra manuskript. Rättelserna åtgärdar luckor i bevis, förtydligar antaganden och korrigerar hänvisningar. Bland områdena som berörs finns Lipschitz-höjder, Kählers minimala modellprogram och hypersymplektisk deformation. Ytterligare 13 artiklar uppdaterades med hänvisningar till de reviderade versionerna av relaterat arbete. Organisationen lade också till sex nya formaliseringar, vilket innebär att andelen huvudresultat som verifierats formellt nu är cirka 42 % (300 av 719).
Varför det spelar roll
För matematiker som följer OpenAIs arbete med formell verifiering innebär tillbakadragandet en lucka i forskningslitteraturen som kan påverka forskning som hänvisat till de tre resultaten. Läsarna kan nu se exakt var felet uppstod och undvika att bygga vidare på det felaktiga beviset. Den bredare forskarvärlden har fortfarande nytta av de 14 rättade artiklarna och de nya formaliseringarna, som gör OpenAIs matematikbibliotek mer tillförlitligt.
