On Bin Yapay Zekâ Ajanı ve Bir Tekillik: Navier-Stokes Kanıtının Perde Arkası

8 Eylül 2026 sabahı OpenAI matematikçileri, yönlendirdikleri yaklaşık on bin otonom yapay zekâ ajanının, üç boyutta Navier-Stokes denklemlerinde bir tekillik bulduğunu açıkladı. Clay Matematik Enstitüsü'nün 2000 yılında ilan ettiği ve her birine bir milyon dolar ödül koyduğu problemlerden biri böylece makine tarafından çözüme kavuşturulmuş oldu. Bağımsız bilim haberciliği de duyuruyu aynı gün doğruladı ve sonucu, yapay zekâ ile üretilmiş şu ana kadarki en önemli matematik kanıtı olarak niteledi.

Söz konusu soru, günlük hayattaki akışkan hareketini betimleyen denklemlerin, düzgün başlayan bir akışın sonlu bir süre içinde bozulup bozulamayacağı, yani bir tür patlama ya da tekillik geliştirip geliştiremeyeceğidir. Bu denklemler okyanus akıntılarından hava akımlarına kadar her şeyi modeller ve örneğin hava tahminlerinin matematiksel çekirdeğini oluşturur. Yazması kolay, çözmesi çok zor diferansiyel denklemlerin en ünlülerindendir.

Denklemin öğeleri şunlardır: akışkanın hız alanı, basınç, sabit bir katsayı olan viskozite ve her noktada akışkana etkiyen dış kuvvet anlamına gelen sürükleyici terim. Dış kuvveti yeterince büyütürseniz akışı elbette patlatabilirsiniz; bu yüzden çözüme giden yol, sürükleyici terimin kendisinin düzenli kaldığını göstermekten geçer. En temiz seçim sıfır dış kuvvet kullanmaktır ve bu aynı zamanda en zor olandır.

OpenAI ekibinin inşası farklı bir kapıdan giriyor: içinde patlama barındıran bir akış alanıyla başlanıyor, bu alan denkleme yerleştiriliyor ve geriye kalan her şey sürükleyici terim sayılıyor. Ardından bu kalan terimin kendisinin düzenli kaldığını kanıtlamak gerekiyor. İnşa, akışkanın dinamiğine uyum sağlayan özenle seçilmiş zaman aralıklarıyla gelen nabızlarla akışı tekilliğe sürüklemeye dayanıyor. Ele alınan basit tekillik türü, merkez ekseni etrafında giderek gerilen ve odaklanan bir girdap biçiminde.

Kanıtın büyük bölümü, nabızların toplam katkısını izleyip hataları tahmin eden yardımcı önermelerden oluşuyor; yani işin ağırlığı, sürükleyici terimin sınırsız enerji pompalamadığını göstermekte toplanıyor. Çalışmanın yüzlerce sayfa tuttuğu aktarılıyor ve sonucun Lean adlı programlama dilinde biçimsel denetimden geçtiği bildiriliyor. Bu biçimsel denetim, matematikçilerin doğruluğa güvenmesini sağlayan önemli bir unsur olarak öne çıkıyor.

Hossenfelder, geçen yıl boyunca OpenAI modelleriyle aynı problem üzerinde kendisinin de çalıştığını ve birçok başkasının da uğraştığına emin olduğunu söylüyor. Ona göre kamuya açık modellerin en sık düştüğü tuzak, doğrudan yanlış bir adım değil, kanıtlanması gerekeni zımnen varsayan döngüsel akıl yürütmedir. Bunu şöyle bir benzetmeyle anlatıyor: domuzlar uçabiliyorsa yerçekimi yasaları bozuktur ve yasalar bozuksa domuzlar uçabilir önermesi kendi içinde tutarlıdır ama iki iddiadan birini bile kanıtlamaz.

Araştırmacı, yeni model kuşağının bile bu tür döngüsellikleri yakalamakta zorlandığını belirtiyor ve kanıtın makine desteğiyle üretilmiş olmasına rağmen her adımın insan uzmanlarca denetlenmesi gerektiğini vurguluyor. Binlerce ajanın çalışmış olması, onun yargısına göre kanıtın kaba bir hatayla çürüyeceği ihtimalini düşürüyor ama döngüsellik riskini ortadan kaldırmıyor. Kişisel kanaatini de açıkça paylaşıyor: ilgili tekillik sınıfının gerçekten patlama içerdiğini düşündüğü için sonucu olası görüyor.

Tepkiler ise sonucu gölgede bırakmış durumda. Araştırmacının gözlemine göre matematik ve fizik camiası, kanıtın nasıl çalıştığıyla ve yöntemin başka nerelere uygulanabileceğiyle ilgilenmek yerine, çözümü insanlara bırakmadığı için OpenAI'a kızıyor. Yıllarca özel sektörün saf matematiğe ilgi duymadığından şikâyet edenlerin, şimdi ilgi duyduğu için şikâyet etmesini tutarsız buluyor. Espriyle karışık tahmini ise şu: kanıtın doğru çıkma olasılığı yüksek, matematikçilerin şikâyet etmeyi sürdürme olasılığı daha da yüksek.

İşin işe yararlılık boyutu ayrı bir tartışma. Hossenfelder, bu denklemle genel görelilikteki bazı problemler, özellikle kara delik ufuklarının fiziği arasında bilinen bir bağlantı olduğunu hatırlatıyor. Faydasız bulanlara ise karşılığı meşhur bir soruyla veriyor: topu fileye göndermenin ne faydası var? Ona göre bir şeyi ilgi çekici bulan insanlar varsa, bu başlı başına bir değerdir.

Son olarak ufukta yeni bir hedef var: OpenAI yöneticisinin şimdi oda sıcaklığında süperiletkenlere bakacağı söyleniyor. Hossenfelder bunun çok daha zorlu bir iş olduğunu düşünüyor çünkü problem matematiksel olarak düzgün tanımlı bile değil. Kanıtta başkasının araştırmasından izinsiz yararlanıldığı iddialarıyla ise ilgilenmediğini, yalnızca bilimsel içeriğe odaklandığını söylüyor. Geriye şu soru kalıyor: milyon dolarlık ödüller insanları motive etmek için mi gerekli, yoksa işi baştan makinelere mi bırakmalıyız?