90 Yıllık Problem, 88 Saat ve 10.000 Ajan
8 Eylül 2026 tarihinde OpenAI, bilim dünyasını sarsan bir açıklama yaptı: Şirket, 10.000 yapay zeka ajanını eş zamanlı çalıştırarak matematiğin en zor problemlerinden biri olan Navier-Stokes denkleminin varlık ve düzgünlük problemini 88 saatte çözdüğünü duyurdu. Proje 1 Eylül'de başlatıldı, 5 Eylül'de tamamlandı; toplamda 2,7 milyon mesaj alışverişi ve yaklaşık 130 milyar çıktı token tüketildi.
Sonuca göre üç boyutlu Navier-Stokes denklemleri, sonlu bir süre içinde tekillik (singularity) geliştirebilir — yani akışkanı tanımlayan matematik belirli koşullarda "çöküyor." Bu, 1930'lardan bu yana yanıt bekleyen sorunun cevabı. Ayrıca Clay Matematik Enstitüsü'nün yedi Milenyum Ödülü Problemleri'nden biri — her biri için 1 milyon dolar ödül var. OpenAI ödülü talep etmeyeceğini açıkladı.
yapay zeka ajanı
sayısı
toplam süre
(+ 17 sa. Lean doğrulama)
(OpenAI talep
etmeyeceğini açıkladı)
Navier-Stokes Nedir, Neden Önemli?
Navier-Stokes denklemleri, su ve hava gibi akışkanların hareketini matematiksel olarak tanımlıyor. Uçak tasarımından hava tahminlerine, okyanus akıntılarından kan dolaşımı simülasyonlarına kadar mühendislik ve bilimin temel aracı. Ancak matematikçiler 90 yıldır şunu bilemiyordu: Bu denklemler her zaman "düzgün" bir çözüme mi sahip, yoksa bazı durumlarda sonsuzluğa gidip çöküyor mu?
OpenAI'ın ajanları, çözümün ikinci seçenek olduğunu — yani denklemlerin çökebileceğini — ispat etti. Sonuç, Lean adlı biçimsel ispat ortamında 17 saatte doğrulandı; bu sayede kanıt bilgisayar tarafından satır satır kontrol edilebilir hale geldi.
Türk-Amerikalı Matematikçi ve Tartışmanın Merkezi: Levent Alpöge
Açıklamanın yayımlanmasından yaklaşık 12 saat önce, NYU matematik profesörü Tristan Buckmaster bir açıklama yaptı. Buckmaster, kendisi ve Anthropic çalışanı Levent Alpöge ile birlikte bu problemi en az bir yıldır gizlilik içinde çözdüklerini belirtti.
Levent Hasan Ali Alpöge, Türk-Amerikalı bir matematikçi ve yapay zeka araştırmacısı. Anthropic'in teknik kadrosuna katılmadan önce sayı teorisi ve aritmetik istatistik alanında öne çıkan çalışmalar yaptı. Temmuz 2026'da Claude Fable 5 modelini kullanarak Jacobian Konjektürü'nü çözdüğünü açıklamasıyla uluslararası arenada tanındı; Ağustos'ta ise Carathéodory konjektürünü çürüttü.
Buckmaster ve Alpöge'nin iddiası şu: 15 Ağustos 2026'da Euler denklemlerinin "patladığını" (blow-up) ispat ettiler ve bunu Lean'de doğrulayıp ön baskı yayımladılar. OpenAI'ın Navier-Stokes çalışması ise 1 Eylül'de, bir "söylenti" üzerine başlatıldı — bu söylentinin Alpöge-Buckmaster çalışmasıyla bağlantılı olduğu sonradan anlaşıldı.
OpenAI iddiaları reddetti: Alpöge-Buckmaster'ın yayımlanmamış çalışmasına doğrudan erişilmediğini, ispat yöntemlerinin farklı olduğunu ve her iki takımın da eş zamanlı çalıştığını söyledi. Şirket, sonunda Alpöge ve Buckmaster'ı "eş zamanlı katkı sahipleri" olarak duyuruda teslim etti ve ortak bir açıklama yapmayı teklif etti.
İspat Hâlâ Doğrulanıyor
Matematikçiler temkinli. Lean ortamında otomatik doğrulama yapılmış olsa da bağımsız uzman incelemesi (peer review) bu tür karmaşık bir problem için aylarca sürebilir. Bazı akademisyenler, OpenAI'ın kullandığı iç modelin GPT-6 Astra'dan da güçlü olduğunu ve kamuya açık olmadığını vurguluyor — bu da ispat sürecinin şeffaflığı konusunda soru işaretleri doğuruyor.
AI Araçlarını İşinize Entegre Edin
Yapay zeka artık 90 yıllık matematik problemlerini çözüyor. Sizin işinizi büyütmek için hangi adımları atabileceğinizi birlikte belirleyelim.
Ücretsiz Danışmanlık Al