OpenAI, temel bir ispattaki işaret hatasının ortaya çıkmasının ardından yayımlanmamış üç matematik makalesini geri çektiğini açıkladı. Hata, stabilizasyon izi iptal adımını geçersiz kılıyor ve bu sonucun üzerine kurulan iki sonraki makalenin dayanaklarını da zayıflatıyor. Geri çekilen çalışmalar şunlar: • Bölünmüş abelyen sekizkatlılarda Weil sınıflarının cebirselliği • K3 yüzeyleri için Kuga–Satake karşılıklarının cebirselliği • K3 yüzeylerinin çarpımları için rasyonel Hodge varsayımı OpenAI, okuyucuların ispatta oluşan boşluğu görebilmesi için makalelere bildirimler ekledi ve arşivlenmiş sürümlere bağlantı verdi.
Başka neler güncellendi?
OpenAI, geri çekmelere ek olarak 14 makalede düzeltme yaptı. Bu düzeltmeler ispatlardaki boşlukları gideriyor, varsayımları açıklığa kavuşturuyor ve atıfları düzeltiyor. Lipschitz yükseklikleri, Kähler minimal model programları ve hipersimpektik deformasyon da ele alınan konular arasında. Ayrıca 13 makale, ilgili çalışmaların gözden geçirilmiş sürümlerine atıf yapacak şekilde güncellendi. Kurum altı yeni biçimselleştirme de ekleyerek, başlıca sonuçlarının biçimsel olarak doğrulanmış oranını yaklaşık %42’ye (719 sonucun 300’ü) çıkardı.
Neden önemli
OpenAI’nin biçimsel doğrulama çalışmalarını izleyen matematikçiler için bu geri çekme, literatürde bir boşluk oluştuğu ve üç sonuçtan herhangi birine atıfta bulunan araştırmaların etkilenebileceği anlamına geliyor. Okuyucular artık hatanın tam olarak nerede oluştuğunu görebilir ve kusurlu ispatı temel almaktan kaçınabilir. Düzeltilen 14 makale ve yeni biçimselleştirmeler ise OpenAI’nin matematik kütüphanesinin güvenilirliğini artırarak daha geniş topluluğa katkı sağlıyor.
