OpenAI'den Üç Dev İddia: Matematik, Bilgisayar Bilimi ve Fizikte 'Çözüldü' Dendi

Bir ayı bile bulmadan ikinci kez karşımızdayız: OpenAI, matematik, bilgisayar bilimi ve fizik alanlarında üç ayrı 'büyük' iddiayla geldi. Bu kez şirket, geçen seferki eleştirilerden ders çıkarmış gibi davranıyor; sonuçları doğrudan kamuoyuna fırlatmak yerine, alanında tanınmış bağımsız bilim insanlarını 'çoban' (shepherd) olarak görevlendirip sonuçları onların gözetiminde incelemeye açıyor.

İlk iddia, Euclidean dalga denklemi için yerel düzgünleştirme (local smoothing) konusunda. OpenAI'nin modeli, bu konjektürü her boyutta ispatladığını, bunun da otomatik olarak Kakeya konjektürü ve Stein'in küresel kısıtlama tahminlerini çözdüğünü öne sürüyor. İlginç bir ayrıntı var: Kakeya konjektürünün üç boyutlu hâlini birkaç ay önce NYU'dan Hong Wang çözmüş ve bu başarısıyla matematik dünyasının en prestijli ödülü olan Fields Madalyası'nı kazanmıştı. OpenAI şimdi aynı sorunun çok daha genel bir versiyonunu, her boyut için çözdüğünü iddia ediyor.

İkinci iddia çok daha sarsıcı: 1999'dan beri bilgisayar biliminde neredeyse aksiyom gibi kabul edilen Üstel Zaman Hipotezi'nin (Exponential Time Hypothesis, kısaca ETH) yanlış olduğu söyleniyor. ETH, bazı zor hesaplama problemlerinin (örneğin 3-SAT) belirli bir hızdan daha yavaş çözülemeyeceğini varsayıyordu; algoritma tasarımının ve karmaşıklık teorisinin temel taşlarından biriydi. OpenAI'nin ürettiği kanıt, 3-SAT formüllerinin tüm çözümlerini polinom uzayda ve alt-üstel zamanda saydığını öne sürerek bu varsayımı çürütüyor. Hipotezi 1999'da ortaya atan isimlerden Russell Impagliazzo ve Ramamohan Paturi, MIT'den Ryan Williams'la birlikte bu iddiayı denetleyecek.

Üçüncü iddia ise fizikte: Standart Model'in bir parçası olan Kuantum Kromodinamiği (QCD) dahil, ölçü alanları ve fermiyonlar içeren belirli kuantum alan teorilerinin dört boyutta matematiksel olarak var olduğuna dair bir 'varoluş ispatı'. Bu çalışmayı Nobel ödüllü fizikçi David Gross'un liderliğinde bir ekip inceleyecek.

Bu Ne Anlama Geliyor?

Buradaki asıl haber, kanıtların kendisinden çok OpenAI'nin yöntem değiştirmesi. Geçen ayki toplu yayından sonra matematikçiler 'bunları anlamamız yıllar alacak' diyerek tepki göstermişti; şirketin kurduğu AGMAI danışma kurulu da dün yayımladığı tavsiyede, belirli kişilere önceden erişim vermenin eşitsiz fırsat, ödünç itibar ve taraflı seçim gibi sorunlar doğurduğunu söyleyerek bu uygulamayı açıkça eleştirdi. OpenAI'nin şimdi 'çoban' sistemine geçmesi, bu eleştiriye kısmi bir yanıt gibi duruyor — ama kurulun asıl önerisi, sonuçların doğrudan akademik repozituarlarda, Lean dilinde biçimsel ispatlarla ve şeffaf seçim kriterleriyle yayımlanması yönünde. OpenAI henüz bu standarda tam uymuyor.

Ben bu tartışmaya iyimser bakıyorum. Bugün 'kim önce görecek, kim hakem olacak' meselesi tartışılıyorsa, bu aslında yapay zekânın bilimsel üretimde ciddiye alındığının kanıtı. Beş yıl sonra bu süreç muhtemelen tamamen tersine dönecek: modeller kanıt üretecek, ama yayımlanma anında zaten bağımsız doğrulama katmanından geçmiş olacak — bugün Claude'un kod ürettikten sonra kendi doğruluğunu matematiksel olarak ispatlamasında gördüğümüz mantığın, saf matematik ve fizik alanına da sıçradığını düşünün. Yapay zeka sadece hipotez üretmeyecek, kendi hipotezinin denetim izini de bırakacak.

Türkiye'ye Etkisi

Türk akademisinin burada hem bir fırsatı hem bir uyarısı var. Fırsat şu: bu tartışmalar henüz yeni norm oluşturma aşamasında, yani Türk matematikçi ve bilgisayar bilimcilerin bu sürece erken katılması, uluslararası doğrulama ekiplerinde yer alması zor değil. Uyarı ise, yapay zeka üretimi bu hızda devam ederse, doğrulama ve açıklama emeğinin (kanıtı anlama, basitleştirme, öğretme) akademik kariyerde nasıl değerlendirileceği sorusu bizim üniversitelerimizi de bulacak. Bu soruyu şimdiden tartışmaya başlamak, beş yıl sonra hazırlıksız yakalanmamak demek.