Milenyum Problemini Çözen Makine: Navier-Stokes ve Yapay Zekânın Matematik Devrimi

Yapay zekâ gerçekten yaratıcı olabilir mi, yoksa yalnızca insanların ürettiklerini hızla harmanlayan bir makine mi? Fizikçi Brian Greene, World Science Festival sahnesindeki sohbeti tam bu soruyla açıyor ve ölçütün tarihte nasıl sürekli yer değiştirdiğini hatırlatıyor: Turing'in sohbet testinden deneme yazmaya, standart sınavlardan 2025 yazında Uluslararası Matematik Olimpiyatı sorularının çözümüne kadar her eşik aşıldı, ama her seferinde çıta biraz daha uzağa taşındı.

Ufukta ise ölçeği farklı bir hedef duruyor: Clay Enstitüsü'nün 2000 yılında her birine bir milyon dolar ödül koyduğu yedi Milenyum Problemi. Çeyrek yüzyılda bu problemlerden yalnızca biri çözülebildi, altısı yanıt bekliyor. ClayMath resmi problem listesine göre bu yedi soru matematiğin en derin açık soruları arasında sayılıyor ve Enstitü her biri için ayrı bir başvuru sayfası tutuyor.

Bu problemlerden biri, akışkanların hareketini anlatan Navier-Stokes denklemleri . Borudaki sudan gökyüzünde dönen havaya, okyanus akıntılarından damar içi kan akışına kadar her şeyi yöneten bu denklemler pratikte olağanüstü isabetli tahminler üretiyor; uçak kanadı tasarlayan mühendis de kalp kapağı geliştiren cerrah da aynı matematiğe güveniyor.

İşin sırrı, denklemlerin doğrusal olmamasında yatıyor: akış, akışın kendisini etkiliyor, kendi kendisiyle etkileşiyor. Doğrusal sistemlerde iki çözümü toplayıp yeni çözüm elde etmek mümkünken burada bu güzel özellik ortadan kalkıyor. Konuşmacı, Schrödinger denklemi gibi doğrusal yapıların çözümlemesinin bu yüzden çok daha kolay olduğunu vurguluyor; gerçek dünyadaki akışkanlar bu konforu sunmuyor.

Sonsuz hız sorusu

Pürüzsüz başlayan bir akış, sonlu bir süre içinde tekillik geliştirebilir mi, yani hızlar sınırsızca büyüyebilir mi? Gerçek bir akışkan sonsuz hızla hareket edemeyeceği için böyle bir sonuç, modelin kırıldığı anlamına gelir. Matematik yazarı Kolen'in teknik derlemesinde anlatıldığı gibi, patlama senaryoları denklemlerin nerede çöktüğünü göstererek fiziksel dünyayı daha iyi anlamamıza katkı sağlıyor.

Burada iki denklem ailesini ayırt etmek gerekiyor: sürtünmesiz idealleştirme olan Euler denklemleri ile sürtünmeyi içeren gerçekçi Navier-Stokes. Matematikçi Tarek Elgindi'nin Euler için bulduğu tekillik sonucu tam düzgünlükten bir basamak aşağıdaydı ve topluluk sonradan bu farkın aslında ne kadar kritik olduğunu kavradı; konuşmacıya göre bu, bilimsel hafızanın seçiciliğine tipik bir örnek.

Fizikçi sezgisi, sürtünmenin patlamayı frenleyeceğini söyler; oysa Buckmaster ve Vlad Vicol'un tekil olmama çalışması sürtünmeyi neredeyse bir ayak bağı gibi ele aldı. Sürtünme patlamayı zorlaştırıyor ama doğrusal olmayan mekanizma yeterince güçlüyse denklem yine de kontrolden çıkabiliyor; mesele, hangi mekanizmanın baskın geldiğinde düğümleniyor.

Bilgisayarın ispat masasına oturması

Bilgisayarın ispata girişi yeni değil: dört renk teoremi ile Kepler varsayımının Hales ispatında, kalem kâğıt ile problem sonlu sayıda hesaba indirgenip makineye tamamlattı. Bu tür sonuçlar ilk yayımlandığında saf matematikçiler burun kıvırdı, ancak zamanla yöntem meşru bir araç olarak kabul gördü; bugünkü tartışma, o eski kuşkunun çok daha güçlü donanımla geri dönüşü gibi okunuyor.

Buckmaster'ın son bir yıldaki çalışma arkadaşı matematikçi Levent Alpoge ile denediği yenilik, tek bir modele soru sormak yerine yapay zekâ ajanlarını koşumlayarak sormak oldu. Aynı soru yüzlerce ajana yöneltiliyor, ajanlar birbirleriyle eşgüdüm kuruyor ve daha zayıf bir model bile bu kalabalıkla güçlü modelleri geride bırakabiliyor. DeepMind araştırma ekipleri de benzer ölçekte ajan altyapılarıyla akışkan problemlerine yöneldi ve sonuçlarını 2025 güzünde yayımladı.

