# OpenAI üç büyük matematik ve fizik sonucunu hakemlere açtı | QANATONE > OpenAI, modellerinin Üstel Zaman Hipotezi'ni çürüttüğünü, yerel düzleştirme sanısını kanıtladığını ve saf Yang-Mills kuramının var olduğunu… Kaynak: https://www.qanatone.com/haber/openai-uc-bilimsel-sonuc-hakem-incelemesi/ --- [Haberler](https://www.qanatone.com/haber/) # OpenAI üç büyük matematik ve fizik sonucunu hakemlere açtı 26 Eki 2026 3 dk okuma Haber · Bilim OpenAI, modellerinin Üstel Zaman Hipotezi'ni çürüttüğünü, yerel düzleştirme sanısını kanıtladığını ve saf Yang-Mills kuramının var olduğunu gösterdiğini açıkladı. Şirket üç sonucun da aylar sürecek bağımsız hakem incelemesinden geçmesi gerektiğini kabul ediyor. ## Ne oldu OpenAI 26 Ekim'de matematik, kuramsal bilgisayar bilimi ve fizikte üç yeni sonuç duyurdu ve bunları ilgili akademik topluluklara incelemeye sundu. Birincisi bilgisayar biliminin temel varsayımlarından **Üstel Zaman Hipotezi** 'nin (ETH) çürütülmesi. İkincisi analizde **yerel düzleştirme sanısının** tüm boyutlarda kanıtı. Üçüncüsü dört boyutta belirli kuantum alan kuramlarının, bu arada saf Yang-Mills kuramının var olduğunun kanıtı. Şirket üç iddianın da aylarca sürecek bağımsız incelemeden geçeceğini açıkça yazıyor. ## Ayrıntılar: Lean ile denetlenen ispat Haberlere göre ETH'yi çürüten ispat 16 Ekim'de bulundu ve ertesi gün **Lean** ispat denetleyicisinde biçimselleştirildi. Yapay zekânın yazdığı makale ve Lean ispatı GitHub'da yayımlandı. Yerel düzleştirme sonucu doğruysa, Kakeya sanısını ve Stein'ın Fourier dönüşümü kısıtlama sanısını da tüm boyutlarda çözmüş oluyor. Fizik tarafında Nobel ödüllü David Gross'un başını çektiği, Michael Douglas, Arthur Jaffe, Igor Klebanov ve Nikita Nekrasov'un yer aldığı bir grup kendi değerlendirmesini hazırlıyor. Yang-Mills çalışmasının ham malzemeleri bu inceleme bitene kadar kamuya açılmadı. **1 gün** ETH çürütmesinin bulunmasıyla Lean'de biçimsel olarak denetlenmesi arasındaki süre OpenAI sonuçları akademik topluluklarla birlikte bilimsel anlayış kurma başlıklı bir çalışmanın parçası olarak sunuyor. ## Terimler: ETH, Kakeya ve Yang-Mills **Üstel Zaman Hipotezi** , 3-SAT adlı mantık probleminin üstelden hızlı çözülemeyeceğini söyler. Pek çok algoritmanın "daha hızlısı yok" iddiası bu varsayıma dayanıyordu. Çürütülmesi, bazı zor problemler için beklenenden hızlı algoritmaların var olabileceği anlamına gelir. **Kakeya sanısı** , bir iğneyi her yöne çevirebileceğin kümelerin ne kadar küçük olabileceğine dair geometrik bir sorudur. **Yang-Mills** sorusu Clay Enstitüsü'nün milyon dolarlık Milenyum Problemleri'nden biridir; ancak ödül ayrıca bir "kütle boşluğu" ispatı ister ve OpenAI bu kısmı çözdüğünü iddia etmiyor. ## Neden önemli, ihtiyat payı Bu iddialar doğrulanırsa yapay zekâ ilk kez büyük açık problemleri kendi başına çözmüş olacak. Ancak şimdilik sonuçların hepsi şirketin kendi açıklamasına dayanıyor. Kaynaklar, ETH incelemesini kimin yöneteceği ve Lean biçimselleştirmesinin tarihleri konusunda birbirinden ayrılıyor. Lean ispatı makinenin denetlediği bir kanıt sunsa da, ispatın doğru teoremi ifade edip etmediğini yine insanların kontrol etmesi gerekiyor. Matematik topluluğu bu tür iddiaları ancak hakem süreci bittiğinde kabul eder. ## Sırada ne var ETH tarafında bağımsız bir ekip incelemeye başladı. Fizik tarafında Gross grubunun değerlendirmesi bekleniyor. OpenAI, sonuçları akademik topluluklarla birlikte bilimsel anlayış kurma çabasının parçası olarak sunuyor. Önümüzdeki aylarda ya ilk yapay zekâ kaynaklı büyük kuram ispatları kabul görecek ya da ispatlardaki boşluklar ortaya çıkacak. Duyuru, sektörde yapay zekânın bilimsel keşifteki rolüne dair tartışmayı da hızlandırdı. Aynı hafta Axiom Math adlı girişim, ajan sürüleriyle sonlu basit grupların sınıflandırmasını 24 günde Lean'de 43,1 milyon satırlık bir ispat olarak biçimselleştirdiğini ve yayımlanmış ispatlarda 34 sapma bulduğunu açıkladı. Makine denetimli ispat, iki örnekte de güvenin temeli olarak öne çıkıyor. ## Senin işin için ne demek Bu haber doğrudan günlük işine dokunmuyor, ama yapay zekâ çıktılarına nasıl güveneceğine dair iyi bir ders içeriyor. - **Doğrulanabilir çıktı iste.** OpenAI'ın en güçlü argümanı makinenin denetleyebildiği Lean ispatı. Senin işinde de yapay zekâ sonucunu test, kaynak ya da hesapla doğrulayan bir adım olsun. - **Büyük iddiayı hakem görmeden kullanma.** Bir rapor, bir rakam ya da bir hukuki yorum, ikinci bir göz görmeden müşteriye gitmesin. - **Optimizasyon fırsatlarını izle.** ETH gerçekten çürütüldüyse, planlama ve rota problemleri için daha hızlı yöntemler yazılımlara yıllar içinde yansıyabilir. ## Diğer yazılar [Haber · Güvenlik ### Cohere: Qwen3.8 testte Pekin'e dosya göndermeye çalıştı 26 Eki 2026 · 3 dk](https://www.qanatone.com/haber/qwen-3-8-test-sirasinda-pekine-dosya-gondermeye-calisti/)[Haber · Güvenlik ### Claude, Georgia'nın ücretli oy verisine onaysız ulaştı 25 Eki 2026 · 3 dk](https://www.qanatone.com/haber/claude-georgia-oy-verisine-izinsiz-erisim/)[Haber · Düzenleme ### Araştırma: Grok ve GPT ara seçimde zıt partileri seçiyor 24 Eki 2026 · 3 dk](https://www.qanatone.com/haber/grok-ve-gpt-ara-secimde-zit-partileri-seciyor/)[Haber · Altyapı ### SpaceX, Nvidia çipleri için 40 milyar dolarlık borcu kapattı 24 Eki 2026 · 3 dk](https://www.qanatone.com/haber/spacex-40-milyar-dolar-gpu-borcu/)[Haber · Güvenlik ### OpenAI, model eğitimini canlı internetten tamamen ayırdı 23 Eki 2026 · 3 dk](https://www.qanatone.com/haber/openai-egitimi-canli-internetten-ayirdi/)[Haber · Finans ### ABD bankaları hesaba giren yapay zekâ ajanlarını engelliyor 22 Eki 2026 · 3 dk](https://www.qanatone.com/haber/abd-bankalari-yapay-zeka-ajanlarini-engelliyor/)[Haber · Güvenlik ### Sahte AGENTS.md dosyası kodlama ajanlarını ele geçirdi 22 Eki 2026 · 3 dk](https://www.qanatone.com/haber/agents-md-dosyasi-kodlama-ajanlarini-ele-geciriyor/)[Haber · Güvenlik ### PHP2Shell: Sitelerin çoğunu etkileyen PHP açığı yamalandı 22 Eki 2026 · 3 dk](https://www.qanatone.com/haber/php2shell-kritik-php-acigi/)