OpenAI ha dichiarato che ritirerà tre articoli matematici preprint dopo che è stato individuato un errore di segno in una dimostrazione fondamentale. L’errore invalida un passaggio di cancellazione nella traccia di stabilizzazione e compromette anche due articoli successivi basati sul risultato. I manoscritti ritirati sono: • 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 ha aggiunto avvisi agli articoli e inserito un collegamento alle versioni archiviate, così che i lettori possano vedere la lacuna.
Cos’altro è stato aggiornato?
Oltre ai ritiri, OpenAI ha corretto altri 14 manoscritti. Le modifiche colmano lacune nelle dimostrazioni, chiariscono le ipotesi e correggono le citazioni. Tra gli ambiti interessati figurano le altezze di Lipschitz, i programmi dei modelli minimi Kähler e le deformazioni ipersimplessiche. Altri tredici articoli sono stati aggiornati per citare le versioni riviste di lavori correlati. L’organizzazione ha inoltre aggiunto sei nuove formalizzazioni, portando a circa il 42 % la quota dei risultati principali verificati formalmente (300 su 719).
Perché conta
Per i matematici che seguono il lavoro di OpenAI sulla verifica formale, il ritiro lascia una lacuna nella letteratura e potrebbe incidere su tutte le ricerche che hanno citato quei tre risultati. Ora i lettori possono vedere con precisione dove si è verificato l’errore ed evitare di basarsi sulla dimostrazione errata. La comunità nel complesso può comunque beneficiare dei 14 articoli corretti e delle nuove formalizzazioni, che migliorano l’affidabilità della raccolta matematica di OpenAI.
