OpenAI'ın ETH, Kakeya ve Kuantum Alan Kuramı Sonuçları: Ne İddia Ediliyor?

OpenAI, 26 Ekim 2026'da yayımladığı yazıda sisteminin Üstel Zaman Hipotezi'nin (ETH) yanlış olduğunu kanıtladığını ve bunun Lean'de doğrulandığını, ayrıca Kakeya varsayımı ile bir kuantum alan kuramı varlık kanıtı üzerinde sonuçlar ürettiğini duyurdu; üç sonuç için de bağımsız uzman incelemesi henüz tamamlanmış değil.

Bu sayfa OpenAI'ın "Working with academic communities to build scientific understanding" başlıklı yazısına dayanır. Haber sitelerinin özetlerinden bilgi aktarılmamış, metin Türkçe olarak sıfırdan yazılmıştır. Sayfa bir bilimsel sonucu doğrulamaz; OpenAI'ın kendi ifadesini ve yazının belirttiği inceleme durumunu aktarır.

Künye

Üç Sonuç Ne Diyor?

OpenAI'ın metnine göre modelleri, yerel yumuşatma (local smoothing) varsayımının her boyutta kanıtını üretti; bu da Kakeya varsayımını ve Stein'ın kısıtlama varsayımını tüm boyutlarda çözüyor. Çıktı 18 Ekim 2026'da alınmış ve ertesi gün Lean'de formalize edilmiş. OpenAI belgeleri "ham araştırma verisi" olarak niteliyor.

İkinci sonuç bilgisayar biliminden: OpenAI'ın metninde "sistemimiz ETH'nin yanlış olduğunu kanıtladı, sonuç sonradan Lean'de doğrulandı" anlamında bir cümle var. ETH, Boole formüllerinin sağlanabilirliğinin hesaplama karmaşıklığıyla ilgili bir varsayımdır. OpenAI'ın sayfasında bu varsayım bu çerçevede anlatılıyor. Yazı, işin bir grup tarafından doğrulanıp izleneceğini ve grupta Russell Impagliazzo, Ramamohan Paturi ve Ryan Williams'ın bulunduğunu söylüyor; bu gelecekte yapılacak bir adım olarak sunuluyor.

Üçüncü sonuç fizikten: OpenAI, dört boyutta ayar alanları ve fermiyonlar içeren belirli etkileşimli kuantum alan kuramlarının matematiksel olarak titiz bir varlık kanıtından söz ediyor. Yazı, bunun Yang-Mills problemiyle ilişkisini bir alt problem olarak anlatıyor ve bu sonucun bir ödül ya da kurum değerlendirmesiyle onaylandığını söylemiyor.

Lean Doğrulaması Ne Demek?

Lean, kanıtların bilgisayar tarafından adım adım denetlenebildiği bir kanıt asistanıdır. Bir kanıtın Lean'de doğrulanmış olması, formalize edilen ifadenin mantıksal olarak tutarlı olduğunu gösterir; ancak ifadenin gerçekten sorulan matematiksel soruyu doğru temsil edip etmediği ve sonucun bilim topluluğunca kabulü ayrı bir incelemeyle belli olur. Bu sayfa bu yüzden "çürütüldü" yerine OpenAI'ın iddiasını ve inceleme durumunu yazar.

İlgili Sayfalar

OpenAI'ın aynı haftadaki başka bir duyurusu için frontier model eğitiminde internet erişimi politikası sayfamıza bakabilirsiniz.

Bu Sayfada Ne Yok?

• Sonuçların bilim topluluğunca kabul edildiği: yazıda tamamlanmış bir dış inceleme ya da hakemli yayın belirtilmediği için yazılmamıştır.
• "3-SAT" ifadesi: OpenAI'ın sayfasında bu terim geçmediği için kullanılmamıştır.
• Millennium Ödülü ya da "problem çözüldü" iddiası: OpenAI böyle bir değerlendirmeden söz etmediği için yazılmamıştır.
• Kakeya için "akran denetimli" ya da "dergide yayımlandı" ifadesi: OpenAI belgeleri ham araştırma verisi olarak niteliyor; böyle bir ifade yoktur.
• Kuantum alan kuramı sonucunun Lean formalizasyonu: yazıda tamamlandığı belirtilmediği için doğrulanamamıştır.
• Sonuçların pratik kullanımı (kriptografi, algoritmalar vb.): kaynakta yer almadığı için yazılmamıştır.
• Sonuçlar hakkında bağımsız matematikçilerin görüşleri: birincil kaynakta olmadığı için aktarılmamıştır.

Sık Sorulan Sorular

OpenAI ne duyurdu?

Sisteminin ETH'nin yanlış olduğunu kanıtladığını, Kakeya varsayımı üzerinde sonuç ürettiğini ve belirli kuantum alan kuramları için varlık kanıtı elde ettiğini duyurdu.

ETH çürütüldü mü?

OpenAI bunu iddia ediyor ve Lean'de doğrulandığını söylüyor. Bağımsız uzman incelemesi henüz tamamlanmadı, bu yüzden kesinleşmiş bir sonuç olarak yazılamaz.

Lean nedir?

Kanıtların bilgisayar tarafından adım adım denetlenebildiği bir kanıt asistanıdır.

Kakeya varsayımı kanıtlandı mı?

OpenAI kanıtı ürettiğini ve Lean'de formalize ettiğini yazıyor. Yazıda hakemli yayın ya da dış inceleme belirtilmiyor.

Yang-Mills problemi çözüldü mü?

Hayır, böyle bir iddia yok. OpenAI belirli kuantum alan kuramları için varlık kanıtından söz ediyor ve Yang-Mills'i bir alt problem olarak anıyor.

Sonuçları kim inceleyecek?

ETH için Russell Impagliazzo, Ramamohan Paturi ve Ryan Williams'ın bulunduğu bir grup doğrulama ve izleme yapacak; bu gelecekte yapılacak bir adım.

Kaynak ve kapsam: OpenAI'ın 26 Ekim 2026 tarihli "Working with academic communities to build scientific understanding" yazısı (openai.com). Dış inceleme sonuçları, hakemli yayın, uygulama alanları ve kuantum alan kuramı sonucunun Lean durumu kaynakta bulunmadığı ya da doğrulanamadığı için yazılmamıştır.