OpenAI’nin Navier–Stokes İddiası: 10.000 Yapay Zekâ Ajanının Sonucu Ne Anlama Geliyor?

OpenAI olağanüstü bir matematik iddiası ortaya attı: Şirkete göre, halka açık olmayan dahili bir yapay zekâ sistemi yaklaşık 10.000 eşzamanlı ajandan yararlanarak bazı üç boyutlu, sıkıştırılamaz Navier–Stokes akışlarında sonlu zamanda tekillik oluştuğunu gösteren bir kanıt buldu. OpenAI, ajan çalışmasının yaklaşık 88 saat sürdüğünü; Lean kanıt yardımcısında yapılan ayrı biçimselleştirme ve doğrulamanın ise 17 saat daha aldığını belirtiyor. 17

Bu açıklama, problemin matematik dünyasında kesin olarak çözüldüğü anlamına gelmiyor. OpenAI inceleme için yazılı kanıtı ve Lean materyallerini yayımladı; fakat dış uzmanların kabulü ile Clay Matematik Enstitüsünün ödül süreci zaman gerektiriyor. 126

OpenAI neyi kanıtladığını söylüyor?

Navier–Stokes denklemleri; hız alanı, basınç, viskozite ve doğrusal olmayan taşınım yoluyla viskoz akışkanların hareketini tanımlar. Clay tanımında ayrıca bir dış kuvvet terimine de izin verilir. Üç boyutlu düzenlilik sorusunun özü şudur: Fiziksel olarak kabul edilebilir, düzgün bir akış her zaman düzgün kalır mı; yoksa düzgün başlangıç verilerinden sonlu zamanda matematiksel bir bozulma ortaya çıkabilir mi? 172133

OpenAI’nin öne sürdüğü sonuç bir patlama (blow-up) örneği: Başlangıçta durgun olan, düzgün ve kompakt destekli bir dış kuvvetle sürülen bir çözümün hızı, kinetik enerji sınırlı kalırken sonlu bir anda sınırsızlaşıyor. 134

Gündelik ifadeyle, bu iddianın söylediği şey viskozitenin üç boyutlu bir akışın matematiksel olarak tekilleşmesini her durumda engelleyemeyebileceği. Bu, yalnızca aşırı türbülansa ilişkin sayısal bir benzetim olarak sunulmuyor; analitik bir kanıt olduğu ve mantıksal adımlarının makine denetimi için Lean diline aktarıldığı belirtiliyor. 134

Kanıt geçerliyse neden tarihî olur?

Navier–Stokes varlık ve düzgünlük problemi, Clay Matematik Enstitüsünün yedi Milenyum Problemi arasında yer alıyor. Enstitü, her biri için 1 milyon ABD doları olmak üzere toplam 7 milyon dolarlık ödül fonu oluşturdu. 1820

Resmî problem, iki ana yolu kabul ediyor: Belirtilen koşullarda küresel olarak düzgün çözümlerin varlığını kanıtlamak ya da kabul edilebilir koşulları taşıyan bir sonlu zaman bozulması örneği inşa etmek. Clay’in resmî açıklamasında hem başlangıç verileri hem de dış kuvvet için koşullar bulunuyor. 1721

OpenAI, inşasının bu tanımdaki C ve D ifadelerini —Öklid uzayı ve periyodik ortamdaki düzgün kuvvetli sonlu zaman tekilliği alternatiflerini— sağladığını söylüyor. 17 İddia uzman incelemesine dayanır ve resmî problem şartlarıyla tam uyumlu bulunursa, Poincaré varsayımından sonra çözülmüş ikinci Milenyum Problemi olabilir. OpenAI duyurusunu yaptığında altı problemin hâlâ çözümsüz olduğu belirtiliyordu. 1118

Lean doğrulaması neden önemli, ama tek başına yeterli değil?

Lean bir kanıt yardımcısıdır: Sisteme kodlanmış tanımlar, aksiyomlar ve daha önce doğrulanmış sonuçlardan belirli bir biçimsel önermenin mantıksal olarak çıkıp çıkmadığını denetler. Başarılı bir Lean doğrulaması, biçimselleştirilen kanıtta Lean’in denetlediği düzeyde mantıksal boşluk bulunmadığına dair güçlü bir işarettir. 17

Yine de matematiksel geçerlilik için uzmanların bütün zinciri değerlendirmesi gerekir:

• Biçimsel teoremin gerçekten iddia edilen Navier–Stokes ortamını tam olarak temsil edip etmediği;
• Yazılı kanıtın biçimsel tanımlara aktarımının doğru olup olmadığı;
• Varsayımların Clay probleminin koşullarını sağlayıp sağlamadığı;
• Kanıtın daha geniş matematik topluluğunca kabul edilip edilmediği.

