Navier-Stokes'ta Tekillik Krizi: OpenAI'nin 88 Saatlik İddiası ve İki Matematikçinin İtirazı

Doksan yıldır kimse Navier-Stokes'u tam olarak ehlileştiremedi. Silicon Carne'nin 20 dakikalık bölümünde 19. yüzyıldan kalan bu akış denklemlerinin neden bir milyon dolarlık Clay sorusuna dönüştüğü, OpenAI'nin 8 Eylül duyurusuyla nasıl bir anda manşete taşındığı anlatılıyor; stüdyodaki edebi sunucunun şaşkınlığı bile meselenin matematikçiler kadar dışarıdan bakanları da neden gerdiğini gösteriyor.

Su ve hava neden hâlâ matematikçiyi zorluyor

Denklemler lisede öğrendiğimiz F eşittir ma'nın akışkana uyarlanmış hali. Navier ve Stokes suyu ya da havayı tek tek moleküller yerine sürekli bir ortam gibi ele alıp basınç, yoğunluk ve hızın zamanla nasıl evrildiğini yazdı. Uçak kanadının üstünden geçen hava, damar içindeki kan ya da tekne gövdesini saran su hep aynı çekirdekle modelleniyor. 1934'te Jean Leray genelleştirilmiş çözümlerin var olduğunu gösterdi ama o çözümlerin hep pürüzsüz kalıp kalmayacağı sorusu açık kaldı; 2000'de Clay Enstitüsü bu soruyu yedi Millennium probleminden biri ilan etti, çözen 1 milyon dolar alacaktı, bugüne kadar yalnızca Poincaré sanısı Perelman tarafından çözülüp ödülü reddedildi.

Clay'in sorduğu şey kavramsal olarak net: Başlangıçta tamamen düzgün ve durgun bir akışkan, viskozite her şeyi yumuşatmaya çalışırken yine de sonlu bir süre içinde hızın sınırsız büyüdüğü bir tekilliğe gidebilir mi? Gerçekte hiçbir akışkan sonsuz hızla akamaz, o yüzden böyle bir patlama denklemin gerçekliği temsil etmede çökmesi anlamına gelir ve bundan sonra her parçacığı tek tek izlemek gerekir. Tartışma tam da bu yüzden yalnızca soyut bir ispat değil, mühendisliğin temel modelinin güvenilirliğiyle ilgili.

Matematikçiler bu yüzden önce daha sade bir basamağa çekildi. Viskozite terimini tamamen atan Euler denklemleri, Boussinesq yaklaşımı ve gözenekli ortam denklemleri Navier-Stokes'a giden merdivenin basamakları gibi görüldü. Diego Córdoba ve Luis Martínez-Zoroa birkaç yıldır kaba kuvvetle tekillik üreten bir program yürütüyordu; fikir LLM'den çıkmadı, onlar pürüzlü kuvvetle çalışan ilk patlamaları kurmuştu. Buckmaster ve Alpöge bu hattı devralıp pürüzlüden pürüzsüze taşımayı denedi.

Bir yıllık sessiz çalışma, bir ayda hızlanan tempo

Tristan Buckmaster NYU Courant'ta profesör, Levent Alpöge Antropik'te çalışan bir matematikçi; ikili yaklaşık bir yıldır bu program üzerinde birlikte çalışıyor, kurumsal anlaşma yok, kişisel bir işbirliği. Metinlerinde belirttiklerine göre Claude, Codex ve özellikle GPT-5.6 Sol'u sürekli kullandılar, son aşamada yazım ve denetim için Astra'dan da yararlandılar. Kendi ifadeleriyle gönderdikleri ilk LLM üretimi ispat hayatlarında gördükleri en kötü metindi. Aylarca gözenekli ortam denkleminde pürüzsüz kuvvetle patlamayı olgunlaştırdılar, 15 Ağustos'ta Boussinesq ve üç boyutlu sıkıştırılamaz Euler için pürüzsüz kuvvetle sonlu sürede patlamayı buldular, 22 Ağustos'ta Lean doğrulaması bitti; Euler metnini kendileri bile yalnızca insan gözetiminde üretilmiş ham bir çıktı olarak tanımlıyor ve topluluktan özür diliyorlar.

Dedikleri gibi, bu noktadan sonra çalışma gece gündüz yazılabilir hale getirmeye odaklanmışken dışarıdan bir söylenti her şeyi hızlandırdı. Kendi hazırladıkları taslakları doğrudan Codex'e yükledikleri için ilerleme bir şekilde dışarı sızmış olabileceği şüphesi doğdu. 1 Eylül civarında OpenAI kulaktan kulağa yayılan bu ilerlemeyi duydu ve elindeki iç modeli tüm Clay problemleri üzerine sürdü. Önce Euler'i yokladı, sonra tam teşekküllü saldırıya geçti ve iddiaya göre 10 bin ajanı paralel çalıştırıp toplam 88 saat sonunda sonuca ulaştı.

