OpenAI, yapay zeka modellerinin matematik, bilgisayar bilimi ve fizikte yıllardır açık duran üç probleme kanıt ürettiğini açıkladı. Şirketin 26 Ekim 2026'daki duyurusunda en çok ses getiren iddia, bilgisayar biliminin temel varsayımlarından Üstel Zaman Hipotezi'nin (ETH) yanlış olduğu. Ayrıca harmonik analizde Kakeya varsayımını da çözen bir kanıt ve kuantum fiziğinde bir varlık ispatı var.
Heyecan verici ama temkinli okunması gereken bir haber bu. Kanıtlardan ikisi bilgisayarla denetlendi, ancak hiçbiri henüz bağımsız hakem incelemesinden geçmedi. Aşağıda neyin iddia edildiğini, ne kadar sağlam olduğunu ve bunun ne anlama geldiğini sade bir dille anlatıyoruz.
OpenAI tam olarak ne buldu?
1. Bilgisayar bilimi: Üstel Zaman Hipotezi
ETH, kabaca şunu söyler: Mantıksal formüllerin sağlanıp sağlanamayacağını soran 3-SAT problemi, üstel süreden belirgin biçimde daha hızlı çözülemez. Bu varsayım, ünlü P ≠ NP sorusundan daha güçlüdür ve yüzlerce çalışmanın dayanağıdır. Araştırmacılar "bu algoritma daha fazla hızlandırılamaz" demek istediklerinde çoğu zaman ETH'ye yaslanır.
OpenAI'ye göre modelleri 16 Ekim'de ETH'nin yanlış olduğunu gösteren bir kanıtı doğal dilde yazdı. Kanıt, ertesi gün Lean adlı kanıt denetleyicisinde biçimsel olarak doğrulandı.
2. Matematik: Yerel düzleştirme ve Kakeya
İkinci sonuç harmonik analizden. Matematikçi Christopher Sogge'nin adıyla anılan yerel düzleştirme (local smoothing) varsayımı, dalgaların zaman içinde ortalamada nasıl "yumuşadığını" anlatır. OpenAI'nin modeli bu varsayımı tüm boyutlarda kanıtladığını söylüyor; kanıt yeni türden yardımcı bir diferansiyel denkleme dayanıyor.
İşin ilginç yanı, bu varsayım Kakeya varsayımından ve Stein'ın kısıtlama (restriction) varsayımından daha güçlü. Yani kanıt doğruysa bu iki ünlü problem de tüm boyutlarda çözülmüş oluyor. Kanıt 18 Ekim'de üretildi, Lean sürümü 19 Ekim'de tamamlandı.
3. Fizik: 4 boyutlu kuantum alan teorileri
Üçüncü iddia, ayar alanları ve fermiyonlar içeren, etkileşimli bazı kuantum alan teorilerinin 4 boyutta matematiksel olarak gerçekten var olduğunun ispatı. Unite.AI'ye göre bu, güçlü nükleer kuvveti anlatan kuantum renk dinamiği (QCD) türünden bir teoriyi de kapsıyor. Modellerin temel çalışmayı 9 ve 18 Eylül'de çıkardığı, biçimsel denetimin 16 Ekim'de bittiği belirtiliyor. Bu sonucun belgeleri henüz kamuya açık değil.
Kanıtlar ne kadar güvenilir?
Bu duyuruyu önceki "yapay zeka şunu çözdü" haberlerinden ayıran şey Lean. Lean, her mantıksal adımı bilgisayarla tek tek kontrol eden bir kanıt yardımcısı. Bir kanıt Lean'de eksiksiz yazılıp kabul edilirse, en azından mantık zincirinde boşluk olmadığı anlaşılır. Interesting Engineering'e göre OpenAI, matematik ve bilgisayar bilimi kanıtlarının hem doğal dil hem biçimsel sürümünü GitHub'da yayımladı.
Yine de iş bitmiş değil. Uzmanların, Lean'deki ifadelerin klasik varsayımlarla birebir aynı şeyi söyleyip söylemediğini ve gizli bir ek varsayım bulunup bulunmadığını incelemesi gerekiyor. Üç sonuç da henüz bağımsız hakem incelemesinden geçmedi.
OpenAI bu yüzden incelemeyi dış uzman gruplarına bıraktı:
| Alan | Süreci yürüten araştırmacılar (haberlere göre) |
|---|---|
| Bilgisayar bilimi (ETH) | Russell Impagliazzo ve Ramamohan Paturi (UC San Diego), Ryan Williams (MIT) |
| Fizik (kuantum alan teorisi) | David Gross liderliğinde; Michael Douglas, Arthur Jaffe, Igor Klebanov, Nikita Nekrasov |
| Matematik (yerel düzleştirme) | Dış uzmanlar; isimler açıklanmadı |
Dikkat çekici bir ayrıntı: ETH'yi 1990'ların sonunda ortaya atan isimler Impagliazzo ve Paturi'nin ta kendisi. Fizik grubunun ise belgeleri yayımlamadan önce kendi açıklamasını hazırlayacağı bildiriliyor.
Engadget'a göre OpenAI, bu buluşlar için modellerine akademik pay istemeyecek; makaleleri hazırlayan araştırmacılar öne çıkacak. Şirket ayrıca bağımsız inceleme ve çalıştaylar için Simons Vakfı'na 5 milyon dolar ayırıyor.
Bu ne anlama geliyor?
Kısa vadede sıradan kullanıcı için değişen bir şey yok. Bu sonuçları üreten modeller OpenAI'nin iç araştırma sistemleri; ChatGPT'ye gelen yeni bir özellik söz konusu değil.
Bilim dünyası için tablo farklı. ETH'nin çürütülmesi doğrulanırsa, algoritmaların "en az şu kadar sürer" sınırlarını bu varsayıma dayandıran pek çok çalışmanın yeniden değerlendirilmesi gerekecek. Türkiye'de algoritma ve karmaşıklık kuramı üzerine çalışan üniversite grupları da bu sonucu yakından izleyecektir.
Şifreleme konusunda panik gerekmiyor: ETH'nin yanlış çıkması, kullandığımız şifreleme yöntemlerinin otomatik olarak kırıldığı anlamına gelmiyor, çünkü yaygın yöntemler farklı varsayımlara dayanıyor. Matematik tarafında ise Kakeya varsayımı uzun süre analizin en inatçı sorularından biri sayıldı; 3 boyutlu hâli ancak 2025'te Hong Wang ve Joshua Zahl tarafından kanıtlanmıştı. Tüm boyutlar için bir çözüm, doğrulanırsa çok büyük bir adım olur.
Arka plan: OpenAI neden şimdi bilime yöneliyor?
OpenAI son haftalarda modellerinin matematik becerisini öne çıkaran başka sonuçlar da paylaşmıştı. Daha önce GPT-6 Astra'nın 2005'ten beri çözülemeyen bir Enigma mesajını kırdığını yazmıştık. Öte yandan şirket, ajanlarıyla ilgili güvenlik olayları nedeniyle baskı altında: Eylülde en güçlü modellerinin eğitimini bir DNS olayı sonrası durdurmuştu. Ürün tarafında son adım ise GPT-6.1 Terra oldu.
Sonuçları ilk duyuranlardan biri de bir OpenAI araştırmacısıydı; ayrıntıları X hesabından paylaştı. Bağımsız uzmanlardan resmi bir değerlendirme ise henüz gelmedi.
Sık sorulan sorular
Yapay zeka P = NP problemini çözdü mü?
Hayır. ETH, P ≠ NP'den daha güçlü bir varsayımdır. ETH yanlış çıksa bile P ile NP arasındaki ilişki hâlâ açık bir sorudur.
Kanıtlar kesinleşti mi?
Hayır. İki kanıt Lean ile bilgisayarda denetlendi, ancak hakemli inceleme sürüyor. Fizik sonucunun belgeleri henüz yayımlanmadı.
Hangi OpenAI modeli bu kanıtları buldu?
OpenAI "iç modeller" ifadesini kullanıyor. Haberlerde ChatGPT'de kullanılan belirli bir model adı geçmiyor.
Şifrelerim ve banka uygulamalarım tehlikede mi?
Şu an için hayır. Yaygın şifreleme yöntemleri doğrudan ETH'ye dayanmıyor.
