Navier-Stokes denklemleri, suyun, havanın, her akışkanın nasıl hareket ettiğini tarif ediyor ve modern mühendisliğin temelinde yer alıyor. Ama 90 yıldır kimse bu denklemlerin "her koşulda düzgün çalışıp çalışmadığını" ispatlayamamıştı — bu yüzden Clay Matematik Enstitüsü çözene 1 milyon dolar ödül koymuştu. Eylül 2026'nın ilk haftasında OpenAI, henüz kamuya açıklanmamış gizli bir modelini 10 bin yapay zeka ajanı olarak bu probleme yönlendirdi. Ajanlar 88 saat kesintisiz çalıştı, sadece bu problem için 130 milyar token harcandı (yaklaşık 6-10 milyon dolarlık işlem gücüne denk geliyor) ve sonunda 166 sayfalık dev bir kanıt ortaya çıktı.

Kanıt, Lean adlı bir "kanıt doğrulama" yazılımından geçirilerek matematiksel olarak doğru bulundu. Ama işin en çarpıcı kısmı burada: Kanıt doğru olsa da kimse mantığını tam çözemiyor. Matematikçiler bu devasa kanıtı anlamak için haftalarca çalışmaları gerektiğini söylüyor. Üstüne bir de akademik tartışma eklendi — bazı matematikçiler OpenAI'ın problemin "tam" değil, belirli bir versiyonunu (dış kuvvet içeren) çözdüğünü savunuyor. Bu hikaye, yapay zekanın artık insanlığın onlarca yıldır çözemediği soyut problemlere girebildiğini ama ürettiği sonuçların her zaman "açıklanabilir" olmadığını gösteriyor — açıklanabilir yapay zeka (explainable AI) alanının neden bu kadar kritik olduğunun en çarpıcı örneği.