Asansörden Girdaba: Navier-Stokes Denklemi Neden Düğümlendi ve OpenAI Ne Öne Sürdü

Video Newton'un ikinci yasasıyla, çoğumuzun en son okul sıralarında gördüğü derli toplu F=ma bağıntısıyla açılıyor ve bunu OpenAI'ın Navier-Stokes düzgünlük sorunu iddiasına bağlıyor. Asansörlü hesap sezgiyi taşıyor: 9,8 m/s2 çekim altında 1.000 kg'lık kabine yaklaşık 9.800 N kuvvet uygulanıyor, halat bunu karşılamak zorunda ve fazladan 1.000 N kabinin tamamını 1 m/s2 hızlandırıyor.

Bu hesap katı cisimlerde kolay kalıyor çünkü gövde tek parça hareket ediyor ve kabindeki iki nokta aynı ivmeyi paylaşıyor. Akışkanlar bu kolaylığı reddediyor: komşu su parçaları aynı anda farklı yönlere, farklı hızlarla ve farklı ivmelerle gidebiliyor. Bu yerel farkların her biri matematiğe yazılmak zorunda ve sıkıntı tam burada başlıyor.

Newton yasasını akışkana uygulayınca Navier-Stokes denklemi çıkıyor; tarih boyunca birçok katkıyla yavaş yavaş kurulmuş bir denklem bu. Bağıntının bir yanı küçük bir su bölgesine etkiyen kuvvetleri topluyor: basınç, viskozite ve genelde kütleçekim. Öbür yanı ise akışkanın bu kuvvetlere ivmesi ve yoğunluğuyla nasıl yanıt verdiğini izliyor.

Bahçe hortumu kuvvet tarafını somutlaştırıyor: musluğa yakın su, çıkıştaki sudan daha yüksek basınçta duruyor ve bu basınç farkı akışı ileri itiyor. Viskozite, hortum duvarına yaslanan katmanı sürtünmeyle yavaşlatırken merkezdeki akış daha hızlı gidiyor. Kütleçekim veya dışarıdan gelen başka kuvvetler dengeyi oynatabiliyor ve denklem hepsini topluyor.

Akışkanda ivme birbirinden ayrılmaya değer iki kanala bölünüyor. Musluğu açmak sabit bir noktadaki hızı zamanla değiştirirken huni, kanal aşağı doğru daraldığı için suyu hızlandırıyor. Yoğunluk tabloyu tamamlıyor: belli bir hacme ne kadar kütle sığdığını kaydediyor ve tuzlu su ile tatlı suyun farklı davranmasının sebebi bu.

Denklem hakkını veriyor: yaklaşık iki yüzyıldır boru tasarımına, hava tahminine ve okyanus akıntısı modellerine gerçek mühendislik başarısıyla yol gösteriyor. Ama matematiğin her makul koşulda uslu kalacağı hiç gösterilemedi ve bu boşluk ünlü milyon dolarlık soru. Ya bir ispat üç boyutta düzgün çözümlerin hep sürdüğünü gösterecek ya da bir karşı-örnek denklemlerin tekilliğe patlayabildiğini ortaya koyacak.

OpenAI ikinci yolu öne sürüyor: denklemlerin çöktüğü bir düzenek sunuyor ve bunun yaklaşık 10 bin eşzamanlı ajanla, 130 milyar token harcanarak bulunduğu belirtiliyor. Bağımsız inceleme bu iddiayı ayakta tutarsa bu bir dönüm noktası olur ve devasa ajan orkestrasyonu işe katılınca sınır matematiğinin neye benzeyeceğini gösterir.

Öne sürülen karşı-örnek sarmal bir girdap gibi resmediliyor: akışkan merkezi bir çizgi etrafında dönerken aynı anda içe çekiliyor ve yukarı doğru geriliyor. Günlük hayattaki en yakın akrabası kasırga ama bu düzenek rutinde gözlenenden çok daha tuhaf. Millennium formülasyonu tam da bu katılığı istiyor: her geçerli üç boyutlu başlangıç durumunu kapsamak ya da sonlu sürede çöküşü göstermek.

Rakip araştırmacıların neden hile çığlığı attığını anlamak için video Euler'e dönüyor; viskoziteyi hesaba katmayan daha eski akış denklemi. Anthropic'ten Tristan Buckmaster ve Levent Alpöge önceki çalışmalara dayanarak yaklaşık bir yıl boyunca orada patlama düzeneği aradı ve zorlamalı bir çözüm duyurdu. Zorlamalı, çöküşü tetiklemeye dışarıdan eklenen bir itişin yardım ettiği anlamına geliyor; yani sonuç bitmiş bir ispat değil, viskozite hâlâ dışarıda duran bir ilerleme.

OpenAI aynı izde hızlı hareket etti: 100 ajanla yaklaşık 50 saatte zorlamasız Euler patlaması, ardından kabaca 88 saatte tam Navier-Stokes vakası. Anlaşmazlık, Buckmaster'a Alpöge'nin adının dışarıda bırakılması koşuluyla ortak atıf teklif edildiği ve mesaj kayıtlarının yalanlamalar eşliğinde ortaya dökülmesiyle kişiselleşti. OpenAI'ın defalarca reddettiği en ağır iddia, ilhamın Codex içindeki araştırmacı yazışmalarından aşıldığı yönünde. Video daha derin bir huzursuzlukla kapanıyor: 10 bin ajan bir sınır laboratuvarının bütçesini gerektirirken keşifleri kim yapacak ve insanlar için yazılmış ödül kurallarında makine yazarlara ayrılmış satır yok.