Navier–Stokes Problemi Nedir? OpenAI’ın 2026 Çözümü Aslında Neyi Gösteriyor?

Bir bardaktaki suyu karıştırdığınızda oluşan girdap, bir uçağın kanadının çevresindeki hava, denizde ilerleyen bir teknenin arkasında bıraktığı iz ve atmosferdeki hava hareketleri birbirinden çok farklı görünebilir. Matematik açısından ise hepsi aynı temel soruya bağlanır: Bir akışkan nasıl hareket eder?

Navier–Stokes denklemleri bu hareketi tarif etmek için geliştirilmiş en önemli matematiksel araçlardan biridir. Denklem ailesi iki yüzyıla yaklaşan bir geçmişe sahip olmasına rağmen, üç boyutlu durumda çok temel bir soru uzun süredir açık kaldı: Başlangıçta tamamen normal görünen bir akış, denklemin kendi hesabı içinde bir noktada kontrol edilemez biçimde büyüyebilir mi?

OpenAI, 8 Eylül 2026’da bu probleme ilişkin bir çözüm yayımladığını duyurdu. Şirketin açıklamasına göre yaklaşık 10 bin yapay zekâ ajanı eş zamanlı çalıştı; çözüm yaklaşık 88 saatte bulundu ve ardından Lean adlı biçimsel doğrulama sistemiyle ek bir kontrol sürecinden geçirildi. Ancak haber başlıklarındaki “Navier–Stokes çözüldü” ifadesini anlamak için önce problemin aslında ne sorduğunu ayırmak gerekiyor.

Tek cümlede: Mesele, suyu daha iyi simüle etmekten önce, suyu tarif etmek için kullandığımız denklemin kendi matematik kuralları içinde her durumda düzgün çalışıp çalışmadığını anlamak.

Navier–Stokes denklemleri neyi anlatıyor?

Bir akışkanın her noktasında üç temel şeyle ilgileniyoruz: hangi yönde hareket ettiği, ne kadar hızlı hareket ettiği ve çevresindeki basıncın onu nasıl etkilediği.

Navier–Stokes denklemi bu hareketi belirleyen etkileri aynı hesapta birleştirir. Denklemde kabaca şunlar vardır:

• Akışkanın mevcut hareketi,
• basıncın oluşturduğu itme,
• viskozitenin, yani akışkanın iç sürtünmesinin yavaşlatıcı etkisi,
• varsa dışarıdan uygulanan kuvvet.

Su ile bal arasındaki farkı düşünmek burada işe yarar. Balın viskozitesi yüksektir; hareket daha kolay sönümlenir. Su ise çok daha rahat akar. Navier–Stokes bu tür farkları matematiksel olarak hesaba katar.

Clay Matematik Enstitüsü de denklemi, su ve hava gibi akışkanların hareketini yöneten denklem olarak tanımlar.

Bu kadar kullanılan bir denklemde neyi hâlâ bilmiyoruz?

Bir denklemin pratikte çok iyi çalışması, onun bütün olası başlangıç koşullarında ne yapacağını matematiksel olarak kanıtladığımız anlamına gelmez.

Üç boyutlu bir akış düşünelim. Başlangıç anında her noktadaki hız sonlu, hareket düzgün ve hesap yapılabilir durumda olsun. Akışı geleceğe doğru izlediğimizde iki olasılık vardır.

Birincisinde hızlar ve değişimler ne kadar karmaşıklaşırsa karmaşıklaşsın, hesap her zaman sonlu değerlerle devam eder.

İkincisinde ise belirli bir bölgede hareket giderek daha fazla sıkışır ve hız matematiksel olarak sınır tanımadan büyümeye başlar.

Gerçek bir su molekülünün sonsuz hızla hareket etmesi beklenmez. Buradaki soru gerçek sudan önce denklemin böyle bir sonuca izin verip vermediğidir.

“Denklemin çökmesi” denince ne kastediliyor?

Bu ifade, bilgisayar programının hata vermesi ya da formülde doğrudan “sıfıra bölme” yapılması anlamına gelmez.

Daha doğru düşünce şu: Başlangıçta sonlu olan hız alanı, belirli bir süre içinde bir bölgede giderek büyür ve artık üstüne bir sınır koyamaz hale gelir.

Bunu bir girdabın gittikçe daha dar bir alana sıkışması gibi düşünebiliriz. Girdabın kapladığı bölge küçülürken içerideki hareket hızlanır. Matematiksel olarak soru, bu yoğunlaşmanın viskozitenin dağıtıcı etkisini yenip yenemeyeceğidir.

