OpenAI, işaret hatası merkezi kanıtı çökertince üç matematik makalesini geri çekti

Ne oldu

OpenAI, tek bir işaret hatasının merkezî kanıtlarından birini zayıflattığını fark ettikten sonra üç matematik makalesini araştırma kaydından geri çekti. Hacker News'in ana sayfasında öne çıkan, GitHub'daki openai/math deposunda yayımlanan bir changelog'a göre sorun "Algebraicity of Weil classes on split abelian eightfolds" başlıklı makalede: hatalı bir işaret, stabilizasyon izlerini içeren bir akıl yürütmedeki bir sadeleşme adımını bozuyor ve bu akıl yürütmenin üzerine inşa edilen yapı, ona bağımlı iki makale için de taşıyıcı nitelikteydi.

Sonuç olarak üç makalenin tamamı etkin kayıttan kaldırıldı: Weil classes makalesi, "Algebraicity of Kuga–Satake Correspondences for K3 Surfaces" ve "The rational Hodge conjecture for products of K3 surfaces." Changelog'a göre geri çekilen makaleler artık boşluğu açıklayan ve arşivlenmiş kopyalara bağlantı veren notlar taşıyor; revize edilen makalelerin önceki sürümleri ise README dosyalarındaki sürüm notları üzerinden erişilebilir durumda.

On dört makale daha onarıldı

7 Ekim 2026 tarihli kayıt yalnızca geri çekmelerden ibaret değil. OpenAI, 14 makalede daha yapılan onarımları da listeliyor: kanıt düzeltmeleri, düzeltilmiş ifadeler, keskinleştirilmiş varsayımlar ve bağımlılık açıklamalarının yanı sıra kaldırılan bir eskimiş atıf.

Düzeltmeler birkaç alanı kapsıyor:

• Lipschitz yükseklikleri ve Ashkin–Teller akımları (4 makale): kesişim, sınır-bağlanma, koşullandırma ve yakınsaklık argümanları onarıldı; real-Lipschitz arayüz kanıtı üzerine ek çalışmalar da eklendi.
• Kähler minimal model programları ve bolluk (6 makale): pozitiflik ve daralma argümanları genişletildi; makaleler artık hangi sonuçları girdi olarak kullandıklarını ve bu girdilerin gerektirdiği varsayımları daha net biçimde belirtiyor.
• Taming ve hipersimplektik deformasyon (2 makale): "Taming implies compatibility" makalesindeki konilerin eşitliğini iddia eden bir önerme düzeltildi, katı kapsama örneği eklendi ve hipersimplektik makaleden gereksiz bir koni-karşılaştırma bağımlılığı çıkarıldı.
• Incompressible Box Transport ve Sonlu Hesaplama: torus-projeksiyonu ve ortak saat tahminleri revize edildi.
• Exact Birch–Swinnerton-Dyer Formula from Low Selmer Corank: kaldırılmış bir destekleyici makaleye yapılan eskimiş giriş atfı silindi.

Ayrıca 13 makale, yalnızca eşlik eden makalelerin revize edilmiş sürümlerine atıf yapmak için güncellendi; referanslar ve sürüm tarihleri tazelendi.

Formalizasyon sürüyor

Changelog ayrıca altı yeni formalizasyonu ve destekleyici sonuçları kapsayan beş eklemeyi de kaydediyor. Böylece en üst düzey sonuçların formalize edilmiş payı 719'un 300'üne, yani kabaca yüzde 42'ye ulaştı.

Neden önemli

Geri çekmeler matematikte olur, ama tek bir karakter düzeyindeki hatanın tetiklediği toplu bir geri çekme, uzun kanıt zincirlerinin ne kadar kırılgan olduğunu çarpıcı biçimde gösteriyor. Bir argümandaki işaret hatası, ona bağımlı iki sonucu daha sessizce geçersiz kıldı; bu, tam da resmî doğrulama araçlarının yakalaması amaçlanan türden bir zincirleme etki. Bu da programın yüzde 42'lik formalizasyon oranını, kapsanan kadar kapsanmayan tarafıyla da ilginç kılıyor.

Olay, yapay zekâ destekli araştırmaya duyulan güven bakımından da önemli. Changelog, kanıtların OpenAI'nin modelleri mi, insan matematikçiler mi yoksa ikisinin bir bileşimi mi tarafından üretildiğini ya da hatanın nasıl bulunduğunu söylemiyor. Gösterdiği şey, bir laboratuvarın matematiksel çıktısını sürümlü ve denetlenebilir bir külliyat olarak ele alması: hatalar kamuya açık biçimde belgeleniyor, geri çekilen makaleler arşivlenmiş biçimde erişilebilir kalıyor ve bağımlı atıflar izlenip güncelleniyor. Bu şeffaflık daha yüreklendirici olan sinyal. Yapay zekâ destekli matematiğin güven kazanması için bu tür görünür öz-düzeltmenin haber değeri taşıyan bir durum olmaktan çıkıp rutin hale gelmesi gerekecek.