OpenAI’dan Üç Büyük İddia: Kakeya Çözüldü, Üstel Zaman Hipotezi Yanlış, QCD İçin İspat

OpenAI, yapay zekâ modellerinin matematik, teorik bilgisayar bilimi ve fizikte üç yeni sonuç ürettiğini açıkladı. Şirketin 26 Ekim 2026’da yayımladığı duyuruya göre modeller Kakeya varsayımını tüm boyutlarda çözdü, bilgisayar biliminin temel kabullerinden Üstel Zaman Hipotezi’nin (ETH) yanlış olduğunu gösterdi ve kuantum renk dinamiği (QCD) için matematiksel bir varlık ispatı üretti. Üç sonuç da şimdilik OpenAI’ın iddiası; bağımsız uzman incelemesi devam ediyor.

OpenAI Tam Olarak Ne Açıkladı?

Duyuruda sonuçları üreten modelin adı verilmiyor; OpenAI yalnızca “modellerimiz” ifadesini kullanıyor. Şirket her alan için farklı bir yayın yolu seçtiğini söylüyor: matematik sonucunu doğrudan paylaştı, bilgisayar bilimi sonucunu bir akademik grupla birlikte açtı, fizik sonucunun yayımlanmasını ise tamamen bir araştırmacı grubuna bıraktı.

OpenAI ayrıca dört işbirliği ilkesi duyurdu: gizlilik sözleşmesi yok, keşifler için OpenAI akademik kredi istemiyor, grupların kendi katkıları ayrıca tanınıyor ve katılım gönüllü ve ücretsiz. Şirket, yapay zekâ kaynaklı sonuçlar üzerine atölye ve konferansları desteklemek için Simons Vakfı’na 5 milyon dolarlık katkıyı da hatırlattı.

Kakeya Varsayımı

Kakeya problemi, kabaca bir iğnenin her yöne çevrilebileceği en küçük alanın ne kadar “ince” olabileceğini soruyor. Hong Wang ve Joshua Zahl 2025’te üç boyutlu durumu çözmüş ve bu çalışma Quanta Magazine tarafından “yüzyılda bir” görülen bir ispat olarak tanıtılmıştı. Scientific American da aynı sonucu onlarca yıllık bir bulmacanın çözümü olarak aktarmıştı.

OpenAI’ın iddiası daha geniş: modeller “yerel düzleştirme” (local smoothing) varsayımını her boyutta kanıtlamış. Bu sonuç doğruysa Kakeya varsayımını ve Stein’ın kısıtlama varsayımını da tüm boyutlarda çözmüş oluyor. Şirkete göre çıktı 18 Ekim’de elde edildi, ertesi gün Lean adlı ispat doğrulama dilinde biçimselleştirildi. Bu alan için bir akademik grup kurulmadı; isimsiz bir uzmanın tavsiyesiyle çıktı doğrudan GitHub’da yayımlandı.

Üstel Zaman Hipotezi

ETH, 1990’ların sonunda Russell Impagliazzo ve Ramamohan Paturi tarafından ortaya atılan bir kabul. Kabaca, 3-SAT gibi bazı zor problemlerin üstel zamandan belirgin şekilde daha hızlı çözülemeyeceğini söylüyor. Yüzlerce makale bu varsayıma dayanarak “bu problem şu süreden hızlı çözülemez” sonucuna varıyor.

OpenAI’ın açıklamasına göre model, 16 Ekim’de ETH’nin yanlış olduğunu gösteren bir ispat buldu ve bu ispat 17 Ekim’de Lean’e aktarıldı. İşin ilginç yanı, sonucu inceleyecek grupta hipotezin iki mimarı Impagliazzo ve Paturi (UC San Diego) ile MIT’den Ryan Williams var. Grup tüm ham verinin açılmasını istedi ve topluluğu açık bir inceleme sürecine davet etti. OpenAI de sonuçların etkilerini tartışacak bir konferansı finanse edeceğini söyledi.

QCD ve Yang-Mills

Üçüncü sonuç fizikte. OpenAI, modellerinin dört boyutta ayar alanları ve fermiyonlar içeren bazı etkileşimli kuantum alan kuramları için matematiksel olarak titiz bir varlık ispatı ürettiğini söylüyor. Buna QCD ve Standart Model’in birleşik bir tamamlanması da dahil. İspat, Tadeusz Balaban’ın yaklaşımı üzerine kuruluyor ve saf Yang-Mills kuramının varlığını da içeriyor.

Saf Yang-Mills’in varlığı, Clay Matematik Enstitüsü’nün 1 milyon dolar ödüllü Milenyum Problemleri’nden “Yang-Mills varlığı ve kütle aralığı” sorusunun bir alt parçası. Ödülün tamamı için kütle aralığının da kanıtlanması gerekiyor ve OpenAI böyle bir iddiada bulunmuyor.

Bu çalışmanın incelemesine Nobel ödüllü fizikçi David Gross liderlik ediyor; grupta Michael Douglas, Arthur Jaffe, Igor Klebanov ve Nikita Nekrasov var. Grup, yapay zekâ çıktısını şimdilik yayımlamama ve sonucu kendi yazacağı bir çalışmayla anlatma kararı aldı.

Sonuçlar Nasıl Doğrulanacak?

OpenAI’ın vurguladığı nokta Lean biçimselleştirmesi. Lean, bir ispatın her adımını bilgisayara kontrol ettiren bir dil; ispat Lean’de hatasız derleniyorsa mantıksal olarak doğru kabul edilir. Ancak burada da soru işaretleri var:

• Lean’deki tanımların gerçekten orijinal matematiksel problemi ifade edip etmediğinin uzmanlarca kontrol edilmesi gerekiyor.
• QCD ispatının Lean’de biçimselleştirilip biçimselleştirilmediği açıklanmadı.
• OpenAI, ilk inceleme gruplarını kendisinin seçmesinin “bilgi asimetrisi” yarattığını kabul ediyor.
• Şirket, yayımlanan metinlerin hakemli makale değil “ham araştırma verisi” olarak görülmesi gerektiğini söylüyor.

Neden Bu Kadar Konuşuluyor?

Yapay zekânın matematikte yeni sonuç ürettiği iddiaları bu yıl sıklaştı. Ancak bu üç başlık, uzun süredir açık duran ve alanın merkezinde yer alan problemler. Özellikle ETH’nin yanlış çıkması doğrulanırsa, karmaşıklık kuramında bu hipoteze dayanan pek çok alt sınırın yeniden ele alınması gerekecek. OpenAI’ın model tarafındaki son hamleleri için GPT-6.1 Terra haberimize ve şirketin Astra kararına bakabilirsin.

Şimdilik yapılacak en doğru okuma şu: OpenAI büyük iddialarda bulundu, bu iddiaları kontrol edecek isimler alanın en saygın araştırmacıları ve süreç açık yürütülüyor. Kesin hüküm, bağımsız incelemeler tamamlandığında verilebilecek.

Sıkça Sorulan Sorular

Kaynaklar

1. Working with academic communities to build scientific understanding (OpenAI, 26 Ekim 2026)
2. ‘Once in a Century’ Proof Settles Math’s Kakeya Conjecture (Quanta Magazine, 14 Mart 2025)
3. The Kakeya Conjecture, a Decades-Old Math Problem, Is Solved in Three Dimensions (Scientific American, 2025)

Daha fazla güncel gelişme için Yapay Zeka Haberleri sayfamıza göz at.