OpenAI Navier-Stokes İddiası: 88 Saatte 166 Sayfalık Lean Doğrulamalı Çözüm Önerisi

OpenAI, 8 Eylül 2026 tarihli duyurusunda iç modelinin Navier-Stokes Milenyum problemine bir çözüm önerisi ürettiğini açıkladı ve takvimde 1 Eylülde tetiklenen yoğun çalışmanın 5 Eylülde analitik taslağa, 6 Eylülde ise Lean doğrulamasına ulaştığını belirtti. Şirketin verdiği sayılara göre Navier-Stokes hattında 10 bin eşzamanlı ajan 88 saatte 2,7 milyon mesaj ve yaklaşık 130 milyar çıktı tokeni üretti, tüm Milenyum denemeleri toplamında ise 4,9 milyon mesaj ve 300 milyar token harcandı. Modelin GPT-6 Astra'dan belirgin biçimde daha yetenekli bir iç sistem olduğu, ispatın başlığının Finite Time Blowup for Navier-Stokes olduğu ve dosyanın 166 sayfa olduğu aktarıldı. Bu çerçevede şirket, sonucun milyon dolarlık ödül için değil, model kabiliyetindeki sıçramayı raporlamak için paylaşıldığını özellikle vurguladı ve ödülü talep etme niyeti olmadığını açıkladı.

Çözüm önerisi, Clay Mathematics Institute'un resmi ifadesindeki alternatif C ve D'yi hedefleyen bir çürütme biçiminde kurgulandı. Alternatif A ve B, pozitif viskozitede düzgün başlangıç verisiyle akışın sonsuza kadar düzgün kalacağını ispatlamayı isterken, C ve D bunun aksini, yani üç boyutlu sıkıştırılamaz akışın sonlu zamanda düzgünlüğünü kaybedebileceğini göstermeyi talep ediyor. OpenAI'ın teorem 1.1 olarak işaret ettiği çekirdek iddia, başlangıçta durgun ve düzgün bir akışa düzgün ve enerjisi sınırlı bir dış kuvvet uygulandığında hız alanının belirli bir zaman noktasına yaklaşırken sınırsız büyüyeceği yönünde. Şirket metni, her pozitif viskozite değeri için geçerli olduğu söylenen bu tekillik inşasının, Milenyum ifadesini kelimesi kelimesine karşılamayı amaçladığını belirtiyor ve BBC ile Nature'ın aktardığı özetlerle aynı noktaya işaret ediyor.

Fiziksel resim, videoda spagetti gibi uzayan bir girdap olarak anlatılan ve matematikte farklı ölçeklerde büzülen benzerlik koordinatlarıyla modellenen bir yapıya dayanıyor. Yarıçapın yükseklikten çok daha hızlı daraldığı bu ince çekirdekte akış, momentum korunumu gereği giderek hızlanıyor ve basınç gradyanları ile taşınım terimleri birlikte büyüyor. Sıkıştırılamazlık koşulu, yanlardan gelen akışkanın yığılmasını engelleyip dikey dış akışa yönlendirdiği için içe doğru hareket ve dönme ivmelenmesi kesintisiz sürüyor. Videonun aktardığına göre açısal Reynolds sayıları sınırsız büyüyor; bu da momentumun sürtünmeye oranının kontrolden çıkması ve akışın sürtünme yayılımının yetişemeyeceği kadar çok tur atması anlamına geliyor.

Hız sonsuza giderken enerjinin neden patlamadığı, bu önerinin en ters sezgili noktası. Patlama bölgesinin hacmi sıfıra doğru büzüldüğü için, sonsuz hızlar giderek daha küçük bir hacme hapsoluyor ve tüm uzay üzerinden integrali alınan kinetik enerji sınırlı kalıyor. OpenAI özetinde ve videoda vurgulandığı üzere, öncül ölçeklemede bu katkının toplam enerjiye oranı sıfıra doğru gidiyor, dolayısıyla fiziksel olarak imkansız hızlar matematiksel olarak sonlu enerjili bir çözüm içinde barınabiliyor. Bu hacim-hız dengesi, tekilliğin bir enerji patlaması değil, bir yoğunlaşma olayı olarak okunması gerektiğini gösteriyor ve Milenyum şartındaki sonlu enerjili çözüm talebini karşılama iddiasını ayakta tutuyor.

En çok tartışılan başlık olan dış kuvvet meselesinde ispat, sonsuz ya da tekil bir kuvvet enjekte etmediğini, aksine pürüzsüz bir artık kuvvet bırakmak için iç dinamikleri hassas biçimde dengelediğini savunuyor. İvme, basınç gradyanı, taşınım ve viskoz sürtünme terimlerinin her biri tek tek büyük değerlere ulaşırken birbirini götürmesi, geriye düzgün bir dış kuvvet kalmasını sağlıyor. Videonun aktardığı teknik detay, uzamsal olarak salınımlı atımların doğrusal olmayan momentum akılarının tekil kısmı sönümlemesi ve böylece artık kuvvetin düzgünlüğünün korunması. Bu denge, tekilliğin dışarıdan dayatılan bir itişle değil, denklemlerin kendi iç etkileşimiyle doğması gerektiği yönündeki Milenyum talebini karşılama stratejisinin merkezinde duruyor.