Bunlar şekli ayrıntılar değildir. Makine denetimi, tanımlanmış bir biçimsel nesneyi doğrular; o nesnenin ödül probleminin amaçlanan tüm yorumlarını karşılayıp karşılamadığını bağımsız biçimde karara bağlamaz.

Clay neden hemen 1 milyon dolar vermedi?

Clay, önerilen çözümleri doğrudan başvuru yoluyla kabul etmiyor. Enstitünün bir çözümü değerlendirebilmesi için çalışma uygun bir yayın mecrasında yayımlanmalı, yayından sonra en az iki yıl geçmeli ve çalışma küresel matematik topluluğunda genel kabul görmeli. 26

Dolayısıyla OpenAI’nin kanıtı sonunda doğru bulunsa bile, ödülün hemen verilmesi Clay’in yayımlanmış kurallarıyla uyumlu olmaz. Bugün için en doğru tanım, ödül kazanmış bir sonuç değil, inceleme altındaki iddialı bir çözüm olmasıdır. 126

Kritik ayrım: Dış kuvvetli ve kuvvetsiz akışlar

Duyuru etrafındaki tartışmalarda iki farklı soru bazen birbirine karışıyor. Popüler anlatım çoğunlukla, düzgün ve dışarıdan zorlanmayan üç boyutlu bir akışın kendiliğinden düzenliliğini kaybedip kaybedemeyeceğine odaklanır. OpenAI’nin açıkladığı inşa ise düzgün bir dış kuvvet kullanıyor. 3435

Bu fark bilimsel açıdan önemlidir; ancak iddiayı Clay çerçevesinin dışında bırakmaz. Resmî formülasyon, düzgün ve hızlı azalan dış kuvvet içeren alternatiflere de yer verir. 1735 Ödül bakımından asıl soru, kanıtın ilgili Clay alternatifinin tüm koşullarını karşılayıp karşılamadığıdır; daha dar ve yaygın bir gayriresmî problem anlatımına uyup uymadığı değil.

Öncelik ve veri kullanımı tartışması neden çıktı?

Duyuru, New York Üniversitesinden matematikçi Tristan Buckmaster ile kişisel sıfatla Buckmaster’la çalışan Anthropic araştırmacısı Levent Alpöge’nin ilgili çalışmalarının gündemde olduğu bir dönemde geldi. Bu çalışmalar, standart Navier–Stokes probleminin kabul edilmiş bir çözümünden ziyade, dış kuvvetli ilgili akışkan denklemleri üzerineydi. 237

Buckmaster, OpenAI’nin Alpöge’nin Anthropic bağlantısı nedeniyle onu dışarıda bırakacak bir iş birliği düzenlemesi aradığını ileri sürdü. Ayrıca Codex dâhil OpenAI ürünleriyle yapılan araştırmacı etkileşimlerinin model eğitimine katkıda bulunup bulunmadığı sorusunu gündeme getirdi. 25052

OpenAI ise araştırmacılarının ve ajanlarının problemi çözerken ikilinin belirli çalışmalarına veya kullanıcı verilerine erişmediğini söyledi. Şirket ayrıca, ürün kullanımından türetilmiş kimliksizleştirilmiş verilerin modellerini geliştirmeye yardımcı olmuş olma ihtimalini bütünüyle dışlayamayacağını belirtti. 5354

Bu açıklamalar önemli soruları açık bırakıyor: İlgili etkileşimler eğitim için uygun muydu, gerçekten kullanıldı mı ve sonuç üzerinde maddi bir etkileri olabilir miydi? Kamuya açık haberler, OpenAI’nin Buckmaster ile Alpöge’nin çalışmasını kullandığını kanıtlamıyor; bu nedenle iddia ispatlanmış bir olgu gibi sunulmamalı. 25354

Bundan sonra neye bakılacak?

Belirleyici ölçüt, ajan sürüsünün büyüklüğü veya sonucun ne kadar hızlı üretildiği olmayacak. Bağımsız uzmanların makaleyi ve Lean biçimselleştirmesini inceleyebilmesi, biçimsel denetimi yeniden çalıştırabilmesi ve teoremin ilgili Clay koşullarını karşıladığı konusunda uzlaşması gerekecek.

Bu gerçekleşirse OpenAI’nin duyurusu, hem matematik hem de yapay zekâ destekli araştırma açısından bir dönüm noktası olabilir. O zamana dek bu gelişmeyi, kamuya açık ve çok önemli bir aday kanıt olarak görmek daha doğru; bunun yanında öncelik, veri yönetişimi ve yapay zekâ şirketlerinin araştırmacıların yayımlanmamış fikirlerine nasıl yaklaşması gerektiğine dair ayrı bir tartışma da sürüyor. 12653