Sohbetin en çarpıcı anı, yapay zekânın ürettiği ispatların hiçbir insanın okumak istemeyeceği kadar bozuk bir dille yazılması ama yine de doğru olması. Buckmaster, bu anlamsız görünen metni Gemini, ChatGPT ve Claude'un üçü birden anlayabildiğini, insanın ise bunu İngilizce olarak bile görmediğini söylüyor; modeller adeta kendi aralarında ortak bir dil geliştirmiş gibi davranıyor.

Şirketler arası yarış

Bu gelişme laboratuvarda kalmadı: bir çalışanın Anthropic'ten OpenAI'ye sızdırdığı bilgi, bir Milenyum Problemi'nin çözüldüğü söylentisini yaydı; sosyal medyada bahisler açıldı, şirketlerde kırmızı alarm verildi. Buckmaster'a göre OpenAI ve Anthropic'in iç modelleri birbirinden çok farklı değil; farkı yaratan, kaç ajan koşturacak kadar işlem gücü olduğu ve bunun için milyonlarca dolar harcandığı.

Buckmaster, Euler cephesindeki sonucun insan zekâsını aşan bir eşiğe işaret ettiğini ve satrançta Deep Blue'nun Kasparov'u yenmesine benzer bir dönüm noktası yaşandığını savunuyor. Ona göre bu, tek bir şirketin zaferi değil; tüm matematik camiasının sonuçlarını tartışması gereken bir kırılma ve etkileri matematiğin çok ötesine, toplumun tamamına uzanıyor.

OpenAI 8 Eylül 2026 tarihli duyurusunda iç modelinin Navier-Stokes problemine çözüm ürettiğini açıkladı: durgun başlayan, pürüzsüz bir kuvvet uygulanan ve enerjisi sonlu kalan bir akışın sonlu sürede tekillik geliştirdiği, Lean ile formel olarak da doğrulanan çözümleyici bir ispat. Şirket, bu sistemin GPT-6 Astra'dan belirgin biçimde güçlü olduğunu ve Milenyum metnindeki C ve D maddelerini kapattığını belirtiyor.

İlginç olan, bu ispatın başlangıç noktasının Buckmaster ekibinin bıraktığı yerle neredeyse birebir örtüşmesi; üstelik bu buluşma, ismin paylaşılmasından bir iki gün sonraya denk geliyor. OpenAI ekibi aynı mekanizmayı ters yönde kullanıyor: Buckmaster patlama üretmek için kullandığı yapıyı, onlar tekilliği sabitlemek için büyütüyor. İnsani ölçekte on yıla yayılacak bir ilerleme, yapay zekâ elinde günler içinde katedilmiş görünüyor.

Açıklanamayan kaldırma kuvveti

Sohbetin fizikçileri şaşırtan yan dalı, uçakların neden havada kaldığının ilk ilkelerden hâlâ tam açıklanamaması. MIT kanat profili notlarında anlatıldığı gibi, standart açıklama basınç farkı, eğrilik ve hücum açısı üzerinden kurulur; sürtünme başlangıç girdabını, girdap da kanat çevresindeki çevrintiyi doğurur. Ancak bu mühendislik açıklaması, denklemlerden çıkan sıkı bir matematiksel türetme değil, ek varsayımlarla yamalanmış bir çerçevedir.

Bu arada yapay zekânın matematikle ilişkisi yalnızca akışkanlarla sınırlı değil: Nature dergisinde yayımlanan olimpiyat düzeyinde formel akıl yürütme çalışması, modellerin Lean gibi ortamlarda yarışma sorularını çözebildiğini gösterdi. Buckmaster'ın hikâyesi bu çizginin araştırma matematiğine taşınmış hâli; formel doğrulama, insan gözünün okuyamadığı ispatlara güvenmenin köprüsü oluyor.

Akışkan sorusuna dönersek tablo artık net: denklemler mühendislikte kusursuz işliyor, ancak matematiksel kesinlikte ya tekillik üretiyor ya da saysız çözüme izin veriyor. Bu çelişki bir kusur değil, modelin sınır haritası; sınırın nerede olduğunu bilmek, denklemi nerede güvenle kullanacağını bilmek demek.

Greene'in açılış sorusuna verilen yanıt, Buckmaster'a göre artık olumsuz değil: yapay zekâ, aylarca sürecek insan çalışmasını günlere sıkıştırarak Milenyum ölçeğinde fikir üretebiliyor. Yine de son sözü insan topluluğu söyleyecek; ispatı okunur kılmak, denetlemek ve anlamlandırmak hâlâ matematikçilerin işi ve bu işbirliği biçimi, önümüzdeki yılların bilim pratiğini tanımlayacak gibi duruyor.