Bu soru ilk kez neden ortaya çıktı?

Claude-Louis Navier ve George Gabriel Stokes, 19. yüzyılda bugün kendi adlarıyla anılan denklemlerin temelini attılar.

1934’te Fransız matematikçi Jean Leray önemli bir adım attı: Üç boyutlu Navier–Stokes için daha genel anlamda çözümler bulunabileceğini gösterdi. Fakat bu çözümlerin her zaman başlangıçtaki kadar iyi davranıp davranmadığı sorusu açık kaldı.

Clay Matematik Enstitüsü 2000 yılında bu soruyu yedi Milenyum Problemi’nden biri yaptı. Resmî problem metni, çözüm için birden fazla yol tanımlıyor. Bazı yollar, dışarıdan kuvvet uygulanmadığında bütün uygun başlangıçların sonsuza kadar iyi davrandığını kanıtlamayı istiyor. Diğer yollar ise uygun ve düzgün bir dış kuvvet altında denklemin bozulabildiğini gösterecek tek bir karşı örneğin yeterli olduğunu söylüyor.

OpenAI’ın 2026 çalışması ikinci yolu hedefliyor.

OpenAI tam olarak ne bulduğunu söylüyor?

OpenAI’ın yayımladığı sonuçta akışkan başlangıçta duruyor.

Daha sonra sisteme düzgün bir dış kuvvet uygulanıyor. Bu kuvvet sonsuz değil, ani bir matematik hilesi de değil. Buna rağmen oluşturulan özel akışta merkezdeki girdap içe doğru kıvrılıyor, giderek uzuyor ve gittikçe daha küçük bir bölgede hızlanıyor.

OpenAI bu yapıyı “spagetti gibi uzayan” bir girdapla anlatıyor.

İlginç tarafı şu: Merkezdeki hız sınırsız büyümeye yönelirken, bütün sistemin toplam hareket enerjisi sonlu kalıyor. Başka bir deyişle “her şey birden sonsuz enerji kazanıyor” gibi kaba bir durum yok. Hareket, giderek küçülen bir bölgede yoğunlaşıyor.

OpenAI’ın açıklamasına göre bu sonuç Clay’in resmî problem tanımındaki dış kuvvetli iki seçeneği karşılıyor.

Dış kuvvet neden bu kadar önemli?

Denklemde genellikle \(f\) harfiyle gösterilen terim, sisteme dışarıdan uygulanan kuvveti temsil eder.

Buradaki kritik nokta şu: OpenAI “sıfırdan büyük herhangi bir kuvvet denklemi çökertir” demedi.

Gösterilen şey bundan daha dar:

Özel olarak kurulmuş, düzgün bir dış kuvvet vardır ve bu kuvvet altında denklemin çözümü belirli bir sürede sınırsız büyümeye gidebilir.

“Bir dış kuvvet bulundu” ile “her dış kuvvet bunu yapar” aynı iddia değildir.

Bir salıncağı düşünün. Salıncağa herhangi bir anda herhangi bir yönde hafifçe dokunmakla, hareketi her seferinde doğru anda destekleyerek genliği büyütmek aynı şey değildir. OpenAI’ın matematiksel yapısında da kuvvetin nasıl uygulandığı önemlidir.

Dış kuvveti tamamen kaldırırsak ne oluyor?

İşte ayrı duran büyük soru burada.

Dış kuvveti tam olarak sıfır kabul ettiğimizde, sistem yalnızca başlangıçta sahip olduğu hareket, basınç ve viskoziteyle ilerler.

Matematikçiler uzun süredir şu iki seçenekten hangisinin doğru olduğunu bilmiyor:

Her uygun başlangıç durumu sonunda denklemin kontrolünde kalıyor mu?

Yoksa:

En az bir özel başlangıç durumu, hiçbir dış kuvvet olmadan aynı türden sınırsız büyümeyi kendi iç hareketiyle üretebilir mi?

OpenAI’ın dış kuvvetli örneği ikinci sorunun cevabını otomatik olarak vermiyor.

Bir kuvvet kullanarak ulaşılabilen bir durumun, aynı sistemde kuvvet tamamen kaldırıldığında da ulaşılabilir olması zorunlu değildir.

Ama gerçek suyun içinde atomlar zaten sürekli birbirini itmiyor mu?

Evet, gerçek su moleküllerden oluşur ve moleküller sürekli hareket eder, çarpışır ve birbirleriyle etkileşir.

