OpenAI zegt drie wiskundige preprints terug te trekken nadat in een centraal bewijs een tekenfout is ontdekt. Door de fout klopt een stap waarin termen in de stabilisatie-trace tegen elkaar worden weggestreept niet, wat ook twee latere papers ondermijnt die op het resultaat voortbouwden. Het gaat om de volgende manuscripten: • 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 heeft meldingen aan de papers toegevoegd en links naar de gearchiveerde versies geplaatst, zodat lezers de fout kunnen bekijken.
Wat is er nog meer aangepast?
Naast de terugtrekkingen heeft OpenAI 14 andere manuscripten herzien. De aanpassingen dichten gaten in bewijzen, verduidelijken aannames en corrigeren verwijzingen. Het gaat onder meer om Lipschitz-hoogten, Kähler-minimale-modellenprogramma’s en hypersymplectische vervorming. Nog eens dertien papers zijn bijgewerkt met verwijzingen naar herziene versies van verwant werk. De organisatie heeft ook zes nieuwe formaliseringen toegevoegd. Daarmee is ongeveer 42 % (300 van de 719) van de belangrijkste resultaten formeel geverifieerd.
Waarom het ertoe doet
Voor wiskundigen die het werk van OpenAI aan formele verificatie volgen, betekent de terugtrekking dat er een gat in de literatuur zit. Dat kan gevolgen hebben voor onderzoek dat naar de drie resultaten verwijst. Lezers kunnen nu precies zien waar de fout zat en voorkomen dat ze voortbouwen op het ondeugdelijke bewijs. De bredere gemeenschap heeft daarnaast baat bij de 14 herstelde papers en de nieuwe formaliseringen, die de betrouwbaarheid van OpenAI’s wiskundebibliotheek vergroten.