OpenAI cephesinin anlatımı şöyle: Ağustos sonunda eğitilen ve GPT-6 Astra'dan belirgin biçimde daha yetenekli olduğu söylenen iç model, önce 1000 ajanla Euler patlamasını yaklaşık 50 saatte buldu, ardından 10 bin ajanla Navier-Stokes'a genişletme 11 saat sürdü, dört güne yayılan toplam hesap 88 saatte kapandı. Şirket basın buluşmasında aynı işi dışarıdan bir müşterinin koşması halinde kabaca 15 milyon dolarlık bir faturanın çıkacağını söyledi; sonuç durağan başlayan, pürüzsüz bir kuvvet uygulanan ve enerjisi sonlu kalan bir akışkanın sonlu sürede tekilliğe gitmesi, Lean'de formel olarak yazılmış bir ispatla destekleniyor ve Clay'in sorun tanımındaki C ve D seçeneklerini karşıladığı öne sürülüyor; kuvvetsiz saf viskoz denklem için patlama iddiası değil.

Takvim çakışması işi gerdi. Buckmaster 3 Eylül'de ilerlemelerine dair bilginin OpenAI'a ulaştığını öğrendiğini söylüyor, 8 Eylül sabahı OpenAI duyurusundan saatler önce kapsamlı bir açıklamayı sitesine koydu ve e-postalaşmalardan alıntılar paylaştı; metninde doğrudan suçlama yok ama yanlış bir anlatının yerleşmesini istemediğini vurguladı. OpenAI aynı gün yaptığı açıklamada hiçbir çalışmayı kamuya açılmadan görmediklerini, kullanıcı verisine erişilmediğini, anonimleştirilmiş verinin model iyileştirmesine katkı vermiş olmasının ihtimal dışı bırakılamayacağını ama iki ispatın hem yöntem hem de tam sonuç olarak belirgin biçimde farklı olduğunu savundu ve Buckmaster-Alpöge çalışmasını eşzamanlı ve dikkate değer bulduğunu ekledi.

Doğrulama yok, ama Lean var

Clay Enstitüsü henüz ne OpenAI ne de Buckmaster-Alpöge ispatını resmen onaylamadı ve hakemli yayın süreci başlamadı. Yine de Lean formelizasyonu matematiği makinece adım adım kontrol edilebilen koda dönüştürdüğü için hata payı ciddi biçimde azalıyor. Wisconsin'den Dallas Albritton gibi dış uzmanlar alanın kılavuz sorularından biri için cevabı bilmenin dev bir eşik olduğunu söylerken BBC, New Scientist ve Science News eşzamanlı haberlerinde hem sonucun hem de zamanlamanın tartışmalı doğasını vurguladı.

Bu patlama tek başına gelmedi. Son on iki ayda Mayıs'ta Paul Erdős'e ait eski bir sanının OpenAI modeliyle çözülmesi, Claude Fable 5'in yaklaşık bir asırdır duran Jacobian sanısına karşı örnek üretmesi ve Fermat'nın son teoreminin yalnızca 11 günde formelleştirilmesi arka arkaya yaşandı. OpenAI'den Sébastien Bubeck ve Venkat Chandrasekaran bu çizgiyi son bir yıldaki ivmenin muhteşem bir birleşimi diye tanımlıyor ve kâğıt-kalem hesabının insan için akıl almaz ölçüde karmaşık hale geldiğini hatırlatıyor.

Tartışmayı alevlendiren şey ispatın doğruluğundan çok kredilendirme ve veri mahremiyeti. Buckmaster ve Alpöge'nin taslakları Codex'te tutması pratik bir kolaylıkken aynı zamanda model sağlayıcısının altyapısında iz bırakmak anlamına geliyor; OpenAI'in anonimleştirilmiş kullanım verilerinin modelleri iyileştirmiş olabileceği yönündeki ihtiyatlı cümlesi tam da bu gri alanı işaret ediyor. Silicon Carne tartışmasında da söylendiği gibi, vibe coding hızında ultra aceleyle yazılmış metinler ile 10 bin ajanlı dev koşu yan yana geldiğinde bilimde kimin emeğinin nasıl korunacağı sorusu teknik detay kadar önemli hale geliyor.

Ekonomi ve jeopolitik katmanı da aynı hızda büyüyor. 15 milyon dolarlık tekil bir koşunun fiyatı, bir zamanlar on yıla yayılan bir kariyer bahsinin artık dört haftalık bir hesaplama bahsine inebileceğini gösteriyor; hesabı karşılayamayan laboratuvarın geride kalma korkusu, süper bilgisayarı olan üniversiteye giden araştırmacı göçünü hatırlatıyor. Tartışmada Avrupa'nın yalnızca başkalarının modellerini dağıtan değil, kendi öz modellerine sahip olması gerektiği vurgusu bu yüzden sıklaşıyor; sunucuların dediği gibi, AI ajanlarını araştırmacıya tahsis edebilen ülke bir sonraki nesil yeteneği çekecek.

Silicon Carne'nin dili bu tabloya insani bir çerçeve ekliyor. Kendini edebi diye tanımlayan sunucunun 1 milyon dolarlık soruyu sulh içinde anlatırken araya giren kahkahalar, Sun Vadisi'nin Netflix'i benzetmesi ve küçük kavgaların büyük paraya dönüşmesi üzerine şakalar, denklemin ötesinde bir topluluk hikâyesi olduğunu hatırlatıyor. Son sözde ekip yine aynı cümleye dönüyor: AI matematiği hızlandırdığı kesin, sahipliğin ve itibar ekonomisinin hâlâ insanda kalıp kalmayacağı ise bir sonraki ispatta test edilecek.