Gündeme dön

Navier-Stokes Kavgası: 10 Bin Yapay Zeka Ajanı ve Milyon Dolarlık Denklem

OpenAI, 8 Eylül 2026'da iç modelinin on bine yakın ajanı 88 saat çalıştırarak Navier-Stokes denklemlerinde sonlu zamanda tekillik bulan bir ispat ürettiğini duyurdu. Sonuç, milyon dolarlık problemin dış kuvvetli versiyonuna ait; matematikçilerin asıl soru saydığı dış kuvvetsiz durum hâlâ açık. Duyurunun arkasında NYU'dan Tristan Buckmaster ve Anthropic'ten Levent Alpöge ile büyüyen imza ve veri kavgası var.

Nodesdaily’e aktarım: (UTC+03:00)
YouTube'da izle — tk9i489ACu8
Okuma seçenekleri

Bu tarayıcıda cihazdan sesli okuma kullanılamıyor.

Kavram merceği

Bu görünümde geçen teknik kavramlardan birini seç. Genel tanımı, öğretici örneği ve haberdeki kullanımını birlikte oku.

Bu görünümde sözlüğümüzdeki kavramlardan biri bulunmadı. Sözlük henüz tüm terimleri kapsamıyor.

Bora Özkent yapay zekayı bu kanalda hep yatırım penceresinden okuyor: hangi sektör büyüyecek, para nerede? Bu video merceği koruyup alışılmadık bir hedefe çeviriyor: yapay zekanın hızlanan bilimsel etkisine ve etrafında patlayan skandallara; kadroda insanlar, gözyaşı ve OpenAI var. Tezi net: yapay zekanın bilime yaklaşması uçak tasarımı gibi son derece fiziksel sektörlerde yeni iş fırsatlarının önünü açıyor.

İnsan hikâyesi iki araştırmacıyla başlıyor: New York Üniversitesi matematikçisi Tristan Buckmaster ile rakip laboratuvar Anthropic'te çalışırken özel kapasiteyle iş birliği yapan Türk araştırmacı Levent Alpöge. İkili, Codex dahil herkese açık yapay zeka modellerinden destek alarak zor bir akışkanlar dinamiği probleminin üzerine gidiyor ve makaleyi yayınlamaya hazırlanırken OpenAI'dan mektup geliyor: problem çoktan çözülmüş. Bitmek üzere bir makaleyle kurumsal bir duyurunun çarpışması, bütün kavganın motoru.

Problemin kendisi Navier-Stokes varlık ve düzgünlük sorusu; 2000'den beri Clay Enstitüsü'nün milyon dolar ödüllü Milenyum problemlerinden biri. Musluğu açın: su önce düzenli akar, aşağılara indikçe dalgalanır, kıvrılır. Matematik, bu hareketlerin her ortamda tahmin edilip edilemeyeceğini ve düzgün bir başlangıcın hiç sonlu zamanda hıza sonsuza fırlatan bir tekilliğe dönüşüp dönüşemeyeceğini soruyor. OpenAI 8 Eylül 2026'da iç modelinin cevabı ürettiğini duyurdu: on bine yakın ajan 88 saat paralel çalıştı, artı Lean ispat dilinde 17 saat formalleştirme; yüz sayfayı aşan makale ve makineyle denetlenebilir dosyalarla yayınlandı.

Sonra imza kavgası geldi. Buckmaster'ın anlatımına göre OpenAI onu tezi inceleyip birlikte yayınlamaya çağırdı ama Alpöge'nin adının dışarıda bırakılmasını istedi; gerekçe rakip şirkette çalışmasıydı. Buckmaster işin ortak yapıldığını söyleyip tek başına imzayı reddetti ve yazışmada kariyerine yönelik tehdit dili kullanıldığını aktarıyor; OpenAI bu iddiayı reddediyor. Tartışma sosyal medyaya düştü; şirkete zaten güvenmeyen kalabalıkla büyüdükçe büyüdü.

İkinci skandal katmanı OpenAI'ın neden kolları sıvadığı. Şirketin kendi anlatımına göre proje 1 Eylül'de, rakip taraftaki matematikçilerin Milenyum ölçeğinde çözümlere yaklaştığı söylentisi üzerine başladı; yayından üç gün önce bir rakip Fermat'nın Son Teoremi'ni on bir günde formalleştirmişti. Buckmaster ile Alpöge herkese açık modeller üzerinde çalıştığı için, yayınlanmamış düşüncelerinin kendilerini geçen makineyi beslemiş olabileceği şüphesi doğdu. OpenAI özel çalışmalara bakmadığını söylüyor ama sistemin düşük ihtimalle de olsa yararlanmış olabileceğini kabul ediyor; bu cevap neredeyse kimseyi tatmin etmedi.

