# OpenAI, ispat hatası bulunan üç matematik makalesini geri çekti

> OpenAI, 7 Ekim 2026’da bir işaret hatasının temel argümanları geçersiz kılması nedeniyle cebirsel geometri alanındaki üç makalesini geri çektiğini duyurdu.

Oossa · 2026-10-08 · https://oossa.com/tr/openai-pulls-three-math-papers-after-proof-error-discovered

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ı.

## Gerçekler

- Geri çekmeler 7 Ekim 2026’da duyuruldu.
- Üç makale, işaret hatasının stabilizasyon izi iptal argümanını geçersiz kılması nedeniyle geri çekildi.
- OpenAI 14 makaleyi düzeltti, 13 makaledeki atıfları da güncelledi.
- Altı yeni biçimselleştirme eklendi; biçimselleştirilen sonuçların oranı toplamın yaklaşık %42’sine çıktı.
- Geri çekilen makalelerde artık arşivlenmiş sürümlere bağlantı veren bildirimler yer alıyor.

## 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.

## Kaynaklar ve referanslar

1. [OpenAI Withdraws 3 Math Papers](https://github.com/openai/math/blob/main/history.md) – Hacker News, 2026-10-08
2. [OpenAI’s math solutions aren’t meeting the field’s standards yet](https://techcrunch.com/2026/10/08/openais-math-solutions-arent-meeting-the-fields-standards-yet/) – TechCrunch, 2026-10-08
3. [Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field](https://the-decoder.com/some-mathematicians-call-for-openai-boycott-after-ai-generated-proofs-flood-their-field/) – The Decoder, 2026-10-08
4. [OpenAI withdraws three mathematical results](https://twitter.com/danintheory/status/2108065033070789090) – Hacker News, 2026-10-08

Son güncelleme: 2026-10-08