OpenAI 88 Saatte Milyon Dolarlık Navier-Stokes Sorununu Çözdü: Trilyon Dolarlık Yarış Kızışıyor

Yapay zekâ az önce matematiğin en zor sorularından birini çözdü ve bu hem zafer hem de uyarı olarak okunuyor. WSJ kısa videosu son bir yılda AI’ın matematikteki sıçramasının beklentileri nasıl aştığını hatırlatıyor; 2000’de bir Fields madalyalı Milenyum problemleri bilgisayarların menzilinin çok dışında demiş, geçen yıl tahminciler 2030’a kadar herhangi birini çözme olasılığını ancak yüzde 20 civarında görmüştü. Şimdi OpenAI’ın duyurduğu çözüm bu takvimi öne çekti. Videoda konuşan Fields madalyalı isim iyimser, fakat on iki diğer ödüllü matematikçi şirketlerin matematik çözme takıntısının matematiğin anlamını aşındırabileceğinden endişe ediyor ve aynı günlerde AI güvenliği tartışması yeniden alevleniyor.

Yüzyıllık Denklem: Navier-Stokes Neden Kilit Soru

Navier-Stokes denklemleri 19. yüzyılda Claude-Louis Navier ve George Gabriel Stokes’un çalışmalarına dayanıyor ve havadan okyanus akıntılarına kadar akışkan hareketini tanımlıyor. 1934’te Jean Leray genelleştirilmiş çözümlerin varlığını göstermişti ama pürüzsüzlüğün her koşulda korunup korunmadığı yaklaşık doksan yıl yanıtsız kaldı. Clay Matematik Enstitüsü 2000’de bunu yedi Milenyum probleminden biri seçip 1 milyon dolar koydu ve bugüne kadar yalnızca biri çözülebilmişti. OpenAI’ın sunduğu kanıt, başlangıçta pürüzsüz ve durgun bir akışkanın sonlu sürede tekilliğe gidebileceğini, yani hızın bir noktada sınırsız büyüklüğe yaklaşabileceğini iddia ediyor; merkez bölge spagetti gibi incelip hızlanırken enerjinin sonlu kalması ve dış kuvvetin pürüzsüz tutulması işin teknik düğümü olarak anlatılıyor.

Şirket bu sonuca nasıl ulaştığını da alışılmadık biçimde şeffaf paylaştı. 1 Eylül’de iki Milenyum probleminin çözüldüğüne dair söylentiyi duyduktan sonra kaynakları Navier-Stokes’e kaydırdığını, GPT-6 Astra’dan belirgin biçimde daha güçlü bir iç modelle önce yaklaşık 100 ajanı Euler problemi üzerinde 50 saat çalıştırıp ardından 10 bin otonom ajanı tam Navier-Stokes’e yönlendirdiğini aktarıyor. Ajanların çözümü 5 Eylül Cumartesi günü yaklaşık 88 saatte ürettiği, Lean dilinde biçimsel doğrulamanın 17 saat daha aldığı, ajanlar arasında 5 milyona yakın mesaj dolaştığı belirtiliyor. Maliyet tarafında Quanta birkaç milyon dolardan söz ederken New Scientist basın toplantısına dayanarak müşteriye fatura olarak yaklaşık 15 milyon dolar telaffuz ediyor; BBC de aynı 88 saat ve 10 bin ajan ölçeğini doğruluyor.

Maliyet Hesabı: 1 Milyon Ödül, 15 Milyon Harcama

Ekonomi penceresinden tablo çarpıcı. Clay’in vaat ettiği ödül 1 milyon dolar, harcanan ise bunun on beş katı ve OpenAI ödülü talep etmediğini açıkça söylüyor. Rasyonel hesap ödülde değil, trilyon dolarlık AI altyapı ve model üstünlüğü yarışında. Son yıllarda faiz oranları yüksek seyrederken sermaye pahalı, fakat büyük laboratuvarlar trilyon dolar ölçeğinde veri merkezi, çip ve yetenek yatırımı için milyarları gözden çıkarıyor. Bu bağlamda 15 milyon, bir sonraki modelin pazar payını ve kurumsal sözleşmeleri belirleyecek bir ispat için görece küçük bir bahis gibi sunuluyor. WSJ’nin milyonlarca dolar vurgusu ve saniyeler içinde benzer ölçekte rakip duyurular gelmesi de bu harcama iştahını normalleştiriyor; ödül sembolik kalırken gerçek getiri algılanan liderlikte aranıyor.

Öncelik tartışması da bu ekonomi ile iç içe. New Scientist ve Quanta, OpenAI’ın hamlesinden saatler önce NYU’dan Tristan Buckmaster ile Anthropic çalışanı Levent Alpöge’nin zorlamalı Euler için üç önemli adım duyurduğunu, OpenAI’ın ise bu sızıntı söylentisi üzerine hızlandığını yazıyor. OpenAI, Buckmaster ve Alpöge’nin zorlamalı Euler’deki önceliğini teslim ederken Navier-Stokes kanıtının farklı olduğunu ve onların istemlerini ya da kanıtını kullanmadığını belirtiyor. Tarafların açıklamaları arasında ton farkı var ve Buckmaster’in ifadesi ajanların dolaylı olarak o çalışmalardan beslenmiş olabileceğine dair soru işareti bırakıyor. Yarışın bu kadar sıkışması, trilyonluk pastada ilk olma algısının bilimsel öncelik kadar finansal değer taşıdığını gösteriyor.

Zirve, Korku ve Yavaşlama Çağrısı

Videonun ikinci yarısı matematiği laboratuvar dışına taşıyor. Çözümün yayımlandığı gün bir Anthropic araştırmacısı X’te önümüzdeki on yılda insanlığın yok oluş olasılığını yüzde 10’un üzerinde gördüğünü yazdı, bir diğer araştırmacı güvenlik kaygısıyla istifa edip bu sistemleri kuranların ciddi biçimde hepimizi yok edebileceğini düşündüğünü söyledi. Hafta sonunda dört büyük AI şirketinin liderleri geliştirme hızının yavaşlatılması gerektiğinde uzlaştı. OpenAI ise San Francisco ofisinde matematikçiler için bir zirve düzenleyip ortak varsayımı açıkça kayda geçirdi: AI yakında matematikte insanı geride bırakacak. Zirvede hangi problemlere odaklanılacağı, eğitimin nasıl dönüşeceği ve yeni nesil matematikçilerin ne öğreneceği tartışıldı; bu, bilginin üretim biçiminin değiştiğine dair kurumsal bir kabul olarak yansıtıldı.

Doğrulama ise bilerek yavaş ilerleyecek. Clay Enstitüsü başkanı Martin Bridson süreci kasten acele etmeyeceklerini ve mutlak titizlikle yürüteceklerini söyledi. Lean ile biçimsel doğrulama güven verse de bağımsız hakemlik yıllar sürebilir; daha önce tek çözülmüş Milenyum problemi de kabule giden yolda uzun inceleme yaşamıştı. Bu sırada OpenAI ikinci bir Milenyum problemine yaklaştığı sinyalini verdi ve kaynaklarını yeniden dağıtmaya başladı. Kısa vadede tablo şu: matematik camiası kanıtı satır satır denetlerken piyasalar AI’ın matematik üstünlüğünü trilyon dolarlık değerlemelere fiyatlamaya devam edecek, üniversiteler müfredatı gözden geçirecek ve faizle fonlanan büyük yatırımların geri dönüşü bu tür dönüm noktalarıyla gerekçelendirilecek.