Kavgayı bir kenara bırakıp bilime dönünce tablo çarpıcı. OpenAI'ın sonucu bir akışkanın dış itkiye tepkisinin tahminine dair; kanat şekillerini, hava tahminlerini, çip soğutmayı, hatta damar ve stent içindeki kan akışını ilgilendiren matematik. Bilim deneme, yanılma ve sonuç ilişkisiyle ilerler; koordineli on bin ajan bu döngüyü olağanüstü sıkıştırıyor: bir insanın ömründe tarayamayacağı kadar malzemeyi aynı anda çekip sonuca yürüyorlar. Video bu yüzden bölümü bilim hikâyesi kadar yatırım merceğiyle anlatıyor.

Kapanış, bilim insanının değişen rolü üzerine. Makine inisiyatif almıyor, soruyu çerçevelemiyor; problemi seçmek insanın işi olarak kalıyor. Ama laboratuvar rutininin büyük bölümü modellere geçebilir; insana tezi bulmak ve sonuçları denetlemek kalır, uydurma riski baki; videonun yazarı kendi yoğun kullanımında bunları gördüğünü açıkça söylüyor. Her meslek değişiyor, bilim müstesna değil: bazen insanların emeği alınacak, bazen işleri hızlanacak ve orta yol henüz aranıyor.

Görsel: nodesdaily AI

AI yorumu

"Beni bu hikâyede yakalayan ispatın kendisi değil, zamanlaması oldu. 1 Eylül'de bir söylenti, 8 Eylül'de bir yayın ve arada rakip ekibin isimleri: endüstriyel ölçekte işlem gücü yarışa girince sınır biliminin ne hızla aktığını gösteriyor. OpenAI'ın iddiasını problemin gerçek bir versiyonu üzerinde Lean ile denetlenmiş ciddi bir sonuç olarak, imza kavgasını ise neyin kimin keşfi olduğuna artık yalnızca üniversitelerin değil laboratuvarların karar verdiği yeni dönemin ilk açık kavgası olarak okuyorum."

AI değerlendirmesi

OpenAI'ın dosyasındaki en güçlü kartı en cömert haliyle ifade edeyim. Şirket, problemin dış kuvvetli versiyonu üzerinde bilgisayar denetimli bir sonuç yayınladı; bu versiyon Clay metninde yer alıyor ve Amerikan Matematik Derneği'nin son adımların zemini diye nitelediği yılların insan matematiğine dayanıyor. Dış kuvvetsiz durumun açık kalması iddianın kapsamını daraltır; sonucu yok etmez.

Duyurunun çözmediği taraflar, çözdüklerinden ağır basıyor. Clay Enstitüsü ispatı kabul etmedi, problemi hâlâ açık listeliyor ve başkanı incelemenin onlara yakışır şekilde yavaş ve titiz olacağını söylüyor. Lean derlenmesi bir argümanın aksiyomlardan izlediğini gösterir; formülasyonun amaçlanan problemi yakaladığını göstermez ve bağımsız matematikçiler yüz sayfayı aşan metni hâlâ tarıyor. İki milyon ile yirmi milyon doları aşan maliyet tahminleri de böyle bir koşuyu kimin tekrarlayabileceğini daraltıyor.

Güvenimin düştüğü yer menşe soruları. Buckmaster, ekibin verilerinin kullanılıp kullanılmadığını sorduğunu ve cevap alamadığını söylüyor; OpenAI ise iş birliğinin rakip şirkete bağlı ismin çıkarılması şartına bağlandığı iddiasını reddediyor. Takvimin kendisi belgeli: söylenti üzerine 1 Eylül başlangıcı, 8 Eylül yayını, rakibin Fermat formalleştirmesinden üç gün sonra. Terence Tao'nun uyarısı tek başına ayakta duruyor: söylentiler milyon dolarlık kepçe koşularını tetiklerse araştırmacılar umut vadeden işi erken paylaşmayı bırakır ve açık bilim zeminini yitirir.

Pratik hükmüm, birinci tekil şahısla: yatırımcı için videonun fiziksel-dünya merceği bu kavgadan sağ çıkar, çünkü akışkan tahmini gerçekten kanadı, havayı, çipi ve kan akışını ilgilendiriyor; ama hiçbir pozisyon incelemeden geçmemiş tek duyuruya bağlanmaz. Araştırmacı için ders operasyonel: yayınlanmamış hassas çalışmayı sizinle yarışan bir yapının altyapısında yürütmeyin. İspatı ciddiye alınır, kutlamayı erken buluyorum ve kavgayı laboratuvarlarla üniversiteler arasındaki yeni güç dengesinin habercisi sayıyorum.

Kaynaklar

10 bağlantı; 6 tanesi 11 başka haberde de kullanılıyor. Aynı bağlantıyı paylaşan haberler birbirini doğrulamış sayılmaz; kaynağın kökeni bağlantı sayısından çıkarılmaz.

navier-stokes · openai · tristan buckmaster · milenyum problemleri · yapay zeka ve bilim · lean ispatı · terence tao

Konuyu takip et

Bu haberden önce

Aynı olayla editör tarafından ilişkilendirilmiş önceki haberlerden kısa bir okuma sırası.

Kanıt ve kaynaklar

İzinli kaynak metnini, sürümünü ve köken bilgisini incele.

KAYNAKLARLA OKU

Bu haberi açalım.

Hesap kontrol ediliyor…