Yapay zekâ, matematikte insanlığın onlarca yıldır çözemediği en önemli problemlerden birine ilişkin dikkat çekici bir sonuç ortaya koydu.

OpenAI, 8 Eylül 2026'da yaptığı açıklamada, matematiğin en ünlü açık problemlerinden biri olan Navier–Stokes varlık ve düzgünlük probleminin çözüldüğünü duyurdu. Şirketin açıklamasına göre, şirket içinde geliştirilen ve henüz kamuya sunulmayan bir yapay zekâ sistemi, üç boyutlu akışkan hareketinin belirli koşullarda sonlu bir süre içerisinde tekilliğe ulaşabileceğini gösteren analitik bir kanıt üretti.

Ancak burada önemli bir ayrıntı var: Bu sonuç henüz matematik camiası tarafından bağımsız olarak tamamen doğrulanmış değil. Dolayısıyla bugün için daha doğru ifade, “OpenAI problemin çözüldüğünü öne süren bir kanıt yayımladı” demek.

Navier–Stokes problemi neden bu kadar önemli?

Navier–Stokes denklemleri, sıvı ve gazların hareketini matematiksel olarak tanımlamak için kullanılan temel denklemler arasında yer alıyor.

Hava akımlarından okyanus hareketlerine, uçak tasarımından türbinlere ve kan akışının modellenmesine kadar çok geniş bir kullanım alanına sahipler.

Fakat bu denklemlerle ilgili yaklaşık 90 yıldır cevaplanamayan temel bir soru bulunuyor:

Başlangıçta düzgün olan bir akış, zaman içerisinde matematiksel olarak sonsuz değerlere ulaşabilir mi?

Başka bir ifadeyle, denklemler her zaman düzgün ve sonlu çözümler üretmeye devam ediyor mu, yoksa belirli koşullarda çözümün “patladığı” bir tekillik oluşabiliyor mu?

Bu soru, 2000 yılında Clay Mathematics Institute tarafından belirlenen yedi Milenyum Problemi arasına dahil edildi. Problemi çözen araştırmacılar için 1 milyon dolarlık ödül bulunuyor.

OpenAI'ın iddiası ne?

OpenAI'ın yayımladığı çalışmaya göre yapay zekâ sistemi, başlangıçta düzgün olan bir akışkanın sonlu bir zaman içerisinde tekilliğe ulaşabileceğini gösteren bir çözüm geliştirdi.

Çözümün merkezinde bir vorteks, yani dönen bir akışkan yapısı bulunuyor.

Bu vorteks içe doğru spiral şeklinde hareket ederken giderek daha ince ve daha hızlı hale geliyor. Modelin ortaya koyduğu matematiksel senaryoda, akışkanın hızı sonlu bir zaman içerisinde sınırsız şekilde büyüyor.

İlginç olan nokta ise sistemin toplam enerjisinin sonlu kalması.

Başka bir ifadeyle yapay zekânın ortaya koyduğu çözüm, Navier–Stokes denklemlerinin viskozitenin akışı yumuşatma etkisine rağmen kendi dinamikleri içerisinde bir “çöküş” oluşturabileceğini savunuyor.

Bunu kaç yapay zekâ yaptı?

Çalışmanın belki de en dikkat çekici taraflarından biri kullanılan hesaplama mimarisi.

OpenAI, çözüm sürecinde yaklaşık 10.000 eş zamanlı yapay zekâ ajanının görev aldığını açıkladı.

Bu ajanlar farklı matematiksel yaklaşımları birbirlerinden bağımsız şekilde araştırdı. Daha sonra elde edilen sonuçlar arasında bilgi paylaşımı yapılarak umut vadeden yaklaşımlar bir araya getirildi.

OpenAI'ın açıklamasına göre Navier–Stokes çalışması sırasında ajanlar yaklaşık:

2,7 milyon mesaj üretti, yaklaşık 130 milyar çıktı tokenı kullandı, çözümün bulunması yaklaşık 88 saat sürdü.

Daha sonra çözümün bir bölümünün Lean adlı biçimsel matematik sistemiyle doğrulanması için yaklaşık 17 saat daha harcandı.

Bu nokta özellikle önemli. Çünkü burada yalnızca bir yapay zekânın “cevap” üretmesinden söz edilmiyor. Çok sayıda yapay zekâ ajanının aynı matematik problemi üzerinde farklı stratejilerle çalıştığı ve elde edilen kanıtın bilgisayar destekli biçimsel doğrulamadan geçirildiği bir sistemden bahsediliyor.

Peki problem gerçekten çözüldü mü?

İşte tartışmanın en önemli kısmı burada.