Navier–Stokes ise bu molekülleri tek tek takip etmez. Akışkanı sürekli bir ortam gibi ele alır. Moleküllerin toplu etkilerinin önemli bir bölümü zaten basınç ve viskozite gibi büyüklüklerin içinde temsil edilir.

Bu nedenle “atomlar rastgele hareket ediyor, demek ki Navier–Stokes’taki dış kuvvet hiçbir zaman gerçekten sıfır değildir” demek doğrudan doğru değildir.

Moleküler ölçekteki rastgele dalgalanmaları ayrıca denkleme eklemek mümkündür. Fakat bunu yaptığınız anda Clay’in tam olarak sorduğu dış kuvvetsiz klasik denklemden farklı bir matematiksel model çalışmaya başlarsınız.

Bu ayrım fizik ile matematik problemini birbirinden ayırıyor.

O halde Milenyum Problemi akışkanlarla değil, denklemin kendisiyle mi ilgili?

Büyük ölçüde evet.

Navier–Stokes’un fiziksel önemi akışkanları modellemesinden geliyor. Fakat Clay’in ödüllü sorusu doğrudan gerçek bir bardak suyun ne yapacağıyla ilgili bir deney sorusu değil.

Soru şudur:

Bu matematiksel modeli kendi kurallarıyla çalıştırdığımızda, üç boyutta her uygun başlangıç için hesabı sonsuza kadar sürdürebiliyor muyuz?

Bu nedenle gerçek akışkan ile denklemin matematiksel dünyasını ayırmak gerekiyor.

Eğer denklem bir noktada sınırsız hız üretiyorsa bundan “gerçek su sonsuz hız yapar” sonucu çıkmaz. Daha çok, kullandığımız sürekli-akışkan modelinin bu uç durumda fiziksel dünyayı tarif etmeye devam edip edemeyeceğini yeniden sormamız gerekir.

Bir tek çöküş örneği bulmak neden bu kadar önemli?

Çünkü “bütün başlangıç durumları iyi davranır” iddiası çok güçlüdür.

Bunu kanıtlamak için bütün uygun başlangıç durumlarını kapsayan bir matematiksel neden bulmanız gerekir.

Buna karşılık bu iddiayı çürütmek için tek bir karşı örnek yeterlidir.

Şöyle düşünün:

“Bu köprüden geçen her araç güvenle karşıya ulaşır” diyorsanız, iddianız bütün araçlar için geçerlidir. Bir tek uygun koşuldaki aracın köprüyü çökerttiğini göstermek, “her araç güvenle geçer” cümlesini ortadan kaldırır.

Navier–Stokes’ta da dış kuvvet olmadan bir tek uygun başlangıç durumu bulunup sınırsız büyüme gösterilebilirse, “her başlangıç sonsuza kadar iyi davranır” seçeneği biter.

Zaten hiç çökmeyen durumların var olduğunu biliyor muyuz?

Evet.

En basit örnek, başlangıçta tamamen durgun bir akış ve hiçbir dış kuvvet olmamasıdır. Sistem duruyorsa ve hiçbir şey onu hareket ettirmiyorsa, durmaya devam eder.

Daha genel olarak bazı başlangıç koşulları için denklemin iyi davrandığı da uzun zamandır biliniyor.

Dolayısıyla açık soru “iyi davranan bir çözüm var mı?” değildir.

Açık soru:

Hepsi mi iyi davranıyor, yoksa aralarında en az bir tane kötü örnek var mı?

Bu fark, problemin neden tek bir karşı örnekle bile çözülebileceğini açıklıyor.

OpenAI’ın sonucu “Navier–Stokes yanlışmış” anlamına mı geliyor?

Hayır.

Bir fiziksel modelin belirli bir uç durumda matematiksel sınırına ulaşması, modelin bütün kullanım alanlarında yanlış olduğu anlamına gelmez.

Navier–Stokes denklemleri mühendislikte ve bilimde çok geniş bir alanda kullanılıyor. Uçak aerodinamiğinden kan akışına, hava hareketlerinden endüstriyel akışlara kadar sayısız uygulamada son derece değerliler.

OpenAI’ın iddiası kabul edilirse öğreneceğimiz şey daha sınırlı ve daha ilginç olur:

Denklemin izin verdiği matematiksel dünyada, düzgün bir dış kuvvet altında bile başlangıçta tamamen normal olan bir akışın belirli bir süre sonra sınırsız hız üretmesi mümkündür.

Bu, denklemin her koşulda otomatik olarak iyi davranacağını varsayamayacağımızı gösterir.

Bu sonuç hava durumunu artık yüzde 100 tahmin edemeyeceğimiz anlamına mı geliyor?

