Suyun ve havanın hareketini anlatan Navier–Stokes denklemleri, matematiğin zor sorularından birini de içeriyor: Başlangıçta düzgün olan üç boyutlu akış her zaman düzgün kalır mı?
Araştırmanın iddiası ne?
OpenAI, 8 Eylül 2026’da şirket içi bir yapay zekâ sistemiyle bu probleme ilişkin bir kanıt ürettiğini açıkladı. Şirket, düzgün bir dış kuvvet uygulanan başlangıç koşullarında akışın sonlu sürede tekilliğe ulaşabileceğini öne sürüyor. Tekillik, bu matematiksel modelde hızın sınırsız büyümesi anlamına geliyor; gerçek suyun sonsuz hızla hareket ettiğini söylemiyor.
Biçimsel doğrulama ve bağımsız inceleme
OpenAI hem araştırma metnini hem de Lean adlı biçimsel doğrulama diliyle hazırlanmış bir kanıtı paylaştı. Şirkete göre yaklaşık 10.000 eşzamanlı ajan içeren bir grup çalıştı; insan ekipler görevleri belirledi ve ara sonuçları birleştirdi.
Bu, OpenAI’ın araştırma ve kanıt iddiasıdır. Lean kontrolü, daha geniş matematik topluluğunun değerlendirmesiyle aynı şey değildir. Ödül verildiği veya sonucun matematikçilerce kesin kabul edildiği burada söylenemez. Araştırmanın sonraki bağımsız incelemeleri belirleyici olacaktır.