Bu sonuç doğrulanırsa, 19. yüzyılda Navier ve Stokes tarafından formüle edilen ve uçak kanadı, hava tahmini ile damar içi kan akışına kadar uzanan mühendislik modellerinin dayanağı olan süreklilik yaklaşımının matematiksel sınırını işaret edecek. Süreklilik modeli akışkanı tek tek moleküller yerine pürüzsüz bir ortam olarak ele aldığı için, hızın sonlu zamanda sınırsız büyümesi gerçek bir akışkan için fiziksel değil, denklemlerin modelleme varsayımının çöktüğü bir nokta anlamına geliyor. New Scientist ve Nature'ın da vurguladığı gibi, bu noktadan sonra sistemi süreklilik denklemleriyle sürdürmek yerine parçacık düzeyinde izlemeye geçmek gerekiyor. Dolayısıyla iddia, pratik bir simülatörü hızlandırmaktan çok, ne zaman süreklilik modellerinin patolojik hale gelebileceğini ilan eden bir sınır taşı işlevi görüyor.

Yöntem tarafı, tek bir modelin 88 saat düşünmesinden çok, dev bir paralel arama ağacına dayanıyor. OpenAI, önce Euler denklemleri için yaklaşık bin ajanla 50 saatte kuvvetsiz durumda düzenlilik karşı-örneği ürettiğini, ardından kaynakları Navier-Stokes'a yığarak ajan sayısını 10 bine çıkardığını açıkladı. Farklı ajan kümeleri A ve B varyantlarında düzgünlük ispatını, C ve D varyantlarında ise tekillik inşasını eşzamanlı denedi ve Codex benzeri bir konsolidasyon katmanı, bir kümede bulunan basınç dengesi fikrini diğer kümelere taşıdı. Şirket, bu ölçekte çıkarımı müşteri olarak faturalandırmanın yaklaşık 15 milyon dolara mal olacağını ve Astra üzerinden 17 saatlik ek bir Lean biçimselleştirme yürütüldüğünü belirtti; BBC ve Wired'ın aktardığı basın brifinginde de bu maliyet ve süreler tekrarlandı.

Doğrulama katmanı, 166 sayfalık analitik metnin doğrudan bir yapay zekâya okutulmasından farklı olarak, Lean ispat asistanının çekirdeğinde tip denetimiyle yürütülüyor. Boru hattı, PDF'deki savı kodda bir teoreme dönüştürme, ardından her tanım, lemma ve bağımlılığı Lean dilinde adım adım türetme ve nihayet çekirdeğin her çıkarımı kurallara uygun bulup bulmadığını kontrol etmesi şeklinde ilerliyor. Lean, argümanın güzelliğiyle ilgilenmeden her mantıksal adımın eksiksiz bağlanmasını talep eden katı bir denetçi gibi çalışıyor ve tek bir örtük sıçramada bile reddediyor. Bu yüzden biçimsel doğrulama, cebirsel boşlukları kapatma konusunda güçlü bir kanıt sunsa da, başlangıç varsayımlarının, pürüzsüzlük ve kuvvet tanımlarının ve C ile D alternatiflerinin Clay metniyle birebir eşleşip eşleşmediğini hâlâ insanların denetlemesi gerekiyor.

Takvim ve öncelik tartışması, insan araştırmalarıyla eşzamanlı ilerledi. OpenAI, yeni iç modelin eğitimine 28 Ağustos'ta başladığını, 1 Eylülde iki Milenyum probleminin çözüldüğüne dair söylentileri duyunca tüm Milenyum hatlarını denemeye açtığını açıkladı. Aynı günlerde NYU'dan Tristan Buckmaster ve Anthropic'ten Levent Alpöge, Anthropic Claude ve OpenAI Codex ile uzun süredir yürüttükleri çalışmada Euler tarafında kuvetli durumda önemli ilerlemeler duyurmuş ve 7 Eylülde sıfır viskoziteli Euler için tekillik taslaklarını paylaşmıştı. OpenAI, kendi Euler çözümünün kuvvetsiz varyantta, insan ekibinin çözümünün ise kuvvetli varyantta olduğunu ve ispatların farklılaştığını vurguladı; hiçbir araştırmacı veya ajanın yayımlanmadan önce karşı tarafın çalışmasını görmediğini, özel kullanıcı verisine erişilmediğini belirtti. Bununla birlikte şirket, kimliği gizlenmiş kullanım verilerinin model iyileştirmelerine genel düzeyde katkı vermiş olabileceğini dışlayamayacağını da açıkça not düştü.

Pratik etki konusunda tablo net biçimde sınırlandırılıyor. Bu dosya, mühendislikte kullanılan hesaplamalı akışkanlar dinamiği kodlarını doğrudan hızlandıran bir simülatör, türbülans kapatma modeli veya hava tahminini yarın iyileştiren bir yama sunmuyor; applied alanlar zaten özgül geometri ve sınır koşulları altında sayısal yaklaşımlarla uçak ve reaktör tasarlıyor. Değer, süreklilik modellerinin ne zaman ve hangi yapılar üzerinden patolojikleşebileceğini ilan eden teorik bir kilometre taşı olarak tanımlanıyor ve OpenAI'ın kendi ifadesiyle bir ödül başvurusu değil, model ilerlemesine dair bir raporlama olarak sunuluyor. Clay Mathematics Institute başkanı Martin Bridson'ın New Scientist'e verdiği demeçte sürecin kasıtlı olarak yavaş ve titiz yürütüleceğini söylemesi, bağımsız hakem denetimi tamamlanmadan Milenyum probleminin resmen kapanmayacağını hatırlatıyor.