Hayır; çünkü zaten böyle bir garanti yoktu.

Bir denklemin matematiksel olarak bozulmadan devam etmesi ile geleceği kusursuz tahmin edebilmek aynı şey değildir.

Hava durumu için başlangıç koşullarını sınırsız hassasiyetle ölçemeyiz. Atmosferin kendisi de yalnızca tek bir basit Navier–Stokes denkleminden ibaret değildir; sıcaklık, nem, radyasyon, faz değişimleri ve başka fiziksel süreçler devrededir.

Üstelik tamamen belirli kurallarla çalışan bir sistem bile başlangıç koşullarındaki küçücük farklara çok hassas olabilir.

Bu nedenle Navier–Stokes’un her zaman iyi davrandığı kanıtlansa bile “artık havayı kusursuz tahmin ederiz” sonucu çıkmaz.

OpenAI gerçekten Milenyum Problemi’ni çözdü mü?

11 Eylül 2026 itibarıyla en dikkatli cevap şu:

OpenAI, Clay’in resmî problem metnindeki çözüm yollarından ikisini karşıladığını söyleyen bir kanıt yayımladı. Fakat Clay Matematik Enstitüsü problemi hâlâ “Active” olarak listeliyor.

Clay’in ödül kuralları da bir çözümün hemen kabul edilmesine izin vermiyor. Çalışmanın uygun bir akademik yayın kanalında yayımlanması, üzerinden en az iki yıl geçmesi ve dünya matematik topluluğunda genel kabul görmesi gerekiyor.

OpenAI ayrıca bu sonuç için 1 milyon dolarlık Milenyum Ödülü’nü talep etmeyeceğini açıkladı.

Bu nedenle bugün “kesin olarak resmen çözüldü” demektense, çok güçlü ve biçimsel olarak da doğrulanmış bir çözüm iddiası yayımlandı; bağımsız kabul süreci devam ediyor demek daha doğru.

10 bin yapay zekâ ajanı ne yaptı?

OpenAI’ın açıklamasına göre sistem tek bir yapay zekâya uzun bir soru sorup cevap beklemek şeklinde çalışmadı.

Farklı ajan grupları farklı çözüm yollarını araştırdı, ara sonuçlarını paylaştı ve işe yarayan fikirler daha sonra bir araya getirildi. Navier–Stokes sonucunu üreten çalışma yaklaşık 10 bin eş zamanlı ajanı içeriyordu.

Şirket, bu probleme ayrılan ajanların yaklaşık 2,7 milyon mesaj gönderdiğini ve yaklaşık 130 milyar çıktı tokenı kullandığını bildiriyor. Çözüm yaklaşık 88 saatte bulundu; Lean biçimindeki doğrulama için ayrıca 17 saat harcandı.

Bu rakamlar matematiksel kanıtın doğruluğunu tek başına göstermiyor. Fakat yapay zekânın matematik araştırmasında artık yalnızca kısa problem çözümü değil, çok sayıda alternatif yolun eş zamanlı araştırılması için de kullanıldığını gösteriyor.

Bu hikâyeden geriye hangi soru kalıyor?

OpenAI’ın çalışması kabul edilirse, dış kuvvetli Navier–Stokes için çok önemli bir kapı açılmış olacak.

Fakat merak uyandıran başka bir soru aynı yerde duruyor:

Dışarıdan hiçbir kuvvet uygulamadan, yalnızca başlangıç hareketi ve denklemin kendi iç dinamiğiyle aynı türden bir matematiksel taşma oluşabilir mi?

Bu sorunun cevabı, gerçek sudaki her molekülün geleceğini söylemeyecek.

Fakat iki yüzyıla yaklaşan bir denklemin kendi matematiksel sınırlarını nerede çizdiğimizi çok daha iyi anlatacak.

—

Kaynaklar

1. OpenAI. “On the Navier–Stokes Millennium Prize Problem.” 8 Eylül 2026.

https://openai.com/index/navier-stokes-solution/

1. Clay Mathematics Institute. “Navier-Stokes Equation.”

Navier-Stokes Equation

1. Charles L. Fefferman. “Existence and Smoothness of the Navier–Stokes Equation.” Clay Mathematics Institute resmî problem tanımı.

https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf

1. Clay Mathematics Institute. “Rules for the Millennium Prize Problems.”

Rules for the Millennium Prize Problems

1. Hieber, Robinson ve Shibata (ed.). Mathematical Analysis of the Navier–Stokes Equations. Springer, 2020.

https://doi.org/10.1007/978-3-030-36226-3

—