OpenAI, elde ettiği sonucu çözüm olarak yayımlamış olsa da matematik dünyasında bir kanıtın kabul edilmesi yalnızca onu üreten sistemin doğrulamasıyla gerçekleşmiyor.

OpenAI'ın yayımladığı çalışma 166 sayfalık oldukça teknik bir kanıt içeriyor. Lean ile yapılan biçimsel doğrulama önemli bir güvence sağlasa da matematikçiler hâlâ kanıtın tamamını inceleme aşamasında.

Science News'e konuşan matematikçilerden Gregory Eyink, insan uzmanlar tarafından kanıtın henüz tamamen doğrulanmadığına dikkat çekiyor.

Bu nedenle gelişmeyi şimdilik şöyle değerlendirmek daha doğru:

Yapay zekâ, Navier–Stokes probleminin çözümünü ortaya koyduğunu iddia eden son derece kapsamlı bir matematiksel kanıt üretti. Ancak son söz henüz matematik camiasının.

Tartışmanın diğer tarafı: Başka araştırmacıların çalışmaları

Hikâyeyi daha da ilginç hale getiren bir başka gelişme ise OpenAI'ın çalışmasından hemen önce yaşandı.

New York Üniversitesi'nden matematikçi Tristan Buckmaster ve Anthropic'te çalışan Levent Alpöge, Navier–Stokes ile yakından ilişkili olan zorlanmış Euler denklemleri üzerine önemli bir sonuç yayımladı.

OpenAI, bu gelişmeyle ilgili söylentileri 1 Eylül'de duyduğunu ve bunun ardından Milenyum Problemleri üzerinde kapsamlı bir yapay zekâ çalışması başlattığını belirtiyor.

İki çalışma arasında öncelik ve olası veri kullanımı konusunda tartışmalar ortaya çıktı.

OpenAI, araştırmacıların çalışmalarına çözüm yayımlanmadan önce erişilmediğini söylüyor. Bununla birlikte şirket, kullanıcıların ürün kullanımlarından elde edilen anonimleştirilmiş verilerin modellerin gelişimine dolaylı olarak katkıda bulunmuş olabileceğini tamamen dışlayamadığını da belirtiyor.

Bu tartışma, yapay zekâ çağında bilimsel araştırmalar açısından oldukça önemli bir soruyu gündeme getiriyor:

Bir araştırmacı henüz yayımlamadığı bilimsel fikrini yapay zekâ aracılığıyla geliştiriyorsa, yapay zekâ şirketi bu süreçten ne ölçüde faydalanabilir?

Dolayısıyla olay yalnızca bir matematik probleminin çözülüp çözülmediğiyle sınırlı değil; bilimsel öncelik, veri kullanımı ve araştırmacıların yapay zekâ sistemlerine duyduğu güven açısından da önemli.

Matematikte yeni bir dönem mi başlıyor?

Navier–Stokes gelişmesi, yapay zekânın matematikteki rolünün değişmeye başladığını gösteren daha büyük bir dönüşümün parçası olarak değerlendirilebilir.

Bugüne kadar yapay zekâdan çoğunlukla matematik problemlerini çözmek, hesaplama yapmak veya mevcut bilgileri analiz etmek için yararlanılıyordu.

Yeni nesil sistemlerde ise hedef çok daha farklı:

Yeni matematiksel fikirler üretmek.

OpenAI'ın çalışmasında binlerce yapay zekâ ajanının aynı problem üzerinde farklı hipotezleri araştırması, başarısız yaklaşımları elemesi ve daha umut verici sonuçları birleştirmesi, gelecekte bilimsel araştırmanın nasıl yapılabileceğine dair önemli bir örnek oluşturuyor.

Ancak bu durum matematikçilerin rolünün ortadan kalkacağı anlamına gelmiyor.

Tam tersine, yapay zekânın ürettiği sonuçların anlaşılması, doğrulanması ve daha genel matematiksel teorilerle ilişkilendirilmesi için insan uzmanlara hâlâ ihtiyaç var.

Belki de önümüzdeki dönemde temel soru “Yapay zekâ matematik problemlerini çözebilir mi?” olmayacak.

Asıl soru şu olacak:

İnsan ve yapay zekâ birlikte çalıştığında matematiğin sınırlarını ne kadar ileri taşıyabilir?

Navier–Stokes iddiasının gerçekten geçerli olup olmadığı önümüzdeki dönemde matematikçiler tarafından ayrıntılı biçimde incelenecek. Eğer kanıt bağımsız olarak doğrulanırsa, bu yalnızca yaklaşık 90 yıllık bir matematik probleminin çözümü olmayacak.

Aynı zamanda yapay zekânın yeni matematiksel bilgi üretebildiğinin en güçlü örneklerinden biri olarak bilim tarihine geçebilir.